binius_spartan_prover/wrapper/mod.rs
1// Copyright 2026 The Binius Developers
2
3//! Spartan wrapper prover for ZK-wrapped IOP proving.
4//!
5//! This crate provides [`ZKWrappedProverChannel`], the prover-side counterpart to
6//! [`ZKWrappedVerifierChannel`]. It wraps a [`BaseFoldProverChannel`] and records all channel
7//! operations. After the inner proof is run through the channel, [`finish`] replays the
8//! interaction through a [`ReplayChannel`] to fill the outer witness, then runs the outer IOP
9//! prover.
10//!
11//! [`ZKWrappedVerifierChannel`]: binius_spartan_verifier::wrapper::ZKWrappedVerifierChannel
12//! [`BaseFoldProverChannel`]: binius_iop_prover::basefold::channel::BaseFoldProverChannel
13//! [`finish`]: ZKWrappedProverChannel::finish
14
15pub mod replay_channel;
16mod zk_wrapped_prover_channel;
17
18pub use replay_channel::ReplayChannel;
19pub use zk_wrapped_prover_channel::ZKWrappedProverChannel;