Skip to content

algopy.op

NameDescription
ECAvailable values for the EC enum
Base64Available values for the base64 enum
ECDSAAvailable values for the ECDSA enum
MiMCConfigurationsAvailable values for the Mimc Configurations enum
VrfVerifyAvailable values for the vrf_verify enum
AcctParamsGetX is field F from account A. Y is 1 if A owns positive algos, else 0
Native TEAL op: acct_params_get
AppGlobalGet or modify Global app state
Native TEAL ops: app_global_del, app_global_get, app_global_get_ex, app_global_put
AppLocalGet or modify Local app state
Native TEAL ops: app_local_del, app_local_get, app_local_get_ex, app_local_put
AppParamsGetX is field F from app A. Y is 1 if A exists, else 0 params: Txn.ForeignApps offset or an _available_ app id. Return: did_exist flag (1 if the application existed and 0 otherwise), value.
Native TEAL op: app_params_get
AssetHoldingGetX is field F from account A’s holding of asset B. Y is 1 if A is opted into B, else 0 params: Txn.Accounts offset (or, since v4, an _available_ address), asset id (or, since v4, a Txn.ForeignAssets offset). Return: did_exist flag (1 if the asset existed and 0 otherwise), value.
Native TEAL op: asset_holding_get
AssetParamsGetX is field F from asset A. Y is 1 if A exists, else 0 params: Txn.ForeignAssets offset (or, since v4, an _available_ asset id. Return: did_exist flag (1 if the asset existed and 0 otherwise), value.
Native TEAL op: asset_params_get
Blockfield F of block A. Fail unless A falls between txn.LastValid-1002 and txn.FirstValid (exclusive)
Native TEAL op: block
BoxGet or modify box state
Native TEAL ops: box_create, box_del, box_extract, box_get, box_len, box_put, box_replace, box_resize, box_splice
EllipticCurveElliptic Curve functions
Native TEAL ops: ec_add, ec_map_to, ec_multi_scalar_mul, ec_pairing_check, ec_scalar_mul, ec_subgroup_check
GITxnGet values for inner transaction in the last group submitted
Native TEAL ops: gitxn, gitxnas
GTxnGet values for transactions in the current group
Native TEAL ops: gtxns, gtxnsas
GlobalGet Global values
Native TEAL op: global
ITxnGet values for the last inner transaction
Native TEAL ops: itxn, itxnas
ITxnCreateCreate inner transactions
Native TEAL ops: itxn_begin, itxn_field, itxn_next, itxn_submit
JsonRefkey B’s value, of type R, from a valid utf-8 encoded json object A Warning: Usage should be restricted to very rare use cases, as JSON decoding is expensive and quite limited. In addition, JSON objects are large and not optimized for size. Almost all smart contracts should use simpler and smaller methods (such as the ABI. This opcode should only be used in cases where JSON is only available option, e.g. when a third-party only signs JSON.
Native TEAL op: json_ref
ScratchLoad or store scratch values
Native TEAL ops: loads, stores
TxnGet values for the current executing transaction
Native TEAL ops: txn, txnas
VoterParamsGetX is field F from online account A as of the balance round: 320 rounds before the current round. Y is 1 if A had positive algos online in the agreement round, else Y is 0 and X is a type specific zero-value
Native TEAL op: voter_params_get
NameDescription
addwA plus B as a 128-bit result. X is the carry-bit, Y is the low-order 64 bits.
app_opted_in1 if account A is opted in to application B, else 0
params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: 1 if opted in and 0 otherwise.
argAth LogicSig argument
balancebalance for account A, in microalgos. The balance is observed after the effects of previous transactions in the group, and after the fee for the current transaction is deducted. Changes caused by inner transactions are observable immediately following itxn_submit
params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: value.
base64_decodedecode A which was base64-encoded using _encoding_ E. Fail if A is not base64 encoded with encoding E
Warning: Usage should be restricted to very rare use cases. In almost all cases, smart contracts should directly handle non-encoded byte-strings. This opcode should only be used in cases where base64 is the only available option, e.g. interoperability with a third-party that only signs base64 strings.
bitlenThe highest set bit in A. If A is a byte-array, it is interpreted as a big-endian unsigned integer. bitlen of 0 is 0, bitlen of 8 is 4
bitlen interprets arrays as big-endian integers, unlike setbit/getbit
bsqrtThe largest integer I such that I^2 <= A. A and I are interpreted as big-endian unsigned integers
btoiconverts big-endian byte array A to uint64. Fails if len(A) > 8. Padded by leading 0s if len(A) < 8.
btoi fails if the input is longer than 8 bytes.
bzerozero filled byte-array of length A
concatjoin A and B
concat fails if the result would be greater than 4096 bytes.
divmodwW,X = (A,B / C,D); Y,Z = (A,B modulo C,D)
The notation J,K indicates that two uint64 values J and K are interpreted as a uint128 value, with J as the high uint64 and K the low.
divwA,B / C. Fail if C == 0 or if result overflows.
The notation A,B indicates that A and B are interpreted as a uint128 value, with A as the high uint64 and B the low.
ecdsa_pk_decompressdecompress pubkey A into components X, Y
The 33 byte public key in a compressed form to be decompressed into X and Y (top) components. All values are big-endian encoded.
ecdsa_pk_recoverfor (data A, recovery id B, signature C, D) recover a public key
S (top) and R elements of a signature, recovery id and data (bottom) are expected on the stack and used to deriver a public key. All values are big-endian encoded. The signed data must be 32 bytes long.
ecdsa_verifyfor (data A, signature B, C and pubkey D, E) verify the signature of the data against the pubkey => {0 or 1}
The 32 byte Y-component of a public key is the last element on the stack, preceded by X-component of a pubkey, preceded by S and R components of a signature, preceded by the data that is fifth element on the stack. All values are big-endian encoded. The signed data must be 32 bytes long, and signatures in lower-S form are only accepted.
ed25519verifyfor (data A, signature B, pubkey C) verify the signature of (“ProgData”
ed25519verify_barefor (data A, signature B, pubkey C) verify the signature of the data against the pubkey => {0 or 1}
errFail immediately.
exituse A as success value; end
expA raised to the Bth power. Fail if A == B == 0 and on overflow
expwA raised to the Bth power as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low. Fail if A == B == 0 or if the results exceeds 2^128-1
extractA range of bytes from A starting at B up to but not including B+C. If B+C is larger than the array length, the program fails
extract3 can be called using extract with no immediates.
extract_uint16A uint16 formed from a range of big-endian bytes from A starting at B up to but not including B+2. If B+2 is larger than the array length, the program fails
extract_uint32A uint32 formed from a range of big-endian bytes from A starting at B up to but not including B+4. If B+4 is larger than the array length, the program fails
extract_uint64A uint64 formed from a range of big-endian bytes from A starting at B up to but not including B+8. If B+8 is larger than the array length, the program fails
falcon_verifyfor (data A, compressed-format signature B, pubkey C) verify the signature of data against the pubkey => {0 or 1}
Min AVM version: 12
gaidID of the asset or application created in the Ath transaction of the current group
gaids fails unless the requested transaction created an asset or application and A < GroupIndex.
getbitBth bit of (byte-array or integer) A. If B is greater than or equal to the bit length of the value (8*byte length), the program fails
see explanation of bit ordering in setbit
getbyteBth byte of A, as an integer. If B is greater than or equal to the array length, the program fails
gload_bytesBth scratch space value of the Ath transaction in the current group
gload_uint64Bth scratch space value of the Ath transaction in the current group
itobconverts uint64 A to big-endian byte array, always of length 8
keccak256Keccak256 hash of value A, yields [32]byte
mimcMiMC hash of scalars A, using curve and parameters specified by configuration C
A is a list of concatenated 32 byte big-endian unsigned integer scalars. Fail if A’s length is not a multiple of 32 or any element exceeds the curve modulus.
min_balanceminimum required balance for account A, in microalgos. Required balance is affected by ASA, App, and Box usage. When creating or opting into an app, the minimum balance grows before the app code runs, therefore the increase is visible there. When deleting or closing out, the minimum balance decreases after the app executes. Changes caused by inner transactions or box usage are observable immediately following the opcode effecting the change.
params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: value.
mulwA times B as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low
online_stakethe total online stake in the agreement round
Min AVM version: 11
replaceCopy of A with the bytes starting at B replaced by the bytes of C. Fails if B+len(C) exceeds len(A)
replace3 can be called using replace with no immediates.
select_bytesselects one of two values based on top-of-stack: B if C != 0, else A
select_uint64selects one of two values based on top-of-stack: B if C != 0, else A
setbit_bytesCopy of (byte-array or integer) A, with the Bth bit set to (0 or 1) C. If B is greater than or equal to the bit length of the value (8*byte length), the program fails
When A is a uint64, index 0 is the least significant bit. Setting bit 3 to 1 on the integer 0 yields 8, or 2^3. When A is a byte array, index 0 is the leftmost bit of the leftmost byte. Setting bits 0 through 11 to 1 in a 4-byte-array of 0s yields the byte array 0xfff00000. Setting bit 3 to 1 on the 1-byte-array 0x00 yields the byte array 0x10.
setbit_uint64Copy of (byte-array or integer) A, with the Bth bit set to (0 or 1) C. If B is greater than or equal to the bit length of the value (8*byte length), the program fails
When A is a uint64, index 0 is the least significant bit. Setting bit 3 to 1 on the integer 0 yields 8, or 2^3. When A is a byte array, index 0 is the leftmost bit of the leftmost byte. Setting bits 0 through 11 to 1 in a 4-byte-array of 0s yields the byte array 0xfff00000. Setting bit 3 to 1 on the 1-byte-array 0x00 yields the byte array 0x10.
setbyteCopy of A with the Bth byte set to small integer (between 0..255) C. If B is greater than or equal to the array length, the program fails
sha256SHA256 hash of value A, yields [32]byte
sha3_256SHA3_256 hash of value A, yields [32]byte
sha512_256SHA512_256 hash of value A, yields [32]byte
shlA times 2^B, modulo 2^64
shrA divided by 2^B
sqrtThe largest integer I such that I^2 <= A
substringA range of bytes from A starting at B up to but not including C. If C < B, or either is larger than the array length, the program fails
sumhash512sumhash512 of value A, yields [64]byte
Min AVM version: 13
vrf_verifyVerify the proof B of message A against pubkey C. Returns vrf output and verification flag.
VrfAlgorand is the VRF used in Algorand. It is ECVRF-ED25519-SHA512-Elligator2, specified in the IETF internet draft draft-irtf-cfrg-vrf-03.

Bases: str

Available values for the EC enum

Initialize self. See help(type(self)) for accurate signature.

G1 of the BN254 curve. Points encoded as 32 byte X following by 32 byte Y

G2 of the BN254 curve. Points encoded as 64 byte X following by 64 byte Y

G1 of the BLS 12-381 curve. Points encoded as 48 byte X following by 48 byte Y

G2 of the BLS 12-381 curve. Points encoded as 96 byte X following by 96 byte Y

EC.capitalize()

Return a capitalized version of the string.

More specifically, make the first character have upper case and the rest lower case.

EC.casefold()

Return a version of the string suitable for caseless comparisons.

EC.center()

Return a centered string of length width.

Padding is done using the specified fill character (default is a space).

EC.count()

Return the number of non-overlapping occurrences of substring sub in string S[start:end].

Optional arguments start and end are interpreted as in slice notation.

EC.encode()

Encode the string using the codec registered for encoding.

encoding : The encoding in which to encode the string.

errors : The error handling scheme to use for encoding errors. The default is ‘strict’ meaning that encoding errors raise a UnicodeEncodeError. Other possible values are ‘ignore’, ‘replace’ and ‘xmlcharrefreplace’ as well as any other name registered with codecs.register_error that can handle UnicodeEncodeErrors.

EC.endswith()

Return True if the string ends with the specified suffix, False otherwise.

suffix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

EC.expandtabs()

Return a copy where all tab characters are expanded using spaces.

If tabsize is not given, a tab size of 8 characters is assumed.

EC.find()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

EC.format()

Return a formatted version of the string, using substitutions from args and kwargs. The substitutions are identified by braces (‘{’ and ‘}’).

EC.format_map()

Return a formatted version of the string, using substitutions from mapping. The substitutions are identified by braces (‘{’ and ‘}’).

EC.index()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

EC.isalnum()

Return True if the string is an alpha-numeric string, False otherwise.

A string is alpha-numeric if all characters in the string are alpha-numeric and there is at least one character in the string.

EC.isalpha()

Return True if the string is an alphabetic string, False otherwise.

A string is alphabetic if all characters in the string are alphabetic and there is at least one character in the string.

EC.isascii()

Return True if all characters in the string are ASCII, False otherwise.

ASCII characters have code points in the range U+0000-U+007F. Empty string is ASCII too.

EC.isdecimal()

Return True if the string is a decimal string, False otherwise.

A string is a decimal string if all characters in the string are decimal and there is at least one character in the string.

EC.isdigit()

Return True if the string is a digit string, False otherwise.

A string is a digit string if all characters in the string are digits and there is at least one character in the string.

EC.isidentifier()

Return True if the string is a valid Python identifier, False otherwise.

Call keyword.iskeyword(s) to test whether string s is a reserved identifier, such as “def” or “class”.

EC.islower()

Return True if the string is a lowercase string, False otherwise.

A string is lowercase if all cased characters in the string are lowercase and there is at least one cased character in the string.

EC.isnumeric()

Return True if the string is a numeric string, False otherwise.

A string is numeric if all characters in the string are numeric and there is at least one character in the string.

EC.isprintable()

Return True if all characters in the string are printable, False otherwise.

A character is printable if repr() may use it in its output.

EC.isspace()

Return True if the string is a whitespace string, False otherwise.

A string is whitespace if all characters in the string are whitespace and there is at least one character in the string.

EC.istitle()

Return True if the string is a title-cased string, False otherwise.

In a title-cased string, upper- and title-case characters may only follow uncased characters and lowercase characters only cased ones.

EC.isupper()

Return True if the string is an uppercase string, False otherwise.

A string is uppercase if all cased characters in the string are uppercase and there is at least one cased character in the string.

EC.join()

Concatenate any number of strings.

The string whose method is called is inserted in between each given string. The result is returned as a new string.

Example: ‘.’.join([‘ab’, ‘pq’, ‘rs’]) -> ‘ab.pq.rs’

EC.ljust()

Return a left-justified string of length width.

Padding is done using the specified fill character (default is a space).

EC.lower()

Return a copy of the string converted to lowercase.

EC.lstrip()

Return a copy of the string with leading whitespace removed.

If chars is given and not None, remove characters in chars instead.

EC.partition()

Partition the string into three parts using the given separator.

This will search for the separator in the string. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing the original string and two empty strings.

EC.removeprefix()

Return a str with the given prefix string removed if present.

If the string starts with the prefix string, return string[len(prefix):]. Otherwise, return a copy of the original string.

EC.removesuffix()

Return a str with the given suffix string removed if present.

If the string ends with the suffix string and that suffix is not empty, return string[:-len(suffix)]. Otherwise, return a copy of the original string.

EC.replace()

Return a copy with all occurrences of substring old replaced by new.

count : Maximum number of occurrences to replace. -1 (the default value) means replace all occurrences.

If the optional argument count is given, only the first count occurrences are replaced.

EC.rfind()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

EC.rindex()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

EC.rjust()

Return a right-justified string of length width.

Padding is done using the specified fill character (default is a space).

EC.rpartition()

Partition the string into three parts using the given separator.

This will search for the separator in the string, starting at the end. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing two empty strings and the original string.

EC.rsplit()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the end of the string and works to the front.

EC.rstrip()

Return a copy of the string with trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

EC.split()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the front of the string and works to the end.

Note, str.split() is mainly useful for data that has been intentionally delimited. With natural text that includes punctuation, consider using the regular expression module.

EC.splitlines()

Return a list of the lines in the string, breaking at line boundaries.

Line breaks are not included in the resulting list unless keepends is given and true.

EC.startswith()

Return True if the string starts with the specified prefix, False otherwise.

prefix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

EC.strip()

Return a copy of the string with leading and trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

EC.swapcase()

Convert uppercase characters to lowercase and lowercase characters to uppercase.

EC.title()

Return a version of the string where each word is titlecased.

More specifically, words start with uppercased characters and all remaining cased characters have lower case.

EC.translate()

Replace each character in the string using the given translation table.

table : Translation table, which must be a mapping of Unicode ordinals to Unicode ordinals, strings, or None.

The table must implement lookup/indexing via __getitem__, for instance a dictionary or list. If this operation raises LookupError, the character is left untouched. Characters mapped to None are deleted.

EC.upper()

Return a copy of the string converted to uppercase.

EC.zfill()

Pad a numeric string with zeros on the left, to fill a field of the given width.

The string is never truncated.

Bases: str

Available values for the base64 enum

Initialize self. See help(type(self)) for accurate signature.

Base64.capitalize()

Return a capitalized version of the string.

More specifically, make the first character have upper case and the rest lower case.

Base64.casefold()

Return a version of the string suitable for caseless comparisons.

Base64.center()

Return a centered string of length width.

Padding is done using the specified fill character (default is a space).

Base64.count()

Return the number of non-overlapping occurrences of substring sub in string S[start:end].

Optional arguments start and end are interpreted as in slice notation.

Base64.encode()

Encode the string using the codec registered for encoding.

encoding : The encoding in which to encode the string.

errors : The error handling scheme to use for encoding errors. The default is ‘strict’ meaning that encoding errors raise a UnicodeEncodeError. Other possible values are ‘ignore’, ‘replace’ and ‘xmlcharrefreplace’ as well as any other name registered with codecs.register_error that can handle UnicodeEncodeErrors.

Base64.endswith()

Return True if the string ends with the specified suffix, False otherwise.

suffix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

Base64.expandtabs()

Return a copy where all tab characters are expanded using spaces.

If tabsize is not given, a tab size of 8 characters is assumed.

Base64.find()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

Base64.format()

Return a formatted version of the string, using substitutions from args and kwargs. The substitutions are identified by braces (‘{’ and ‘}’).

Base64.format_map()

Return a formatted version of the string, using substitutions from mapping. The substitutions are identified by braces (‘{’ and ‘}’).

Base64.index()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

Base64.isalnum()

Return True if the string is an alpha-numeric string, False otherwise.

A string is alpha-numeric if all characters in the string are alpha-numeric and there is at least one character in the string.

Base64.isalpha()

Return True if the string is an alphabetic string, False otherwise.

A string is alphabetic if all characters in the string are alphabetic and there is at least one character in the string.

Base64.isascii()

Return True if all characters in the string are ASCII, False otherwise.

ASCII characters have code points in the range U+0000-U+007F. Empty string is ASCII too.

Base64.isdecimal()

Return True if the string is a decimal string, False otherwise.

A string is a decimal string if all characters in the string are decimal and there is at least one character in the string.

Base64.isdigit()

Return True if the string is a digit string, False otherwise.

A string is a digit string if all characters in the string are digits and there is at least one character in the string.

Base64.isidentifier()

Return True if the string is a valid Python identifier, False otherwise.

Call keyword.iskeyword(s) to test whether string s is a reserved identifier, such as “def” or “class”.

Base64.islower()

Return True if the string is a lowercase string, False otherwise.

A string is lowercase if all cased characters in the string are lowercase and there is at least one cased character in the string.

Base64.isnumeric()

Return True if the string is a numeric string, False otherwise.

A string is numeric if all characters in the string are numeric and there is at least one character in the string.

Base64.isprintable()

Return True if all characters in the string are printable, False otherwise.

A character is printable if repr() may use it in its output.

Base64.isspace()

Return True if the string is a whitespace string, False otherwise.

A string is whitespace if all characters in the string are whitespace and there is at least one character in the string.

Base64.istitle()

Return True if the string is a title-cased string, False otherwise.

In a title-cased string, upper- and title-case characters may only follow uncased characters and lowercase characters only cased ones.

Base64.isupper()

Return True if the string is an uppercase string, False otherwise.

A string is uppercase if all cased characters in the string are uppercase and there is at least one cased character in the string.

Base64.join()

Concatenate any number of strings.

The string whose method is called is inserted in between each given string. The result is returned as a new string.

Example: ‘.’.join([‘ab’, ‘pq’, ‘rs’]) -> ‘ab.pq.rs’

Base64.ljust()

Return a left-justified string of length width.

Padding is done using the specified fill character (default is a space).

Base64.lower()

Return a copy of the string converted to lowercase.

Base64.lstrip()

Return a copy of the string with leading whitespace removed.

If chars is given and not None, remove characters in chars instead.

Base64.partition()

Partition the string into three parts using the given separator.

This will search for the separator in the string. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing the original string and two empty strings.

Base64.removeprefix()

Return a str with the given prefix string removed if present.

If the string starts with the prefix string, return string[len(prefix):]. Otherwise, return a copy of the original string.

Base64.removesuffix()

Return a str with the given suffix string removed if present.

If the string ends with the suffix string and that suffix is not empty, return string[:-len(suffix)]. Otherwise, return a copy of the original string.

Base64.replace()

Return a copy with all occurrences of substring old replaced by new.

count : Maximum number of occurrences to replace. -1 (the default value) means replace all occurrences.

If the optional argument count is given, only the first count occurrences are replaced.

Base64.rfind()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

Base64.rindex()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

Base64.rjust()

Return a right-justified string of length width.

Padding is done using the specified fill character (default is a space).

Base64.rpartition()

Partition the string into three parts using the given separator.

This will search for the separator in the string, starting at the end. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing two empty strings and the original string.

Base64.rsplit()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the end of the string and works to the front.

Base64.rstrip()

Return a copy of the string with trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

Base64.split()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the front of the string and works to the end.

Note, str.split() is mainly useful for data that has been intentionally delimited. With natural text that includes punctuation, consider using the regular expression module.

Base64.splitlines()

Return a list of the lines in the string, breaking at line boundaries.

Line breaks are not included in the resulting list unless keepends is given and true.

Base64.startswith()

Return True if the string starts with the specified prefix, False otherwise.

prefix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

Base64.strip()

Return a copy of the string with leading and trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

Base64.swapcase()

Convert uppercase characters to lowercase and lowercase characters to uppercase.

Base64.title()

Return a version of the string where each word is titlecased.

More specifically, words start with uppercased characters and all remaining cased characters have lower case.

Base64.translate()

Replace each character in the string using the given translation table.

table : Translation table, which must be a mapping of Unicode ordinals to Unicode ordinals, strings, or None.

The table must implement lookup/indexing via __getitem__, for instance a dictionary or list. If this operation raises LookupError, the character is left untouched. Characters mapped to None are deleted.

Base64.upper()

Return a copy of the string converted to uppercase.

Base64.zfill()

Pad a numeric string with zeros on the left, to fill a field of the given width.

The string is never truncated.

Bases: str

Available values for the ECDSA enum

Initialize self. See help(type(self)) for accurate signature.

secp256k1 curve, used in Bitcoin

secp256r1 curve, NIST standard

ECDSA.capitalize()

Return a capitalized version of the string.

More specifically, make the first character have upper case and the rest lower case.

ECDSA.casefold()

Return a version of the string suitable for caseless comparisons.

ECDSA.center()

Return a centered string of length width.

Padding is done using the specified fill character (default is a space).

ECDSA.count()

Return the number of non-overlapping occurrences of substring sub in string S[start:end].

Optional arguments start and end are interpreted as in slice notation.

ECDSA.encode()

Encode the string using the codec registered for encoding.

encoding : The encoding in which to encode the string.

errors : The error handling scheme to use for encoding errors. The default is ‘strict’ meaning that encoding errors raise a UnicodeEncodeError. Other possible values are ‘ignore’, ‘replace’ and ‘xmlcharrefreplace’ as well as any other name registered with codecs.register_error that can handle UnicodeEncodeErrors.

ECDSA.endswith()

Return True if the string ends with the specified suffix, False otherwise.

suffix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

ECDSA.expandtabs()

Return a copy where all tab characters are expanded using spaces.

If tabsize is not given, a tab size of 8 characters is assumed.

ECDSA.find()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

ECDSA.format()

Return a formatted version of the string, using substitutions from args and kwargs. The substitutions are identified by braces (‘{’ and ‘}’).

ECDSA.format_map()

Return a formatted version of the string, using substitutions from mapping. The substitutions are identified by braces (‘{’ and ‘}’).

ECDSA.index()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

ECDSA.isalnum()

Return True if the string is an alpha-numeric string, False otherwise.

A string is alpha-numeric if all characters in the string are alpha-numeric and there is at least one character in the string.

ECDSA.isalpha()

Return True if the string is an alphabetic string, False otherwise.

A string is alphabetic if all characters in the string are alphabetic and there is at least one character in the string.

ECDSA.isascii()

Return True if all characters in the string are ASCII, False otherwise.

ASCII characters have code points in the range U+0000-U+007F. Empty string is ASCII too.

ECDSA.isdecimal()

Return True if the string is a decimal string, False otherwise.

A string is a decimal string if all characters in the string are decimal and there is at least one character in the string.

ECDSA.isdigit()

Return True if the string is a digit string, False otherwise.

A string is a digit string if all characters in the string are digits and there is at least one character in the string.

ECDSA.isidentifier()

Return True if the string is a valid Python identifier, False otherwise.

Call keyword.iskeyword(s) to test whether string s is a reserved identifier, such as “def” or “class”.

ECDSA.islower()

Return True if the string is a lowercase string, False otherwise.

A string is lowercase if all cased characters in the string are lowercase and there is at least one cased character in the string.

ECDSA.isnumeric()

Return True if the string is a numeric string, False otherwise.

A string is numeric if all characters in the string are numeric and there is at least one character in the string.

ECDSA.isprintable()

Return True if all characters in the string are printable, False otherwise.

A character is printable if repr() may use it in its output.

ECDSA.isspace()

Return True if the string is a whitespace string, False otherwise.

A string is whitespace if all characters in the string are whitespace and there is at least one character in the string.

ECDSA.istitle()

Return True if the string is a title-cased string, False otherwise.

In a title-cased string, upper- and title-case characters may only follow uncased characters and lowercase characters only cased ones.

ECDSA.isupper()

Return True if the string is an uppercase string, False otherwise.

A string is uppercase if all cased characters in the string are uppercase and there is at least one cased character in the string.

ECDSA.join()

Concatenate any number of strings.

The string whose method is called is inserted in between each given string. The result is returned as a new string.

Example: ‘.’.join([‘ab’, ‘pq’, ‘rs’]) -> ‘ab.pq.rs’

ECDSA.ljust()

Return a left-justified string of length width.

Padding is done using the specified fill character (default is a space).

ECDSA.lower()

Return a copy of the string converted to lowercase.

ECDSA.lstrip()

Return a copy of the string with leading whitespace removed.

If chars is given and not None, remove characters in chars instead.

ECDSA.partition()

Partition the string into three parts using the given separator.

This will search for the separator in the string. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing the original string and two empty strings.

ECDSA.removeprefix()

Return a str with the given prefix string removed if present.

If the string starts with the prefix string, return string[len(prefix):]. Otherwise, return a copy of the original string.

ECDSA.removesuffix()

Return a str with the given suffix string removed if present.

If the string ends with the suffix string and that suffix is not empty, return string[:-len(suffix)]. Otherwise, return a copy of the original string.

ECDSA.replace()

Return a copy with all occurrences of substring old replaced by new.

count : Maximum number of occurrences to replace. -1 (the default value) means replace all occurrences.

If the optional argument count is given, only the first count occurrences are replaced.

ECDSA.rfind()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

ECDSA.rindex()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

ECDSA.rjust()

Return a right-justified string of length width.

Padding is done using the specified fill character (default is a space).

ECDSA.rpartition()

Partition the string into three parts using the given separator.

This will search for the separator in the string, starting at the end. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing two empty strings and the original string.

ECDSA.rsplit()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the end of the string and works to the front.

ECDSA.rstrip()

Return a copy of the string with trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

ECDSA.split()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the front of the string and works to the end.

Note, str.split() is mainly useful for data that has been intentionally delimited. With natural text that includes punctuation, consider using the regular expression module.

ECDSA.splitlines()

Return a list of the lines in the string, breaking at line boundaries.

Line breaks are not included in the resulting list unless keepends is given and true.

ECDSA.startswith()

Return True if the string starts with the specified prefix, False otherwise.

prefix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

ECDSA.strip()

Return a copy of the string with leading and trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

ECDSA.swapcase()

Convert uppercase characters to lowercase and lowercase characters to uppercase.

ECDSA.title()

Return a version of the string where each word is titlecased.

More specifically, words start with uppercased characters and all remaining cased characters have lower case.

ECDSA.translate()

Replace each character in the string using the given translation table.

table : Translation table, which must be a mapping of Unicode ordinals to Unicode ordinals, strings, or None.

The table must implement lookup/indexing via __getitem__, for instance a dictionary or list. If this operation raises LookupError, the character is left untouched. Characters mapped to None are deleted.

ECDSA.upper()

Return a copy of the string converted to uppercase.

ECDSA.zfill()

Pad a numeric string with zeros on the left, to fill a field of the given width.

The string is never truncated.

Bases: str

Available values for the Mimc Configurations enum

Initialize self. See help(type(self)) for accurate signature.

MiMC configuration for the BN254 curve with Miyaguchi-Preneel mode, 110 rounds, exponent 5, seed “seed” Min AVM version: 11

MiMC configuration for the BLS12-381 curve with Miyaguchi-Preneel mode, 111 rounds, exponent 5, seed “seed” Min AVM version: 11

MiMCConfigurations.capitalize()

Return a capitalized version of the string.

More specifically, make the first character have upper case and the rest lower case.

MiMCConfigurations.casefold()

Return a version of the string suitable for caseless comparisons.

MiMCConfigurations.center()

Return a centered string of length width.

Padding is done using the specified fill character (default is a space).

MiMCConfigurations.count()

Return the number of non-overlapping occurrences of substring sub in string S[start:end].

Optional arguments start and end are interpreted as in slice notation.

MiMCConfigurations.encode()

Encode the string using the codec registered for encoding.

encoding : The encoding in which to encode the string.

errors : The error handling scheme to use for encoding errors. The default is ‘strict’ meaning that encoding errors raise a UnicodeEncodeError. Other possible values are ‘ignore’, ‘replace’ and ‘xmlcharrefreplace’ as well as any other name registered with codecs.register_error that can handle UnicodeEncodeErrors.

MiMCConfigurations.endswith()

Return True if the string ends with the specified suffix, False otherwise.

suffix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

MiMCConfigurations.expandtabs()

Return a copy where all tab characters are expanded using spaces.

If tabsize is not given, a tab size of 8 characters is assumed.

MiMCConfigurations.find()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

MiMCConfigurations.format()

Return a formatted version of the string, using substitutions from args and kwargs. The substitutions are identified by braces (‘{’ and ‘}’).

MiMCConfigurations.format_map()

Return a formatted version of the string, using substitutions from mapping. The substitutions are identified by braces (‘{’ and ‘}’).

MiMCConfigurations.index()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

MiMCConfigurations.isalnum()

Return True if the string is an alpha-numeric string, False otherwise.

A string is alpha-numeric if all characters in the string are alpha-numeric and there is at least one character in the string.

MiMCConfigurations.isalpha()

Return True if the string is an alphabetic string, False otherwise.

A string is alphabetic if all characters in the string are alphabetic and there is at least one character in the string.

MiMCConfigurations.isascii()

Return True if all characters in the string are ASCII, False otherwise.

ASCII characters have code points in the range U+0000-U+007F. Empty string is ASCII too.

MiMCConfigurations.isdecimal()

Return True if the string is a decimal string, False otherwise.

A string is a decimal string if all characters in the string are decimal and there is at least one character in the string.

MiMCConfigurations.isdigit()

Return True if the string is a digit string, False otherwise.

A string is a digit string if all characters in the string are digits and there is at least one character in the string.

MiMCConfigurations.isidentifier()

Return True if the string is a valid Python identifier, False otherwise.

Call keyword.iskeyword(s) to test whether string s is a reserved identifier, such as “def” or “class”.

MiMCConfigurations.islower()

Return True if the string is a lowercase string, False otherwise.

A string is lowercase if all cased characters in the string are lowercase and there is at least one cased character in the string.

MiMCConfigurations.isnumeric()

Return True if the string is a numeric string, False otherwise.

A string is numeric if all characters in the string are numeric and there is at least one character in the string.

MiMCConfigurations.isprintable()

Return True if all characters in the string are printable, False otherwise.

A character is printable if repr() may use it in its output.

MiMCConfigurations.isspace()

Return True if the string is a whitespace string, False otherwise.

A string is whitespace if all characters in the string are whitespace and there is at least one character in the string.

MiMCConfigurations.istitle()

Return True if the string is a title-cased string, False otherwise.

In a title-cased string, upper- and title-case characters may only follow uncased characters and lowercase characters only cased ones.

MiMCConfigurations.isupper()

Return True if the string is an uppercase string, False otherwise.

A string is uppercase if all cased characters in the string are uppercase and there is at least one cased character in the string.

MiMCConfigurations.join()

Concatenate any number of strings.

The string whose method is called is inserted in between each given string. The result is returned as a new string.

Example: ‘.’.join([‘ab’, ‘pq’, ‘rs’]) -> ‘ab.pq.rs’

MiMCConfigurations.ljust()

Return a left-justified string of length width.

Padding is done using the specified fill character (default is a space).

MiMCConfigurations.lower()

Return a copy of the string converted to lowercase.

MiMCConfigurations.lstrip()

Return a copy of the string with leading whitespace removed.

If chars is given and not None, remove characters in chars instead.

MiMCConfigurations.partition()

Partition the string into three parts using the given separator.

This will search for the separator in the string. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing the original string and two empty strings.

MiMCConfigurations.removeprefix()

Return a str with the given prefix string removed if present.

If the string starts with the prefix string, return string[len(prefix):]. Otherwise, return a copy of the original string.

MiMCConfigurations.removesuffix()

Return a str with the given suffix string removed if present.

If the string ends with the suffix string and that suffix is not empty, return string[:-len(suffix)]. Otherwise, return a copy of the original string.

MiMCConfigurations.replace()

Return a copy with all occurrences of substring old replaced by new.

count : Maximum number of occurrences to replace. -1 (the default value) means replace all occurrences.

If the optional argument count is given, only the first count occurrences are replaced.

MiMCConfigurations.rfind()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

MiMCConfigurations.rindex()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

MiMCConfigurations.rjust()

Return a right-justified string of length width.

Padding is done using the specified fill character (default is a space).

MiMCConfigurations.rpartition()

Partition the string into three parts using the given separator.

This will search for the separator in the string, starting at the end. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing two empty strings and the original string.

MiMCConfigurations.rsplit()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the end of the string and works to the front.

MiMCConfigurations.rstrip()

Return a copy of the string with trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

MiMCConfigurations.split()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the front of the string and works to the end.

Note, str.split() is mainly useful for data that has been intentionally delimited. With natural text that includes punctuation, consider using the regular expression module.

MiMCConfigurations.splitlines()

Return a list of the lines in the string, breaking at line boundaries.

Line breaks are not included in the resulting list unless keepends is given and true.

MiMCConfigurations.startswith()

Return True if the string starts with the specified prefix, False otherwise.

prefix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

MiMCConfigurations.strip()

Return a copy of the string with leading and trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

MiMCConfigurations.swapcase()

Convert uppercase characters to lowercase and lowercase characters to uppercase.

MiMCConfigurations.title()

Return a version of the string where each word is titlecased.

More specifically, words start with uppercased characters and all remaining cased characters have lower case.

MiMCConfigurations.translate()

Replace each character in the string using the given translation table.

table : Translation table, which must be a mapping of Unicode ordinals to Unicode ordinals, strings, or None.

The table must implement lookup/indexing via __getitem__, for instance a dictionary or list. If this operation raises LookupError, the character is left untouched. Characters mapped to None are deleted.

MiMCConfigurations.upper()

Return a copy of the string converted to uppercase.

MiMCConfigurations.zfill()

Pad a numeric string with zeros on the left, to fill a field of the given width.

The string is never truncated.

Bases: str

Available values for the vrf_verify enum

Initialize self. See help(type(self)) for accurate signature.

VrfVerify.capitalize()

Return a capitalized version of the string.

More specifically, make the first character have upper case and the rest lower case.

VrfVerify.casefold()

Return a version of the string suitable for caseless comparisons.

VrfVerify.center()

Return a centered string of length width.

Padding is done using the specified fill character (default is a space).

VrfVerify.count()

Return the number of non-overlapping occurrences of substring sub in string S[start:end].

Optional arguments start and end are interpreted as in slice notation.

VrfVerify.encode()

Encode the string using the codec registered for encoding.

encoding : The encoding in which to encode the string.

errors : The error handling scheme to use for encoding errors. The default is ‘strict’ meaning that encoding errors raise a UnicodeEncodeError. Other possible values are ‘ignore’, ‘replace’ and ‘xmlcharrefreplace’ as well as any other name registered with codecs.register_error that can handle UnicodeEncodeErrors.

VrfVerify.endswith()

Return True if the string ends with the specified suffix, False otherwise.

suffix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

VrfVerify.expandtabs()

Return a copy where all tab characters are expanded using spaces.

If tabsize is not given, a tab size of 8 characters is assumed.

VrfVerify.find()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

VrfVerify.format()

Return a formatted version of the string, using substitutions from args and kwargs. The substitutions are identified by braces (‘{’ and ‘}’).

VrfVerify.format_map()

Return a formatted version of the string, using substitutions from mapping. The substitutions are identified by braces (‘{’ and ‘}’).

VrfVerify.index()

Return the lowest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

VrfVerify.isalnum()

Return True if the string is an alpha-numeric string, False otherwise.

A string is alpha-numeric if all characters in the string are alpha-numeric and there is at least one character in the string.

VrfVerify.isalpha()

Return True if the string is an alphabetic string, False otherwise.

A string is alphabetic if all characters in the string are alphabetic and there is at least one character in the string.

VrfVerify.isascii()

Return True if all characters in the string are ASCII, False otherwise.

ASCII characters have code points in the range U+0000-U+007F. Empty string is ASCII too.

VrfVerify.isdecimal()

Return True if the string is a decimal string, False otherwise.

A string is a decimal string if all characters in the string are decimal and there is at least one character in the string.

VrfVerify.isdigit()

Return True if the string is a digit string, False otherwise.

A string is a digit string if all characters in the string are digits and there is at least one character in the string.

VrfVerify.isidentifier()

Return True if the string is a valid Python identifier, False otherwise.

Call keyword.iskeyword(s) to test whether string s is a reserved identifier, such as “def” or “class”.

VrfVerify.islower()

Return True if the string is a lowercase string, False otherwise.

A string is lowercase if all cased characters in the string are lowercase and there is at least one cased character in the string.

VrfVerify.isnumeric()

Return True if the string is a numeric string, False otherwise.

A string is numeric if all characters in the string are numeric and there is at least one character in the string.

VrfVerify.isprintable()

Return True if all characters in the string are printable, False otherwise.

A character is printable if repr() may use it in its output.

VrfVerify.isspace()

Return True if the string is a whitespace string, False otherwise.

A string is whitespace if all characters in the string are whitespace and there is at least one character in the string.

VrfVerify.istitle()

Return True if the string is a title-cased string, False otherwise.

In a title-cased string, upper- and title-case characters may only follow uncased characters and lowercase characters only cased ones.

VrfVerify.isupper()

Return True if the string is an uppercase string, False otherwise.

A string is uppercase if all cased characters in the string are uppercase and there is at least one cased character in the string.

VrfVerify.join()

Concatenate any number of strings.

The string whose method is called is inserted in between each given string. The result is returned as a new string.

Example: ‘.’.join([‘ab’, ‘pq’, ‘rs’]) -> ‘ab.pq.rs’

VrfVerify.ljust()

Return a left-justified string of length width.

Padding is done using the specified fill character (default is a space).

VrfVerify.lower()

Return a copy of the string converted to lowercase.

VrfVerify.lstrip()

Return a copy of the string with leading whitespace removed.

If chars is given and not None, remove characters in chars instead.

VrfVerify.partition()

Partition the string into three parts using the given separator.

This will search for the separator in the string. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing the original string and two empty strings.

VrfVerify.removeprefix()

Return a str with the given prefix string removed if present.

If the string starts with the prefix string, return string[len(prefix):]. Otherwise, return a copy of the original string.

VrfVerify.removesuffix()

Return a str with the given suffix string removed if present.

If the string ends with the suffix string and that suffix is not empty, return string[:-len(suffix)]. Otherwise, return a copy of the original string.

VrfVerify.replace()

Return a copy with all occurrences of substring old replaced by new.

count : Maximum number of occurrences to replace. -1 (the default value) means replace all occurrences.

If the optional argument count is given, only the first count occurrences are replaced.

VrfVerify.rfind()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Return -1 on failure.

VrfVerify.rindex()

Return the highest index in S where substring sub is found, such that sub is contained within S[start:end].

Optional arguments start and end are interpreted as in slice notation. Raises ValueError when the substring is not found.

VrfVerify.rjust()

Return a right-justified string of length width.

Padding is done using the specified fill character (default is a space).

VrfVerify.rpartition()

Partition the string into three parts using the given separator.

This will search for the separator in the string, starting at the end. If the separator is found, returns a 3-tuple containing the part before the separator, the separator itself, and the part after it.

If the separator is not found, returns a 3-tuple containing two empty strings and the original string.

VrfVerify.rsplit()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the end of the string and works to the front.

VrfVerify.rstrip()

Return a copy of the string with trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

VrfVerify.split()

Return a list of the substrings in the string, using sep as the separator string.

sep : The separator used to split the string.
When set to None (the default value), will split on any whitespace character (including n r t f and spaces) and will discard empty strings from the result.

maxsplit : Maximum number of splits. -1 (the default value) means no limit.

Splitting starts at the front of the string and works to the end.

Note, str.split() is mainly useful for data that has been intentionally delimited. With natural text that includes punctuation, consider using the regular expression module.

VrfVerify.splitlines()

Return a list of the lines in the string, breaking at line boundaries.

Line breaks are not included in the resulting list unless keepends is given and true.

VrfVerify.startswith()

Return True if the string starts with the specified prefix, False otherwise.

prefix : A string or a tuple of strings to try.

start : Optional start position. Default: start of the string.

end : Optional stop position. Default: end of the string.

VrfVerify.strip()

Return a copy of the string with leading and trailing whitespace removed.

If chars is given and not None, remove characters in chars instead.

VrfVerify.swapcase()

Convert uppercase characters to lowercase and lowercase characters to uppercase.

VrfVerify.title()

Return a version of the string where each word is titlecased.

More specifically, words start with uppercased characters and all remaining cased characters have lower case.

VrfVerify.translate()

Replace each character in the string using the given translation table.

table : Translation table, which must be a mapping of Unicode ordinals to Unicode ordinals, strings, or None.

The table must implement lookup/indexing via __getitem__, for instance a dictionary or list. If this operation raises LookupError, the character is left untouched. Characters mapped to None are deleted.

VrfVerify.upper()

Return a copy of the string converted to uppercase.

VrfVerify.zfill()

Pad a numeric string with zeros on the left, to fill a field of the given width.

The string is never truncated.

addw(a: UInt64 | int, b: UInt64 | int, /) → tuple[UInt64, UInt64]

A plus B as a 128-bit result. X is the carry-bit, Y is the low-order 64 bits.

Native TEAL opcode: addw

app_opted_in(a: Account | UInt64 | int, b: Application | UInt64 | int, /) → bool

1 if account A is opted in to application B, else 0 params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: 1 if opted in and 0 otherwise.

Native TEAL opcode: app_opted_in

arg(a: UInt64 | int, /) → Bytes

Ath LogicSig argument

Native TEAL opcode: arg, args

balance(a: Account | UInt64 | int, /) → UInt64

balance for account A, in microalgos. The balance is observed after the effects of previous transactions in the group, and after the fee for the current transaction is deducted. Changes caused by inner transactions are observable immediately following itxn_submit params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: value.

Native TEAL opcode: balance

base64_decode(e: Base64, a: BytesBacked | bytes, /) → Bytes

decode A which was base64-encoded using _encoding_ E. Fail if A is not base64 encoded with encoding E Warning: Usage should be restricted to very rare use cases. In almost all cases, smart contracts should directly handle non-encoded byte-strings. This opcode should only be used in cases where base64 is the only available option, e.g. interoperability with a third-party that only signs base64 strings.

Decodes A using the base64 encoding E. Specify the encoding with an immediate arg either as URL and Filename Safe (URLEncoding) or Standard (StdEncoding). See RFC 4648 sections 4 and 5. It is assumed that the encoding ends with the exact number of = padding characters as required by the RFC. When padding occurs, any unused pad bits in the encoding must be set to zero or the decoding will fail. The special cases of \n and \r are allowed but completely ignored. An error will result when attempting to decode a string with a character that is not in the encoding alphabet or not one of =, \r, or \n.

  • Parameters: e (Base64) – encoding index

Native TEAL opcode: base64_decode

bitlen(a: UInt64 | BytesBacked | int | bytes, /) → UInt64

The highest set bit in A. If A is a byte-array, it is interpreted as a big-endian unsigned integer. bitlen of 0 is 0, bitlen of 8 is 4 bitlen interprets arrays as big-endian integers, unlike setbit/getbit

Native TEAL opcode: bitlen

bsqrt(a: BigUInt | int, /) → BigUInt

The largest integer I such that I^2 <= A. A and I are interpreted as big-endian unsigned integers

Native TEAL opcode: bsqrt

btoi(a: BytesBacked | bytes, /) → UInt64

converts big-endian byte array A to uint64. Fails if len(A) > 8. Padded by leading 0s if len(A) < 8. btoi fails if the input is longer than 8 bytes.

Native TEAL opcode: btoi

bzero(a: UInt64 | int, /) → Bytes

zero filled byte-array of length A

Native TEAL opcode: bzero

concat(a: BytesBacked | bytes, b: BytesBacked | bytes, /) → Bytes

join A and B concat fails if the result would be greater than 4096 bytes.

Native TEAL opcode: concat

divmodw(a: UInt64 | int, b: UInt64 | int, c: UInt64 | int, d: UInt64 | int, /) → tuple[UInt64, UInt64, UInt64, UInt64]

W,X = (A,B / C,D); Y,Z = (A,B modulo C,D) The notation J,K indicates that two uint64 values J and K are interpreted as a uint128 value, with J as the high uint64 and K the low.

Native TEAL opcode: divmodw

divw(a: UInt64 | int, b: UInt64 | int, c: UInt64 | int, /) → UInt64

A,B / C. Fail if C == 0 or if result overflows. The notation A,B indicates that A and B are interpreted as a uint128 value, with A as the high uint64 and B the low.

Native TEAL opcode: divw

ecdsa_pk_decompress(v: ECDSA, a: BytesBacked | bytes, /) → tuple[Bytes, Bytes]

decompress pubkey A into components X, Y The 33 byte public key in a compressed form to be decompressed into X and Y (top) components. All values are big-endian encoded.

  • Parameters: v (ECDSA) – curve index

Native TEAL opcode: ecdsa_pk_decompress

ecdsa_pk_recover(v: ECDSA, a: BytesBacked | bytes, b: UInt64 | int, c: BytesBacked | bytes, d: BytesBacked | bytes, /) → tuple[Bytes, Bytes]

for (data A, recovery id B, signature C, D) recover a public key S (top) and R elements of a signature, recovery id and data (bottom) are expected on the stack and used to deriver a public key. All values are big-endian encoded. The signed data must be 32 bytes long.

  • Parameters: v (ECDSA) – curve index

Native TEAL opcode: ecdsa_pk_recover

ecdsa_verify(v: ECDSA, a: BytesBacked | bytes, b: BytesBacked | bytes, c: BytesBacked | bytes, d: BytesBacked | bytes, e: BytesBacked | bytes, /) → bool

for (data A, signature B, C and pubkey D, E) verify the signature of the data against the pubkey => {0 or 1} The 32 byte Y-component of a public key is the last element on the stack, preceded by X-component of a pubkey, preceded by S and R components of a signature, preceded by the data that is fifth element on the stack. All values are big-endian encoded. The signed data must be 32 bytes long, and signatures in lower-S form are only accepted.

  • Parameters: v (ECDSA) – curve index

Native TEAL opcode: ecdsa_verify

ed25519verify(a: BytesBacked | bytes, b: BytesBacked | bytes, c: BytesBacked | bytes, /) → bool

for (data A, signature B, pubkey C) verify the signature of (“ProgData” || program_hash || data) against the pubkey => {0 or 1} The 32 byte public key is the last element on the stack, preceded by the 64 byte signature at the second-to-last element on the stack, preceded by the data which was signed at the third-to-last element on the stack.

Native TEAL opcode: ed25519verify

ed25519verify_bare(a: BytesBacked | bytes, b: BytesBacked | bytes, c: BytesBacked | bytes, /) → bool

for (data A, signature B, pubkey C) verify the signature of the data against the pubkey => {0 or 1}

Native TEAL opcode: ed25519verify_bare

err(message: LiteralString | None = None, /) → Never

Fail immediately.

  • Returns typing.Never: Halts program

Native TEAL opcode: err

exit(a: UInt64 | int, /) → Never

use A as success value; end

  • Returns typing.Never: Halts program

Native TEAL opcode: return

exp(a: UInt64 | int, b: UInt64 | int, /) → UInt64

A raised to the Bth power. Fail if A == B == 0 and on overflow

Native TEAL opcode: exp

expw(a: UInt64 | int, b: UInt64 | int, /) → tuple[UInt64, UInt64]

A raised to the Bth power as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low. Fail if A == B == 0 or if the results exceeds 2^128-1

Native TEAL opcode: expw

extract(a: BytesBacked | bytes, b: UInt64 | int, c: UInt64 | int, /) → Bytes

A range of bytes from A starting at B up to but not including B+C. If B+C is larger than the array length, the program fails extract3 can be called using extract with no immediates.

Native TEAL opcode: extract, extract3

extract_uint16(a: BytesBacked | bytes, b: UInt64 | int, /) → UInt64

A uint16 formed from a range of big-endian bytes from A starting at B up to but not including B+2. If B+2 is larger than the array length, the program fails

Native TEAL opcode: extract_uint16

extract_uint32(a: BytesBacked | bytes, b: UInt64 | int, /) → UInt64

A uint32 formed from a range of big-endian bytes from A starting at B up to but not including B+4. If B+4 is larger than the array length, the program fails

Native TEAL opcode: extract_uint32

extract_uint64(a: BytesBacked | bytes, b: UInt64 | int, /) → UInt64

A uint64 formed from a range of big-endian bytes from A starting at B up to but not including B+8. If B+8 is larger than the array length, the program fails

Native TEAL opcode: extract_uint64

falcon_verify(a: BytesBacked | bytes, b: BytesBacked | bytes, c: BytesBacked | bytes, /) → bool

for (data A, compressed-format signature B, pubkey C) verify the signature of data against the pubkey => {0 or 1} Min AVM version: 12

Native TEAL opcode: falcon_verify

gaid(a: UInt64 | int, /) → UInt64

ID of the asset or application created in the Ath transaction of the current group gaids fails unless the requested transaction created an asset or application and A < GroupIndex.

Native TEAL opcode: gaid, gaids

getbit(a: UInt64 | BytesBacked | int | bytes, b: UInt64 | int, /) → bool

Bth bit of (byte-array or integer) A. If B is greater than or equal to the bit length of the value (8*byte length), the program fails see explanation of bit ordering in setbit

Native TEAL opcode: getbit

getbyte(a: BytesBacked | bytes, b: UInt64 | int, /) → UInt64

Bth byte of A, as an integer. If B is greater than or equal to the array length, the program fails

Native TEAL opcode: getbyte

gload_bytes(a: UInt64 | int, b: UInt64 | int, /) → Bytes

Bth scratch space value of the Ath transaction in the current group

Native TEAL opcode: gload, gloads, gloadss

gload_uint64(a: UInt64 | int, b: UInt64 | int, /) → UInt64

Bth scratch space value of the Ath transaction in the current group

Native TEAL opcode: gload, gloads, gloadss

itob(a: UInt64 | int, /) → Bytes

converts uint64 A to big-endian byte array, always of length 8

Native TEAL opcode: itob

keccak256(a: BytesBacked | bytes, /) → Bytes

Keccak256 hash of value A, yields [32]byte

Native TEAL opcode: keccak256

mimc(c: MiMCConfigurations, a: BytesBacked | bytes, /) → Bytes

MiMC hash of scalars A, using curve and parameters specified by configuration C A is a list of concatenated 32 byte big-endian unsigned integer scalars. Fail if A’s length is not a multiple of 32 or any element exceeds the curve modulus.

The MiMC hash function has known collisions since any input which is a multiple of the elliptic curve modulus will hash to the same value. MiMC is thus not a general purpose hash function, but meant to be used in zero knowledge applications to match a zk-circuit implementation. Min AVM version: 11

Native TEAL opcode: mimc

min_balance(a: Account | UInt64 | int, /) → UInt64

minimum required balance for account A, in microalgos. Required balance is affected by ASA, App, and Box usage. When creating or opting into an app, the minimum balance grows before the app code runs, therefore the increase is visible there. When deleting or closing out, the minimum balance decreases after the app executes. Changes caused by inner transactions or box usage are observable immediately following the opcode effecting the change. params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset). Return: value.

Native TEAL opcode: min_balance

mulw(a: UInt64 | int, b: UInt64 | int, /) → tuple[UInt64, UInt64]

A times B as a 128-bit result in two uint64s. X is the high 64 bits, Y is the low

Native TEAL opcode: mulw

online_stake() → UInt64

the total online stake in the agreement round Min AVM version: 11

Native TEAL opcode: online_stake

replace(a: BytesBacked | bytes, b: UInt64 | int, c: BytesBacked | bytes, /) → Bytes

Copy of A with the bytes starting at B replaced by the bytes of C. Fails if B+len(C) exceeds len(A) replace3 can be called using replace with no immediates.

Native TEAL opcode: replace2, replace3

select_bytes(a: BytesBacked | bytes, b: BytesBacked | bytes, c: bool | UInt64 | int, /) → Bytes

selects one of two values based on top-of-stack: B if C != 0, else A

Native TEAL opcode: select

select_uint64(a: UInt64 | int, b: UInt64 | int, c: bool | UInt64 | int, /) → UInt64

selects one of two values based on top-of-stack: B if C != 0, else A

Native TEAL opcode: select

setbit_bytes(a: BytesBacked | bytes, b: UInt64 | int, c: bool, /) → Bytes

Copy of (byte-array or integer) A, with the Bth bit set to (0 or 1) C. If B is greater than or equal to the bit length of the value (8*byte length), the program fails When A is a uint64, index 0 is the least significant bit. Setting bit 3 to 1 on the integer 0 yields 8, or 2^3. When A is a byte array, index 0 is the leftmost bit of the leftmost byte. Setting bits 0 through 11 to 1 in a 4-byte-array of 0s yields the byte array 0xfff00000. Setting bit 3 to 1 on the 1-byte-array 0x00 yields the byte array 0x10.

Native TEAL opcode: setbit

setbit_uint64(a: UInt64 | int, b: UInt64 | int, c: bool, /) → UInt64

Copy of (byte-array or integer) A, with the Bth bit set to (0 or 1) C. If B is greater than or equal to the bit length of the value (8*byte length), the program fails When A is a uint64, index 0 is the least significant bit. Setting bit 3 to 1 on the integer 0 yields 8, or 2^3. When A is a byte array, index 0 is the leftmost bit of the leftmost byte. Setting bits 0 through 11 to 1 in a 4-byte-array of 0s yields the byte array 0xfff00000. Setting bit 3 to 1 on the 1-byte-array 0x00 yields the byte array 0x10.

Native TEAL opcode: setbit

setbyte(a: BytesBacked | bytes, b: UInt64 | int, c: UInt64 | int, /) → Bytes

Copy of A with the Bth byte set to small integer (between 0..255) C. If B is greater than or equal to the array length, the program fails

Native TEAL opcode: setbyte

sha256(a: BytesBacked | bytes, /) → Bytes

SHA256 hash of value A, yields [32]byte

Native TEAL opcode: sha256

sha3_256(a: BytesBacked | bytes, /) → Bytes

SHA3_256 hash of value A, yields [32]byte

Native TEAL opcode: sha3_256

sha512_256(a: BytesBacked | bytes, /) → Bytes

SHA512_256 hash of value A, yields [32]byte

Native TEAL opcode: sha512_256

shl(a: UInt64 | int, b: UInt64 | int, /) → UInt64

A times 2^B, modulo 2^64

Native TEAL opcode: shl

shr(a: UInt64 | int, b: UInt64 | int, /) → UInt64

A divided by 2^B

Native TEAL opcode: shr

sqrt(a: UInt64 | int, /) → UInt64

The largest integer I such that I^2 <= A

Native TEAL opcode: sqrt

substring(a: BytesBacked | bytes, b: UInt64 | int, c: UInt64 | int, /) → Bytes

A range of bytes from A starting at B up to but not including C. If C < B, or either is larger than the array length, the program fails

Native TEAL opcode: substring, substring3

sumhash512(a: BytesBacked | bytes, /) → Bytes

sumhash512 of value A, yields [64]byte Min AVM version: 13

Native TEAL opcode: sumhash512

vrf_verify(s: VrfVerify, a: BytesBacked | bytes, b: BytesBacked | bytes, c: BytesBacked | bytes, /) → tuple[Bytes, bool]

Verify the proof B of message A against pubkey C. Returns vrf output and verification flag. VrfAlgorand is the VRF used in Algorand. It is ECVRF-ED25519-SHA512-Elligator2, specified in the IETF internet draft draft-irtf-cfrg-vrf-03.

  • Parameters: s (VrfVerify) – parameters index

Native TEAL opcode: vrf_verify

X is field F from account A. Y is 1 if A owns positive algos, else 0 Native TEAL op: acct_params_get

Account balance in microalgos

Native TEAL opcode: acct_params_get

Minimum required balance for account, in microalgos

Native TEAL opcode: acct_params_get

Address the account is rekeyed to.

Native TEAL opcode: acct_params_get

The total number of uint64 values allocated by this account in Global and Local States.

Native TEAL opcode: acct_params_get

The total number of byte array values allocated by this account in Global and Local States.

Native TEAL opcode: acct_params_get

The number of extra app code pages used by this account.

Native TEAL opcode: acct_params_get

The number of existing apps created by this account.

Native TEAL opcode: acct_params_get

The number of apps this account is opted into.

Native TEAL opcode: acct_params_get

The number of existing ASAs created by this account.

Native TEAL opcode: acct_params_get

The numbers of ASAs held by this account (including ASAs this account created).

Native TEAL opcode: acct_params_get

The number of existing boxes created by this account’s app.

Native TEAL opcode: acct_params_get

The total number of bytes used by this account’s app’s box keys and values.

Native TEAL opcode: acct_params_get

Min AVM version: 11

  • Returns tuple[bool, bool]: Has this account opted into block payouts

Native TEAL opcode: acct_params_get

Min AVM version: 11

  • Returns tuple[UInt64, bool]: The round number of the last block this account proposed.

Native TEAL opcode: acct_params_get

Min AVM version: 11

  • Returns tuple[UInt64, bool]: The round number of the last block this account sent a heartbeat.

Native TEAL opcode: acct_params_get

Get or modify Global app state Native TEAL ops: app_global_del, app_global_get, app_global_get_ex, app_global_put

global state of the key A in the current application params: state key. Return: value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_global_get

global state of the key A in the current application params: state key. Return: value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_global_get

X is the global state of application A, key B. Y is 1 if key existed, else 0 params: Txn.ForeignApps offset (or, since v4, an _available_ application id), state key. Return: did_exist flag (top of the stack, 1 if the application and key existed and 0 otherwise), value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_global_get_ex

X is the global state of application A, key B. Y is 1 if key existed, else 0 params: Txn.ForeignApps offset (or, since v4, an _available_ application id), state key. Return: did_exist flag (top of the stack, 1 if the application and key existed and 0 otherwise), value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_global_get_ex

delete key A from the global state of the current application params: state key.

Deleting a key which is already absent has no effect on the application global state. (In particular, it does _not_ cause the program to fail.)

Native TEAL opcode: app_global_del

write B to key A in the global state of the current application

Native TEAL opcode: app_global_put

Get or modify Local app state Native TEAL ops: app_local_del, app_local_get, app_local_get_ex, app_local_put

local state of the key B in the current application in account A params: Txn.Accounts offset (or, since v4, an _available_ account address), state key. Return: value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_local_get

local state of the key B in the current application in account A params: Txn.Accounts offset (or, since v4, an _available_ account address), state key. Return: value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_local_get

X is the local state of application B, key C in account A. Y is 1 if key existed, else 0 params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset), state key. Return: did_exist flag (top of the stack, 1 if the application and key existed and 0 otherwise), value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_local_get_ex

X is the local state of application B, key C in account A. Y is 1 if key existed, else 0 params: Txn.Accounts offset (or, since v4, an _available_ account address), _available_ application id (or, since v4, a Txn.ForeignApps offset), state key. Return: did_exist flag (top of the stack, 1 if the application and key existed and 0 otherwise), value. The value is zero (of type uint64) if the key does not exist.

Native TEAL opcode: app_local_get_ex

delete key B from account A’s local state of the current application params: Txn.Accounts offset (or, since v4, an _available_ account address), state key.

Deleting a key which is already absent has no effect on the application local state. (In particular, it does _not_ cause the program to fail.)

Native TEAL opcode: app_local_del

write C to key B in account A’s local state of the current application params: Txn.Accounts offset (or, since v4, an _available_ account address), state key, value.

Native TEAL opcode: app_local_put

X is field F from app A. Y is 1 if A exists, else 0 params: Txn.ForeignApps offset or an _available_ app id. Return: did_exist flag (1 if the application existed and 0 otherwise), value. Native TEAL op: app_params_get

Bytecode of Approval Program

Native TEAL opcode: app_params_get

Bytecode of Clear State Program

Native TEAL opcode: app_params_get

Number of uint64 values allowed in Global State

Native TEAL opcode: app_params_get

Number of byte array values allowed in Global State

Native TEAL opcode: app_params_get

Number of uint64 values allowed in Local State

Native TEAL opcode: app_params_get

Number of byte array values allowed in Local State

Native TEAL opcode: app_params_get

Number of Extra Program Pages of code space

Native TEAL opcode: app_params_get

Creator address

Native TEAL opcode: app_params_get

Address for which this application has authority

Native TEAL opcode: app_params_get

Min AVM version: 12

  • Returns tuple[UInt64, bool]: Version of the app, incremented each time the approval or clear program changes

Native TEAL opcode: app_params_get

X is field F from account A’s holding of asset B. Y is 1 if A is opted into B, else 0 params: Txn.Accounts offset (or, since v4, an _available_ address), asset id (or, since v4, a Txn.ForeignAssets offset). Return: did_exist flag (1 if the asset existed and 0 otherwise), value. Native TEAL op: asset_holding_get

Amount of the asset unit held by this account

Native TEAL opcode: asset_holding_get

Is the asset frozen or not

Native TEAL opcode: asset_holding_get

X is field F from asset A. Y is 1 if A exists, else 0 params: Txn.ForeignAssets offset (or, since v4, an _available_ asset id. Return: did_exist flag (1 if the asset existed and 0 otherwise), value. Native TEAL op: asset_params_get

Total number of units of this asset

Native TEAL opcode: asset_params_get

See AssetParams.Decimals

Native TEAL opcode: asset_params_get

Frozen by default or not

Native TEAL opcode: asset_params_get

Asset unit name

Native TEAL opcode: asset_params_get

Asset name

Native TEAL opcode: asset_params_get

URL with additional info about the asset

Native TEAL opcode: asset_params_get

Arbitrary commitment

Native TEAL opcode: asset_params_get

Manager address

Native TEAL opcode: asset_params_get

Reserve address

Native TEAL opcode: asset_params_get

Freeze address

Native TEAL opcode: asset_params_get

Clawback address

Native TEAL opcode: asset_params_get

Creator address

Native TEAL opcode: asset_params_get

field F of block A. Fail unless A falls between txn.LastValid-1002 and txn.FirstValid (exclusive) Native TEAL op: block

Native TEAL opcode: block

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Min AVM version: 11

Native TEAL opcode: block

Get or modify box state Native TEAL ops: box_create, box_del, box_extract, box_get, box_len, box_put, box_replace, box_resize, box_splice

create a box named A, of length B. Fail if the name A is empty or B exceeds 32,768. Returns 0 if A already existed, else 1 Newly created boxes are filled with 0 bytes. box_create will fail if the referenced box already exists with a different size. Otherwise, existing boxes are unchanged by box_create.

Native TEAL opcode: box_create

delete box named A if it exists. Return 1 if A existed, 0 otherwise

Native TEAL opcode: box_del

read C bytes from box A, starting at offset B. Fail if A does not exist, or the byte range is outside A’s size.

Native TEAL opcode: box_extract

X is the contents of box A if A exists, else ‘’. Y is 1 if A exists, else 0. For boxes that exceed 4,096 bytes, consider box_create, box_extract, and box_replace

Native TEAL opcode: box_get

X is the length of box A if A exists, else 0. Y is 1 if A exists, else 0.

Native TEAL opcode: box_len

replaces the contents of box A with byte-array B. Fails if A exists and len(B) != len(box A). Creates A if it does not exist For boxes that exceed 4,096 bytes, consider box_create, box_extract, and box_replace

Native TEAL opcode: box_put

write byte-array C into box A, starting at offset B. Fail if A does not exist, or the byte range is outside A’s size.

Native TEAL opcode: box_replace

change the size of box named A to be of length B, adding zero bytes to end or removing bytes from the end, as needed. Fail if the name A is empty, A is not an existing box, or B exceeds 32,768.

Native TEAL opcode: box_resize

set box A to contain its previous bytes up to index B, followed by D, followed by the original bytes of A that began at index B+C. Boxes are of constant length. If C < len(D), then len(D)-C bytes will be removed from the end. If C > len(D), zero bytes will be appended to the end to reach the box length.

Native TEAL opcode: box_splice

Elliptic Curve functions Native TEAL ops: ec_add, ec_map_to, ec_multi_scalar_mul, ec_pairing_check, ec_scalar_mul, ec_subgroup_check

for curve points A and B, return the curve point A + B A and B are curve points in affine representation: field element X concatenated with field element Y. Field element Z is encoded as follows. For the base field elements (Fp), Z is encoded as a big-endian number and must be lower than the field modulus. For the quadratic field extension (Fp2), Z is encoded as the concatenation of the individual encoding of the coefficients. For an Fp2 element of the form Z = Z0 + Z1 i, where i is a formal quadratic non-residue, the encoding of Z is the concatenation of the encoding of Z0 and Z1 in this order. (Z0 and Z1 must be less than the field modulus).

The point at infinity is encoded as (X,Y) = (0,0). Groups G1 and G2 are denoted additively.

Fails if A or B is not in G. A and/or B are allowed to be the point at infinity. Does _not_ check if A and B are in the main prime-order subgroup.

  • Parameters: g (EC) – curve index

Native TEAL opcode: ec_add

maps field element A to group G BN254 points are mapped by the SVDW map. BLS12-381 points are mapped by the SSWU map. G1 element inputs are base field elements and G2 element inputs are quadratic field elements, with nearly the same encoding rules (for field elements) as defined in ec_add. There is one difference of encoding rule: G1 element inputs do not need to be 0-padded if they fit in less than 32 bytes for BN254 and less than 48 bytes for BLS12-381. (As usual, the empty byte array represents 0.) G2 elements inputs need to be always have the required size.

  • Parameters: g (EC) – curve index

Native TEAL opcode: ec_map_to

for curve points A and scalars B, return curve point B0A0 + B1A1 + B2A2 + … + BnAn A is a list of concatenated points, encoded and checked as described in ec_add. B is a list of concatenated scalars which, unlike ec_scalar_mul, must all be exactly 32 bytes long. The name ec_multi_scalar_mul was chosen to reflect common usage, but a more consistent name would be ec_multi_scalar_mul. AVM values are limited to 4096 bytes, so ec_multi_scalar_mul is limited by the size of the points in the group being operated upon.

  • Parameters: g (EC) – curve index

Native TEAL opcode: ec_multi_scalar_mul

1 if the product of the pairing of each point in A with its respective point in B is equal to the identity element of the target group Gt, else 0 A and B are concatenated points, encoded and checked as described in ec_add. A contains points of the group G, B contains points of the associated group (G2 if G is G1, and vice versa). Fails if A and B have a different number of points, or if any point is not in its described group or outside the main prime-order subgroup - a stronger condition than other opcodes. AVM values are limited to 4096 bytes, so ec_pairing_check is limited by the size of the points in the groups being operated upon.

  • Parameters: g (EC) – curve index

Native TEAL opcode: ec_pairing_check

for curve point A and scalar B, return the curve point BA, the point A multiplied by the scalar B. A is a curve point encoded and checked as described in ec_add. Scalar B is interpreted as a big-endian unsigned integer. Fails if B exceeds 32 bytes.

  • Parameters: g (EC) – curve index

Native TEAL opcode: ec_scalar_mul

1 if A is in the main prime-order subgroup of G (including the point at infinity) else 0. Program fails if A is not in G at all.

  • Parameters: g (EC) – curve index

Native TEAL opcode: ec_subgroup_check

Get values for inner transaction in the last group submitted Native TEAL ops: gitxn, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: microalgos

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: round number

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: UNIX timestamp of block before txn.FirstValid. Fails if negative

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: round number

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Any data up to 1024 bytes

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: 32 byte lease value

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: microalgos

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: The first round that the participation key is valid.

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: The last round that the participation key is valid.

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Dilution for the 2-level participation key

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Transaction type as bytes

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns TransactionType: Transaction type as integer

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Asset: Asset ID

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: value in Asset’s units

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address. Source of assets if Sender is the Asset’s Clawback address.

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Position of this transaction within an atomic transaction group. A stand-alone transaction is implicitly element 0 in a group of 1

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: The computed ID for this transaction. 32 bytes.

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Application: ApplicationID from ApplicationCall transaction

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns OnCompleteAction: ApplicationCall transaction on completion action

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Arguments passed to the application in the ApplicationCall transaction

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of ApplicationArgs

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: Accounts listed in the ApplicationCall transaction

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of Accounts

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Approval program

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Clear state program

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte Sender’s new AuthAddr

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Asset: Asset ID in asset config transaction

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Total number of units of this asset created

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of digits to display after the decimal place when displaying the asset

Native TEAL opcode: gitxn

static GITxn.config_asset_default_frozen(t: int, /) → bool

Section titled “static GITxn.config_asset_default_frozen(t: int, /) → bool”
  • Parameters: t (int) – transaction group index
  • Returns bool: Whether the asset’s slots are frozen by default or not, 0 or 1

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Unit name of the asset

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: The asset name

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: URL

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: 32 byte commitment to unspecified asset metadata

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Asset: Asset ID being frozen or un-frozen

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Account: 32 byte address of the account whose asset slot is being frozen or un-frozen

Native TEAL opcode: gitxn

static GITxn.freeze_asset_frozen(t: int, /) → bool

Section titled “static GITxn.freeze_asset_frozen(t: int, /) → bool”
  • Parameters: t (int) – transaction group index
  • Returns bool: The new frozen value, 0 or 1

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Asset: Foreign Assets listed in the ApplicationCall transaction

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of Assets

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Application: Foreign Apps listed in the ApplicationCall transaction

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of Applications

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of global state integers in ApplicationCall

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of global state byteslices in ApplicationCall

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of local state integers in ApplicationCall

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of local state byteslices in ApplicationCall

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of additional pages for each of the application’s approval and clear state programs. An ExtraProgramPages of 1 means 2048 more total bytes, or 1024 for each program.

Native TEAL opcode: gitxn

static GITxn.nonparticipation(t: int, /) → bool

Section titled “static GITxn.nonparticipation(t: int, /) → bool”
  • Parameters: t (int) – transaction group index
  • Returns bool: Marks an account nonparticipating for rewards

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Log messages emitted by an application call (only with itxn in v5). Application mode only

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of Logs (only with itxn in v5). Application mode only

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Asset: Asset ID allocated by the creation of an ASA (only with itxn in v5). Application mode only

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Application: ApplicationID allocated by the creation of an application (only with itxn in v5). Application mode only

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: The last message emitted. Empty bytes if none were emitted. Application mode only

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: State proof public key

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: Approval Program as an array of pages

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of Approval Program pages

Native TEAL opcode: gitxn

  • Parameters: t (int) – transaction group index
  • Returns Bytes: ClearState Program as an array of pages

Native TEAL opcode: gitxna, gitxnas

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Number of ClearState Program pages

Native TEAL opcode: gitxn

Min AVM version: 12

  • Parameters: t (int) – transaction group index
  • Returns UInt64: Application version for which the txn must reject

Native TEAL opcode: gitxn

Get values for transactions in the current group Native TEAL ops: gtxns, gtxnsas

32 byte address

Native TEAL opcode: gtxn, gtxns

microalgos

Native TEAL opcode: gtxn, gtxns

round number

Native TEAL opcode: gtxn, gtxns

UNIX timestamp of block before txn.FirstValid. Fails if negative

Native TEAL opcode: gtxn, gtxns

round number

Native TEAL opcode: gtxn, gtxns

Any data up to 1024 bytes

Native TEAL opcode: gtxn, gtxns

32 byte lease value

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

microalgos

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

The first round that the participation key is valid.

Native TEAL opcode: gtxn, gtxns

The last round that the participation key is valid.

Native TEAL opcode: gtxn, gtxns

Dilution for the 2-level participation key

Native TEAL opcode: gtxn, gtxns

Transaction type as bytes

Native TEAL opcode: gtxn, gtxns

Transaction type as integer

Native TEAL opcode: gtxn, gtxns

Asset ID

Native TEAL opcode: gtxn, gtxns

value in Asset’s units

Native TEAL opcode: gtxn, gtxns

32 byte address. Source of assets if Sender is the Asset’s Clawback address.

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

Position of this transaction within an atomic transaction group. A stand-alone transaction is implicitly element 0 in a group of 1

Native TEAL opcode: gtxn, gtxns

The computed ID for this transaction. 32 bytes.

Native TEAL opcode: gtxn, gtxns

ApplicationID from ApplicationCall transaction

Native TEAL opcode: gtxn, gtxns

ApplicationCall transaction on completion action

Native TEAL opcode: gtxn, gtxns

Arguments passed to the application in the ApplicationCall transaction

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of ApplicationArgs

Native TEAL opcode: gtxn, gtxns

Accounts listed in the ApplicationCall transaction

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of Accounts

Native TEAL opcode: gtxn, gtxns

Approval program

Native TEAL opcode: gtxn, gtxns

Clear state program

Native TEAL opcode: gtxn, gtxns

32 byte Sender’s new AuthAddr

Native TEAL opcode: gtxn, gtxns

Asset ID in asset config transaction

Native TEAL opcode: gtxn, gtxns

Total number of units of this asset created

Native TEAL opcode: gtxn, gtxns

Number of digits to display after the decimal place when displaying the asset

Native TEAL opcode: gtxn, gtxns

Whether the asset’s slots are frozen by default or not, 0 or 1

Native TEAL opcode: gtxn, gtxns

Unit name of the asset

Native TEAL opcode: gtxn, gtxns

The asset name

Native TEAL opcode: gtxn, gtxns

URL

Native TEAL opcode: gtxn, gtxns

32 byte commitment to unspecified asset metadata

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

32 byte address

Native TEAL opcode: gtxn, gtxns

Asset ID being frozen or un-frozen

Native TEAL opcode: gtxn, gtxns

32 byte address of the account whose asset slot is being frozen or un-frozen

Native TEAL opcode: gtxn, gtxns

The new frozen value, 0 or 1

Native TEAL opcode: gtxn, gtxns

Foreign Assets listed in the ApplicationCall transaction

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of Assets

Native TEAL opcode: gtxn, gtxns

Foreign Apps listed in the ApplicationCall transaction

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of Applications

Native TEAL opcode: gtxn, gtxns

Number of global state integers in ApplicationCall

Native TEAL opcode: gtxn, gtxns

Number of global state byteslices in ApplicationCall

Native TEAL opcode: gtxn, gtxns

Number of local state integers in ApplicationCall

Native TEAL opcode: gtxn, gtxns

Number of local state byteslices in ApplicationCall

Native TEAL opcode: gtxn, gtxns

Number of additional pages for each of the application’s approval and clear state programs. An ExtraProgramPages of 1 means 2048 more total bytes, or 1024 for each program.

Native TEAL opcode: gtxn, gtxns

Marks an account nonparticipating for rewards

Native TEAL opcode: gtxn, gtxns

Log messages emitted by an application call (only with itxn in v5). Application mode only

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of Logs (only with itxn in v5). Application mode only

Native TEAL opcode: gtxn, gtxns

Asset ID allocated by the creation of an ASA (only with itxn in v5). Application mode only

Native TEAL opcode: gtxn, gtxns

ApplicationID allocated by the creation of an application (only with itxn in v5). Application mode only

Native TEAL opcode: gtxn, gtxns

The last message emitted. Empty bytes if none were emitted. Application mode only

Native TEAL opcode: gtxn, gtxns

State proof public key

Native TEAL opcode: gtxn, gtxns

Approval Program as an array of pages

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of Approval Program pages

Native TEAL opcode: gtxn, gtxns

ClearState Program as an array of pages

Native TEAL opcode: gtxna, gtxnas, gtxnsa, gtxnsas

Number of ClearState Program pages

Native TEAL opcode: gtxn, gtxns

Min AVM version: 12

  • Returns UInt64: Application version for which the txn must reject

Native TEAL opcode: gtxn, gtxns

Get Global values Native TEAL op: global

microalgos

microalgos

rounds

32 byte address of all zero bytes

Number of transactions in this atomic transaction group. At least 1

Maximum supported version

Current round number. Application mode only.

Last confirmed block UNIX timestamp. Fails if negative. Application mode only.

ID of current application executing. Application mode only.

Address of the creator of the current application. Application mode only.

Address that the current application controls. Application mode only.

ID of the transaction group. 32 zero bytes if the transaction is not part of a group.

The remaining cost that can be spent by opcodes in this program.

Native TEAL opcode: global

The application ID of the application that called this application. 0 if this application is at the top-level. Application mode only.

The application address of the application that called this application. ZeroAddress if this application is at the top-level. Application mode only.

The additional minimum balance required to create (and opt-in to) an asset.

The additional minimum balance required to opt-in to an asset.

The Genesis Hash for the network.

Whether block proposal payouts are enabled. Min AVM version: 11

The fee required in a keyreg transaction to make an account incentive eligible. Min AVM version: 11

The percentage of transaction fees in a block that can be paid to the block proposer. Min AVM version: 11

The minimum balance an account must have in the agreement round to receive block payouts in the proposal round. Min AVM version: 11

The maximum balance an account can have in the agreement round to receive block payouts in the proposal round. Min AVM version: 11

Get values for the last inner transaction Native TEAL ops: itxn, itxnas

32 byte address

Native TEAL opcode: itxn

microalgos

Native TEAL opcode: itxn

round number

Native TEAL opcode: itxn

UNIX timestamp of block before txn.FirstValid. Fails if negative

Native TEAL opcode: itxn

round number

Native TEAL opcode: itxn

Any data up to 1024 bytes

Native TEAL opcode: itxn

32 byte lease value

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

microalgos

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

The first round that the participation key is valid.

Native TEAL opcode: itxn

The last round that the participation key is valid.

Native TEAL opcode: itxn

Dilution for the 2-level participation key

Native TEAL opcode: itxn

Transaction type as bytes

Native TEAL opcode: itxn

Transaction type as integer

Native TEAL opcode: itxn

Asset ID

Native TEAL opcode: itxn

value in Asset’s units

Native TEAL opcode: itxn

32 byte address. Source of assets if Sender is the Asset’s Clawback address.

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

Position of this transaction within an atomic transaction group. A stand-alone transaction is implicitly element 0 in a group of 1

Native TEAL opcode: itxn

The computed ID for this transaction. 32 bytes.

Native TEAL opcode: itxn

ApplicationID from ApplicationCall transaction

Native TEAL opcode: itxn

ApplicationCall transaction on completion action

Native TEAL opcode: itxn

Arguments passed to the application in the ApplicationCall transaction

Native TEAL opcode: itxna, itxnas

Number of ApplicationArgs

Native TEAL opcode: itxn

Accounts listed in the ApplicationCall transaction

Native TEAL opcode: itxna, itxnas

Number of Accounts

Native TEAL opcode: itxn

Approval program

Native TEAL opcode: itxn

Clear state program

Native TEAL opcode: itxn

32 byte Sender’s new AuthAddr

Native TEAL opcode: itxn

Asset ID in asset config transaction

Native TEAL opcode: itxn

Total number of units of this asset created

Native TEAL opcode: itxn

Number of digits to display after the decimal place when displaying the asset

Native TEAL opcode: itxn

static ITxn.config_asset_default_frozen() → bool

Section titled “static ITxn.config_asset_default_frozen() → bool”

Whether the asset’s slots are frozen by default or not, 0 or 1

Native TEAL opcode: itxn

Unit name of the asset

Native TEAL opcode: itxn

The asset name

Native TEAL opcode: itxn

URL

Native TEAL opcode: itxn

32 byte commitment to unspecified asset metadata

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

32 byte address

Native TEAL opcode: itxn

Asset ID being frozen or un-frozen

Native TEAL opcode: itxn

32 byte address of the account whose asset slot is being frozen or un-frozen

Native TEAL opcode: itxn

static ITxn.freeze_asset_frozen() → bool

Section titled “static ITxn.freeze_asset_frozen() → bool”

The new frozen value, 0 or 1

Native TEAL opcode: itxn

Foreign Assets listed in the ApplicationCall transaction

Native TEAL opcode: itxna, itxnas

Number of Assets

Native TEAL opcode: itxn

Foreign Apps listed in the ApplicationCall transaction

Native TEAL opcode: itxna, itxnas

Number of Applications

Native TEAL opcode: itxn

Number of global state integers in ApplicationCall

Native TEAL opcode: itxn

Number of global state byteslices in ApplicationCall

Native TEAL opcode: itxn

Number of local state integers in ApplicationCall

Native TEAL opcode: itxn

Number of local state byteslices in ApplicationCall

Native TEAL opcode: itxn

Number of additional pages for each of the application’s approval and clear state programs. An ExtraProgramPages of 1 means 2048 more total bytes, or 1024 for each program.

Native TEAL opcode: itxn

Marks an account nonparticipating for rewards

Native TEAL opcode: itxn

Log messages emitted by an application call (only with itxn in v5). Application mode only

Native TEAL opcode: itxna, itxnas

Number of Logs (only with itxn in v5). Application mode only

Native TEAL opcode: itxn

Asset ID allocated by the creation of an ASA (only with itxn in v5). Application mode only

Native TEAL opcode: itxn

ApplicationID allocated by the creation of an application (only with itxn in v5). Application mode only

Native TEAL opcode: itxn

The last message emitted. Empty bytes if none were emitted. Application mode only

Native TEAL opcode: itxn

State proof public key

Native TEAL opcode: itxn

Approval Program as an array of pages

Native TEAL opcode: itxna, itxnas

Number of Approval Program pages

Native TEAL opcode: itxn

ClearState Program as an array of pages

Native TEAL opcode: itxna, itxnas

Number of ClearState Program pages

Native TEAL opcode: itxn

Min AVM version: 12

  • Returns UInt64: Application version for which the txn must reject

Native TEAL opcode: itxn

Create inner transactions Native TEAL ops: itxn_begin, itxn_field, itxn_next, itxn_submit

begin preparation of a new inner transaction in a new transaction group itxn_begin initializes Sender to the application address; Fee to the minimum allowable, taking into account MinTxnFee and credit from overpaying in earlier transactions; FirstValid/LastValid to the values in the invoking transaction, and all other fields to zero or empty values.

Native TEAL opcode: itxn_begin

begin preparation of a new inner transaction in the same transaction group itxn_next initializes the transaction exactly as itxn_begin does

Native TEAL opcode: itxn_next

execute the current inner transaction group. Fail if executing this group would exceed the inner transaction limit, or if any transaction in the group fails. itxn_submit resets the current transaction so that it can not be resubmitted. A new itxn_begin is required to prepare another inner transaction.

Native TEAL opcode: itxn_submit

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – microalgos

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Any data up to 1024 bytes

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – microalgos

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – The first round that the participation key is valid.

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – The last round that the participation key is valid.

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Dilution for the 2-level participation key

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Transaction type as bytes

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Transaction type as integer

Native TEAL opcode: itxn_field

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – value in Asset’s units

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address. Source of assets if Sender is the Asset’s Clawback address.

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (Application | UInt64 | int) – ApplicationID from ApplicationCall transaction

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – ApplicationCall transaction on completion action

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Arguments passed to the application in the ApplicationCall transaction

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – Accounts listed in the ApplicationCall transaction

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Approval program

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Clear state program

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte Sender’s new AuthAddr

Native TEAL opcode: itxn_field

  • Parameters: a (Asset | UInt64 | int) – Asset ID in asset config transaction

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Total number of units of this asset created

Native TEAL opcode: itxn_field

static ITxnCreate.set_config_asset_decimals(a: UInt64 | int, /) → None

Section titled “static ITxnCreate.set_config_asset_decimals(a: UInt64 | int, /) → None”
  • Parameters: a (UInt64 | int) – Number of digits to display after the decimal place when displaying the asset

Native TEAL opcode: itxn_field

static ITxnCreate.set_config_asset_default_frozen(a: bool, /) → None

Section titled “static ITxnCreate.set_config_asset_default_frozen(a: bool, /) → None”
  • Parameters: a (bool) – Whether the asset’s slots are frozen by default or not, 0 or 1

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Unit name of the asset

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – The asset name

Native TEAL opcode: itxn_field

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – 32 byte commitment to unspecified asset metadata

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address

Native TEAL opcode: itxn_field

  • Parameters: a (Asset | UInt64 | int) – Asset ID being frozen or un-frozen

Native TEAL opcode: itxn_field

  • Parameters: a (Account) – 32 byte address of the account whose asset slot is being frozen or un-frozen

Native TEAL opcode: itxn_field

static ITxnCreate.set_freeze_asset_frozen(a: bool, /) → None

Section titled “static ITxnCreate.set_freeze_asset_frozen(a: bool, /) → None”
  • Parameters: a (bool) – The new frozen value, 0 or 1

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Foreign Assets listed in the ApplicationCall transaction

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Foreign Apps listed in the ApplicationCall transaction

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Number of global state integers in ApplicationCall

Native TEAL opcode: itxn_field

static ITxnCreate.set_global_num_byte_slice(a: UInt64 | int, /) → None

Section titled “static ITxnCreate.set_global_num_byte_slice(a: UInt64 | int, /) → None”
  • Parameters: a (UInt64 | int) – Number of global state byteslices in ApplicationCall

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Number of local state integers in ApplicationCall

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Number of local state byteslices in ApplicationCall

Native TEAL opcode: itxn_field

  • Parameters: a (UInt64 | int) – Number of additional pages for each of the application’s approval and clear state programs. An ExtraProgramPages of 1 means 2048 more total bytes, or 1024 for each program.

Native TEAL opcode: itxn_field

static ITxnCreate.set_nonparticipation(a: bool, /) → None

Section titled “static ITxnCreate.set_nonparticipation(a: bool, /) → None”
  • Parameters: a (bool) – Marks an account nonparticipating for rewards

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – State proof public key

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – Approval Program as an array of pages

Native TEAL opcode: itxn_field

  • Parameters: a (BytesBacked | bytes) – ClearState Program as an array of pages

Native TEAL opcode: itxn_field

Min AVM version: 12

  • Parameters: a (UInt64 | int) – Application version for which the txn must reject

Native TEAL opcode: itxn_field

key B’s value, of type R, from a valid utf-8 encoded json object A Warning: Usage should be restricted to very rare use cases, as JSON decoding is expensive and quite limited. In addition, JSON objects are large and not optimized for size. Almost all smart contracts should use simpler and smaller methods (such as the ABI. This opcode should only be used in cases where JSON is only available option, e.g. when a third-party only signs JSON. Native TEAL op: json_ref

Native TEAL opcode: json_ref

Native TEAL opcode: json_ref

Native TEAL opcode: json_ref

Load or store scratch values Native TEAL ops: loads, stores

Ath scratch space value. All scratch spaces are 0 at program start.

Native TEAL opcode: loads

Ath scratch space value. All scratch spaces are 0 at program start.

Native TEAL opcode: loads

store B to the Ath scratch space

Native TEAL opcode: stores

Get values for the current executing transaction Native TEAL ops: txn, txnas

32 byte address

microalgos

round number

UNIX timestamp of block before txn.FirstValid. Fails if negative

round number

Any data up to 1024 bytes

32 byte lease value

32 byte address

microalgos

32 byte address

32 byte address

32 byte address

The first round that the participation key is valid.

The last round that the participation key is valid.

Dilution for the 2-level participation key

Transaction type as bytes

Transaction type as integer

Asset ID

value in Asset’s units

32 byte address. Source of assets if Sender is the Asset’s Clawback address.

32 byte address

32 byte address

Position of this transaction within an atomic transaction group. A stand-alone transaction is implicitly element 0 in a group of 1

The computed ID for this transaction. 32 bytes.

ApplicationID from ApplicationCall transaction

ApplicationCall transaction on completion action

Arguments passed to the application in the ApplicationCall transaction

Native TEAL opcode: txna, txnas

Number of ApplicationArgs

Accounts listed in the ApplicationCall transaction

Native TEAL opcode: txna, txnas

Number of Accounts

Approval program

Clear state program

32 byte Sender’s new AuthAddr

Asset ID in asset config transaction

Total number of units of this asset created

Number of digits to display after the decimal place when displaying the asset

Txn.config_asset_default_frozen : Final[bool]

Section titled “Txn.config_asset_default_frozen : Final[bool]”

Whether the asset’s slots are frozen by default or not, 0 or 1

Unit name of the asset

The asset name

URL

32 byte commitment to unspecified asset metadata

32 byte address

32 byte address

32 byte address

32 byte address

Asset ID being frozen or un-frozen

32 byte address of the account whose asset slot is being frozen or un-frozen

The new frozen value, 0 or 1

Foreign Assets listed in the ApplicationCall transaction

Native TEAL opcode: txna, txnas

Number of Assets

Foreign Apps listed in the ApplicationCall transaction

Native TEAL opcode: txna, txnas

Number of Applications

Number of global state integers in ApplicationCall

Number of global state byteslices in ApplicationCall

Number of local state integers in ApplicationCall

Number of local state byteslices in ApplicationCall

Number of additional pages for each of the application’s approval and clear state programs. An ExtraProgramPages of 1 means 2048 more total bytes, or 1024 for each program.

Marks an account nonparticipating for rewards

Log messages emitted by an application call (only with itxn in v5). Application mode only

Native TEAL opcode: txna, txnas

Number of Logs (only with itxn in v5). Application mode only

Asset ID allocated by the creation of an ASA (only with itxn in v5). Application mode only

ApplicationID allocated by the creation of an application (only with itxn in v5). Application mode only

The last message emitted. Empty bytes if none were emitted. Application mode only

State proof public key

Approval Program as an array of pages

Native TEAL opcode: txna, txnas

Number of Approval Program pages

ClearState Program as an array of pages

Native TEAL opcode: txna, txnas

Number of ClearState Program pages

Application version for which the txn must reject Min AVM version: 12

X is field F from online account A as of the balance round: 320 rounds before the current round. Y is 1 if A had positive algos online in the agreement round, else Y is 0 and X is a type specific zero-value Native TEAL op: voter_params_get

Min AVM version: 11

  • Returns tuple[UInt64, bool]: Online stake in microalgos

Native TEAL opcode: voter_params_get

Min AVM version: 11

  • Returns tuple[bool, bool]: Had this account opted into block payouts

Native TEAL opcode: voter_params_get