Module lookup_env

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