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
195 Dec 13, 2022
5 Apr 07, 2022
1 Jan 12, 2022
7 Nov 04, 2022
6 Nov 19, 2021
7 Mar 05, 2022
1.9k Dec 29, 2022
4 Dec 12, 2022
1 Jan 06, 2022
2 Dec 03, 2021
4 May 21, 2022
2 Dec 14, 2022
1 Jan 10, 2022
5 Jul 12, 2022
7 Mar 20, 2022
2 Jan 10, 2022
1 Dec 09, 2021
1 Dec 20, 2021
31 Dec 16, 2022
2 Oct 31, 2022