Expand description
ZK-wrapped verifier channel that delegates to a BaseFold ZK channel and an outer IOP verifier.
ZKWrappedVerifierChannel wraps a BaseFoldVerifierChannel and an IOPVerifier.
Inner-channel values flow through the wrapper as CircuitElems backed by an
InstanceGenerator, which reconstructs the outer constraint system’s public-input vector
[constants | inout | derived] exactly as the prover’s witness generator does — public-derived
intermediate values are recomputed natively rather than tracked by the wrapper. finish()
hands that public vector to the outer verifier and runs it against the inner channel.
Structs§
- ZKWrapped
Verifier Channel - A verifier channel that wraps a
BaseFoldVerifierChanneland anIOPVerifier.