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
15 Dec 26, 2022
42 Oct 11, 2022
2 Oct 16, 2022
75 Dec 26, 2022
1 Feb 07, 2022
4 Jun 24, 2022
1 Jan 15, 2022
2 Jan 27, 2022
55 Dec 30, 2022
6 Oct 15, 2022
4 Jun 21, 2022
2.9k Dec 29, 2022
191 Oct 11, 2022
1.3k Jan 01, 2023
11 Dec 19, 2022
1.1k Dec 31, 2022
1 Jan 11, 2022
17 Sep 13, 2022
1 Apr 12, 2022
1.3k Dec 30, 2022