Module arrabbiata::witness

source ·

Structs

  • Env
    An environment that can be shared between IVC instances.

Constants

  • IVC_STARTING_INSTRUCTION
    The first instruction in the IVC is the Poseidon permutation. It is used to start hashing the public input.