Module verifier

openvm_continuations::circuit::deferral::inner

Module verifier 

Source

Structs§

DeferralVerifierPvsAir
DeferralVerifierPvsCols
DeferralVerifierPvsTraceCtx

Enums§

DeferralChildLevel

Functions§

generate_proving_ctx