Enum ProofMode 

pub enum ProofMode<'a, G1: Group, G2, GT> {
    Transparent(&'a ScalarProductMessage<G1, G2>, PhantomData<&'a GT>),
    Zk {
        e2: &'a G2,
        y_com: &'a G1,
        sigma1: &'a Sigma1Proof<G1, G2, G1::Scalar>,
        sigma2: &'a Sigma2Proof<G1::Scalar, GT>,
        scalar_product: &'a ScalarProductProof<G1, G2, G1::Scalar, GT>,
    },
}

A DoryProof classified by mode, carrying references to the fields that mode guarantees (see DoryProof::mode).

Variants

Transparent(&'a ScalarProductMessage<G1, G2>, PhantomData<&'a GT>)

Transparent proof: reveals the folded witness as the clear final message and carries no ZK fields. (The phantom borrow ties down GT, which only the ZK variant otherwise uses, keeping the enum’s generics — and auto traits — identical across feature flags.)

Zk

ZK proof: carries every blinding field and Σ-proof

Fields

e2: &'a G2

Blinded E₂ from the VMV message.

y_com: &'a G1

Pedersen commitment to the claimed evaluation.

sigma1: &'a Sigma1Proof<G1, G2, G1::Scalar>

Σ₁ proof: E₂ and y_com commit to the same y.

sigma2: &'a Sigma2Proof<G1::Scalar, GT>

Σ₂ proof: VMV constraint (batched into the final check).

scalar_product: &'a ScalarProductProof<G1, G2, G1::Scalar, GT>

Scalar-product Σ-proof over the folded statement.

Trait Implementations

impl<'a, G1: Clone + Group, G2: Clone, GT: Clone> Clone for ProofMode<'a, G1, G2, GT>

where G1::Scalar: Clone,

fn clone(&self) -> ProofMode<'a, G1, G2, GT>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, G1: Copy + Group, G2: Copy, GT: Copy> Copy for ProofMode<'a, G1, G2, GT>

where G1::Scalar: Copy,