Pyteal Extensions
Additional useful operations for Python
Available Operations
MulDiv64: calculatem1*m2/dwith no overflow on multiplication (TEAL 3+)Min,Max: calculate minimum/maximum of 2 expressions, without using slots or evaluating arguments more than once (TEAL 4+)LazyAnd,LazyOr: lazily evaluate arguments in And/Or operation
State manipulation
GlobalState and LocalState allow for manipulating global and local state respectively. They both have the same interface.
from pyteal import App, Bytes, Int, Seq, TealType
from pytealext import LocalState
user_counter = LocalState("UC", TealType.uint64)
program = Seq(
# increment using pyteal local state
App.localPut(Int(0), Bytes("UC"), App.localGet(Int(0), Bytes("UC")) + Int(1)),
# increment using put/get
user_counter.put(user_counter.get() + Int(1)),
# increment using add_assign
user_counter.add_assign(Int(1))
# decrement
user_counter.sub_assign(Int(1))
)
Example usage
Example usage for LazyAnd:
from pyteal import Gtxn, TxnType, Bytes, Int
from pytealext import LazyAnd
# Evaluate fields of some transaction but don't panic if an argument down the line would panic
validation = LazyAnd(
Gtxn[0].type_enum() == TxnType.ApplicationCall,
Gtxn[0].application_args.length() == Int(1),
Gtxn[0].application_args[0] == Bytes("AX"),
)
Installation
pip install pytealext
Testing
pytest
Created by Łukasz Ptak and Paweł Rejkowicz
1 Oct 17, 2022
6k Jan 8, 2023
11 Dec 2, 2021
14 Aug 2, 2021
160 Dec 19, 2022
0 Nov 5, 2021
5 Sep 9, 2022
16 Oct 6, 2022
6 Dec 6, 2021
6 Dec 22, 2022
23 Dec 17, 2022
2 Jun 24, 2022
4 Sep 09, 2022
9 Dec 14, 2022
34 Aug 14, 2022
1 Dec 09, 2021
7 Jul 06, 2021
17 Oct 18, 2022
25 May 31, 2022
11 Nov 27, 2022
69 Jul 05, 2022
11 Feb 11, 2022
9 Jan 02, 2023
3 Oct 09, 2021
1 Jan 10, 2022
35 Dec 14, 2022
251 Dec 13, 2022
165 Dec 16, 2022
1 Dec 09, 2021