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
9 Jun 27, 2022
9 Dec 27, 2022
16 Dec 21, 2022
14 Nov 03, 2022
1 Nov 24, 2021
14 Apr 10, 2022
3 Jan 09, 2022
6 Dec 11, 2022
3 Dec 18, 2021
3 Oct 21, 2021
15 Oct 14, 2022
3 Sep 11, 2022
2 Jan 15, 2022
531 Jan 04, 2023
2 Jan 11, 2022
1 Dec 18, 2021
2 Sep 02, 2022
9 Jan 02, 2023
1 Jan 01, 2022
1 Dec 10, 2021