Module deferral 

Modules

dummy

hook

inner

utils

Structs

DeferralAggregationPvs

DeferralCircuitPvs

DeferralMerkleProofs

Deferral Merkle proofs connecting initial_acc_hash and final_acc_hash to the initial and final memory roots. Both proofs have length overall_height(). When depth > 0, the first depth entries are zeros (skipped levels covered by the deferral subtree). The final aggregated deferral public values must have node_idx == 0; this proof starts from that canonical subtree location.

Constants

DEF_AGG_PVS_AIR_ID

DEF_AGG_VERIFIER_AIR_ID

DEF_CIRCUIT_PVS_AIR_ID

DEF_HOOK_PVS_AIR_ID

DEF_INTERNAL_TAG

DEF_LEAF_TAG