Module verifier

openvm_continuations::circuit::deferral::hook

Module verifier 

Source

Structs§

DeferralHookPvsAir
DeferralHookPvsCols
DeferralHookVerifierTraceCtx

Functions§

def_circuit_commit_from_verifier_pvs
generate_proving_ctx