Module o1vm::pickles::lookup_env

source ·

Structs

  • LookupEnvironment
    This is what the prover needs to remember while doing individual proofs, in order to prove the lookup protocol we do in the end