Module arrabbiata::witness

source ·

Structs

  • Env
    An environment is used to contain the state of a long “running program”.

Constants

  • VERIFIER_STARTING_INSTRUCTION
    The first instruction in the verifier circuit (often shortened in “IVC” in the crate) is the Poseidon permutation. It is used to start hashing the public input.