Struct ZincPlusPiop 

pub struct ZincPlusPiop<Zt, U, F, const DEGREE_PLUS_ONE: usize>(/* private fields */)
where
    Zt: ZincTypes<DEGREE_PLUS_ONE>,
    U: Uair,
    F: PrimeField;

Main struct for the Zinc+ PIOP. The protocol is implemented as associated functions on it.

(Note that type parameters are further constrained in the impl blocks for the prover and verifier)

Implementations

impl<Zt, U, F, const D: usize> ZincPlusPiop<Zt, U, F, D>

where Zt: ZincTypes<D>, U: Uair, F: PrimeField, F::Inner: ConstTranscribable,

pub fn step0_commit<'a>( (pp_bin, pp_arb, pp_int): &'a (ZipPlusParams<Zt::BinaryZt, Zt::BinaryLc>, ZipPlusParams<Zt::ArbitraryZt, Zt::ArbitraryLc>, ZipPlusParams<Zt::IntZt, Zt::IntLc>), trace: &'a UairTrace<'static, Zt::Int, Zt::Int, D>, num_vars: usize, ) -> Result<ProverBase<'a, Zt, U, F, D>, ProtocolError<F, U::Ideal>>

Step 0: Prover entry point. Commit witness columns via Zip+ PCS, absorb roots and public data into the Fiat-Shamir transcript.

impl<Zt, U, F, const D: usize> ZincPlusPiop<Zt, U, F, D>

where Zt: ZincTypes<D>, Zt::Int: ProjectableToField<F>, <Zt::ArbitraryZt as ZipTypes>::Eval: ProjectableToField<F>, F: InnerTransparentField + FromPrimitiveWithConfig + for<'a> FromWithConfig<&'a Zt::Int> + for<'a> FromWithConfig<&'a Zt::CombR> + for<'a> FromWithConfig<&'a Zt::Chal> + for<'a> FromWithConfig<&'a Zt::Pt> + for<'a> MulByScalar<&'a F> + FromRef<F> + Send + Sync + 'static, F::Inner: ConstIntSemiring + ConstTranscribable + FromRef<Zt::Fmod> + Send + Sync + Zero + Default, F::Modulus: ConstTranscribable + FromRef<Zt::Fmod>, U: Uair + 'static,

pub fn prove<const MLE_FIRST: bool, const CHECK_FOR_OVERFLOW: bool>( pp: &(ZipPlusParams<Zt::BinaryZt, Zt::BinaryLc>, ZipPlusParams<Zt::ArbitraryZt, Zt::ArbitraryLc>, ZipPlusParams<Zt::IntZt, Zt::IntLc>), trace: &UairTrace<'static, Zt::Int, Zt::Int, D>, num_vars: usize, project_scalar: impl Fn(&U::Scalar, &F::Config) -> DynamicPolynomialF<F>, ) -> Result<Proof<F>, ProtocolError<F, U::Ideal>>

Zinc+ full PIOP prover.

Runs all protocol steps in sequence and returns the assembled proof. For per-step control, start with Self::step0_commit and chain the individual stepN_* methods.

impl<Zt, U, F, const D: usize> ZincPlusPiop<Zt, U, F, D>

where Zt: ZincTypes<D>, U: Uair, F: PrimeField, F::Inner: ConstTranscribable,

pub fn step0_reconstruct_transcript<'a, IdealOverF>( (vp_bin, vp_arb, vp_int): &'a (ZipPlusParams<Zt::BinaryZt, Zt::BinaryLc>, ZipPlusParams<Zt::ArbitraryZt, Zt::ArbitraryLc>, ZipPlusParams<Zt::IntZt, Zt::IntLc>), proof: Proof<F>, public_trace: &'a UairTrace<'a, Zt::Int, Zt::Int, D>, num_vars: usize, ) -> Result<VerifierTranscriptReconstructed<'a, Zt, U, F, IdealOverF, D>, ProtocolError<F, IdealOverF>>

where IdealOverF: Ideal,

Step 0: Verifier entry point. Reconstruct Fiat-Shamir transcript from commitments and public data.

impl<Zt, U, F, const D: usize> ZincPlusPiop<Zt, U, F, D>

where Zt: ZincTypes<D>, Zt::Int: ProjectableToField<F>, <Zt::BinaryZt as ZipTypes>::Cw: ProjectableToField<F>, <Zt::ArbitraryZt as ZipTypes>::Eval: ProjectableToField<F>, <Zt::ArbitraryZt as ZipTypes>::Cw: ProjectableToField<F>, <Zt::IntZt as ZipTypes>::Cw: ProjectableToField<F>, F: InnerTransparentField + FromPrimitiveWithConfig + for<'a> FromWithConfig<&'a Zt::Int> + for<'a> FromWithConfig<&'a Zt::CombR> + for<'a> FromWithConfig<&'a Zt::Chal> + for<'a> MulByScalar<&'a F> + FromRef<F> + Send + Sync + 'static, F::Inner: ConstIntSemiring + ConstTranscribable + Send + Sync + Zero + Default, F::Modulus: ConstTranscribable + FromRef<Zt::Fmod>, U: Uair + 'static,

pub fn verify<IdealOverF, const CHECK_FOR_OVERFLOW: bool>( vp: &(ZipPlusParams<Zt::BinaryZt, Zt::BinaryLc>, ZipPlusParams<Zt::ArbitraryZt, Zt::ArbitraryLc>, ZipPlusParams<Zt::IntZt, Zt::IntLc>), proof: Proof<F>, public_trace: &UairTrace<'_, Zt::Int, Zt::Int, D>, num_vars: usize, project_scalar: impl Fn(&U::Scalar, &F::Config) -> DynamicPolynomialF<F>, project_ideal: impl Fn(&IdealOrZero<U::Ideal>, &F::Config) -> IdealOverF, ) -> Result<(), ProtocolError<F, IdealOverF>>

where IdealOverF: Ideal + IdealCheck<DynamicPolynomialF<F>>,

Zinc+ full PIOP verifier.

Runs all verification steps in sequence and returns Ok(()) on success. For per-step control, starts with Self::step0_reconstruct_transcript and chain the individual stepN_* methods.

Trait Implementations

impl<Zt, U, F, const DEGREE_PLUS_ONE: usize> Clone for ZincPlusPiop<Zt, U, F, DEGREE_PLUS_ONE>

where Zt: ZincTypes<DEGREE_PLUS_ONE> + Clone, U: Uair + Clone, F: PrimeField + Clone,

fn clone(&self) -> ZincPlusPiop<Zt, U, F, DEGREE_PLUS_ONE>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Zt, U, F, const DEGREE_PLUS_ONE: usize> Debug for ZincPlusPiop<Zt, U, F, DEGREE_PLUS_ONE>

where Zt: ZincTypes<DEGREE_PLUS_ONE> + Debug, U: Uair + Debug, F: PrimeField + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Zt, U, F, const DEGREE_PLUS_ONE: usize> Default for ZincPlusPiop<Zt, U, F, DEGREE_PLUS_ONE>

where Zt: ZincTypes<DEGREE_PLUS_ONE> + Default, U: Uair + Default, F: PrimeField + Default,

fn default() -> ZincPlusPiop<Zt, U, F, DEGREE_PLUS_ONE>

Returns the “default value” for a type.

impl<Zt, U, F, const DEGREE_PLUS_ONE: usize> Copy for ZincPlusPiop<Zt, U, F, DEGREE_PLUS_ONE>

where Zt: ZincTypes<DEGREE_PLUS_ONE> + Copy, U: Uair + Copy, F: PrimeField + Copy,