Structs§
Constants§
- ADD_
NO_ UINT384_ CHECK - ADD_
SEGMENT - ASSERT_
250_ BITS - ASSERT_
LE_ FELT - ASSERT_
LE_ FELT_ EXCLUDED_ 0 - ASSERT_
LE_ FELT_ EXCLUDED_ 1 - ASSERT_
LE_ FELT_ EXCLUDED_ 2 - ASSERT_
LE_ FELT_ V_ 0_ 6 - ASSERT_
LE_ FELT_ V_ 0_ 8 - ASSERT_
LT_ FELT - ASSERT_
NN - ASSERT_
NOT_ EQUAL - ASSERT_
NOT_ ZERO - A_
B_ BITAND_ 1 - BIGINT_
PACK_ DIV_ MOD - BIGINT_
SAFE_ DIV - BIGINT_
TO_ UINT256 - BLAK
E2S_ ADD_ UINT256 - BLAK
E2S_ ADD_ UINT256_ BIGEND - BLAK
E2S_ COMPUTE - BLAK
E2S_ FINALIZE - BLAK
E2S_ FINALIZE_ V2 - BLAK
E2S_ FINALIZE_ V3 - BLOCK_
PERMUTATION - BLOCK_
PERMUTATION_ WHITELIST_ V1 - BLOCK_
PERMUTATION_ WHITELIST_ V2 - CAIRO_
KECCAK_ FINALIZE_ V1 - CAIRO_
KECCAK_ FINALIZE_ V2 - CAIRO_
KECCAK_ INPUT_ IS_ FULL_ WORD - CHAINED_
EC_ OP_ RANDOM_ EC_ POINT - COMPARE_
BYTES_ IN_ WORD_ NONDET - COMPARE_
KECCAK_ FULL_ RATE_ IN_ BYTES_ NONDET - COMPUTE_
SLOPE_ SECP256 R1_ V1 - COMPUTE_
SLOPE_ SECP256 R1_ V2 - COMPUTE_
SLOPE_ V1 - COMPUTE_
SLOPE_ V2 - COMPUTE_
SLOPE_ WHITELIST - DEFAULT_
DICT_ NEW - DICT_
NEW - DICT_
READ - DICT_
SQUASH_ COPY_ DICT - DICT_
SQUASH_ UPDATE_ PTR - DICT_
UPDATE - DICT_
WRITE - DIV_
MOD_ N_ PACKED_ DIVMOD_ EXTERNAL_ N - DIV_
MOD_ N_ PACKED_ DIVMOD_ V1 - DIV_
MOD_ N_ SAFE_ DIV - DIV_
MOD_ N_ SAFE_ DIV_ PLUS_ ONE - DI_BIT
- EC_
DOUBLE_ ASSIGN_ NEW_ X_ V1 - EC_
DOUBLE_ ASSIGN_ NEW_ X_ V2 - EC_
DOUBLE_ ASSIGN_ NEW_ X_ V3 - EC_
DOUBLE_ ASSIGN_ NEW_ X_ V4 - EC_
DOUBLE_ ASSIGN_ NEW_ Y - EC_
DOUBLE_ SLOPE_ EXTERNAL_ CONSTS - EC_
DOUBLE_ SLOPE_ V1 - EC_
DOUBLE_ SLOPE_ V2 - EC_
DOUBLE_ SLOPE_ V3 - EC_
DOUBLE_ SLOPE_ V4 - EC_
MUL_ INNER - EC_
NEGATE - EC_
NEGATE_ EMBEDDED_ SECP - EC_
RECOVER_ DIV_ MOD_ N_ PACKED - EC_
RECOVER_ PRODUCT_ DIV_ M - EC_
RECOVER_ PRODUCT_ MOD - EC_
RECOVER_ SUB_ A_ B - EXAMPLE_
BLAK E2S_ COMPRESS - EXCESS_
BALANCE - FAST_
EC_ ADD_ ASSIGN_ NEW_ X - FAST_
EC_ ADD_ ASSIGN_ NEW_ X_ V2 - FAST_
EC_ ADD_ ASSIGN_ NEW_ X_ V3 - FAST_
EC_ ADD_ ASSIGN_ NEW_ Y - FIND_
ELEMENT - GET_
FELT_ BIT_ LENGTH - GET_
POINT_ FROM_ X - HI_
MAX_ BITLEN - IMPORT_
SECP256 R1_ ALPHA - IMPORT_
SECP256 R1_ N - IMPORT_
SECP256 R1_ P - INV_
MOD_ P_ UINT256 - INV_
MOD_ P_ UINT512 - IS_
250_ BITS - IS_
ADDR_ BOUNDED - IS_
LE_ FELT - IS_NN
- IS_
NN_ OUT_ OF_ RANGE - IS_
POSITIVE - IS_
QUAD_ RESIDUE - IS_
ZERO_ ASSIGN_ SCOPE_ VARS - IS_
ZERO_ ASSIGN_ SCOPE_ VARS_ ED25519 - IS_
ZERO_ ASSIGN_ SCOPE_ VARS_ EXTERNAL_ SECP - IS_
ZERO_ INT - IS_
ZERO_ NONDET - IS_
ZERO_ PACK_ ED25519 - IS_
ZERO_ PACK_ EXTERNAL_ SECP_ V1 - IS_
ZERO_ PACK_ EXTERNAL_ SECP_ V2 - IS_
ZERO_ PACK_ V1 - IS_
ZERO_ PACK_ V2 - KECCAK_
WRITE_ ARGS - MEMCPY_
CONTINUE_ COPYING - MEMCPY_
ENTER_ SCOPE - MEMSET_
CONTINUE_ LOOP - MEMSET_
ENTER_ SCOPE - NONDET_
BIGIN T3_ V1 - NONDET_
BIGIN T3_ V2 - NONDET_
ELEMENTS_ OVER_ TEN - NONDET_
ELEMENTS_ OVER_ TWO - NONDET_
N_ GREATER_ THAN_ 2 - NONDET_
N_ GREATER_ THAN_ 10 - PACK_
MODN_ DIV_ MODN - POW
- QUAD_
BIT - RANDOM_
EC_ POINT - RECOVER_
Y - REDUCE_
ED25519 - REDUCE_
V1 - REDUCE_
V2 - RELOCATE_
SEGMENT - RUN_
P_ CIRCUIT - RUN_
P_ CIRCUIT_ WITH_ LARGE_ BATCH_ SIZE - SEARCH_
SORTED_ LOWER - SET_ADD
- SHA256_
FINALIZE - SHA256_
INPUT - SHA256_
MAIN_ ARBITRARY_ INPUT_ LENGTH - SHA256_
MAIN_ CONSTANT_ INPUT_ LENGTH - SIGNED_
DIV_ REM - SPLIT_
64 - SPLIT_
FELT - SPLIT_
INPUT_ 3 - SPLIT_
INPUT_ 6 - SPLIT_
INPUT_ 9 - SPLIT_
INPUT_ 12 - SPLIT_
INPUT_ 15 - SPLIT_
INT - SPLIT_
INT_ ASSERT_ RANGE - SPLIT_
N_ BYTES - SPLIT_
OUTPUT_ 0 - SPLIT_
OUTPUT_ 1 - SPLIT_
OUTPUT_ MID_ LOW_ HIGH - SPLIT_
XX - SQRT
- SQUARE_
SLOPE_ X_ MOD_ P - SQUASH_
DICT - SQUASH_
DICT_ INNER_ ASSERT_ LEN_ KEYS - SQUASH_
DICT_ INNER_ CHECK_ ACCESS_ INDEX - SQUASH_
DICT_ INNER_ CONTINUE_ LOOP - SQUASH_
DICT_ INNER_ FIRST_ ITERATION - SQUASH_
DICT_ INNER_ LEN_ ASSERT - SQUASH_
DICT_ INNER_ NEXT_ KEY - SQUASH_
DICT_ INNER_ SKIP_ LOOP - SQUASH_
DICT_ INNER_ USED_ ACCESSES_ ASSERT - SUB_
REDUCED_ A_ AND_ REDUCED_ B - TEMPORARY_
ARRAY - UINT128_
ADD - UINT256_
ADD - UINT256_
ADD_ LOW - UINT256_
EXPANDED_ UNSIGNED_ DIV_ REM - UINT256_
GET_ SQUARE_ ROOT - UINT256_
MUL_ DIV_ MOD - UINT256_
MUL_ INV_ MOD_ P - UINT256_
SIGNED_ NN - UINT256_
SQRT - UINT256_
SQRT_ FELT - UINT256_
SUB - UINT256_
UNSIGNED_ DIV_ REM - UINT384_
DIV - UINT384_
GET_ SQUARE_ ROOT - UINT384_
SIGNED_ NN - UINT384_
SPLIT_ 128 - UINT384_
SQRT - UINT384_
UNSIGNED_ DIV_ REM - UINT512_
UNSIGNED_ DIV_ REM - UNSAFE_
KECCAK - UNSAFE_
KECCAK_ FINALIZE - UNSIGNED_
DIV_ REM - UNSIGNED_
DIV_ REM_ UINT768_ BY_ UINT384 - UNSIGNED_
DIV_ REM_ UINT768_ BY_ UINT384_ STRIPPED - USORT_
BODY - USORT_
ENTER_ SCOPE - USORT_
VERIFY - USORT_
VERIFY_ MULTIPLICITY_ ASSERT - USORT_
VERIFY_ MULTIPLICITY_ BODY - VERIFY_
ECDSA_ SIGNATURE - VERIFY_
ZERO_ EXTERNAL_ SECP - VERIFY_
ZERO_ V1 - VERIFY_
ZERO_ V2 - VERIFY_
ZERO_ V3 - VM_
ENTER_ SCOPE - VM_
EXIT_ SCOPE - XS_
SAFE_ DIV