Module wrapper 

Spartan wrapper prover for ZK-wrapped IOP proving.

This crate provides ZKWrappedProverChannel, the prover-side counterpart to ZKWrappedVerifierChannel. It wraps a BaseFoldProverChannel and records all channel operations. After the inner proof is run through the channel, finish replays the interaction through a ReplayChannel to fill the outer witness, then runs the outer IOP prover.

Re-exports

pub use replay_channel::ReplayChannel;

Modules

replay_channel

ReplayChannel: an IPVerifierChannel that replays recorded interaction values through a WitnessGenerator, filling both inout and private wires in the outer witness.

Structs

ZKWrappedProverChannel

A prover channel that wraps a BaseFoldProverChannel and an outer Spartan IOP prover.