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
37 Dec 20, 2022
43 Jan 04, 2023
1 Oct 08, 2022
1 Mar 13, 2022
2 Aug 02, 2022
2 Jan 17, 2022
13 Nov 26, 2022
2 Jan 05, 2022
1 Oct 17, 2021
2 Dec 19, 2021
5 Nov 20, 2022
109 Dec 25, 2022
552 Dec 28, 2022
1 Dec 13, 2021
1 Jan 02, 2022
169 Jan 06, 2023
396 Dec 31, 2022
6 Dec 20, 2022
19 Dec 26, 2022
3 Jan 17, 2022