Constants§
- KZG_
BLS_ 🔒MODULUS - KZG_
COMMITMENT_ 🔒OFFSET - KZG_
INVALID_ 🔒PROOF - KZG_
ONE_ 🔒COMMITMENT - KZG_
POINT_ 🔒EVALUATION_ INPUT_ LEN - KZG_
PROOF_ 🔒OFFSET - KZG_
RESIDUAL_ 🔒REASON - KZG_
SUCCESS_ 🔒INPUT - KZG_
VERSIONED_ 🔒HASH_ OFFSET - KZG_
Y_ 🔒OFFSET - KZG_
ZERO_ 🔒COMMITMENT - KZG_
Z_ 🔒OFFSET
Functions§
- byte_
eq_ 🔒condition - byte_
ne_ 🔒condition - bytes_
eq_ 🔒condition - bytes_
ne_ 🔒condition - constrained_
byte 🔒 - constrained_
bytes_ 🔒at - ensure_
expr_ 🔒not_ gasleft - expr_
eq_ 🔒condition - expr_
ne_ 🔒condition - kzg_
constrained_ 🔒outcome - kzg_
failure_ 🔒witness_ condition - kzg_
success_ 🔒return_ data - kzg_
success_ 🔒witness_ condition - kzg_
versioned_ 🔒hash_ mismatch_ condition