Struct DynamicDoryEvaluationProof

pub struct DynamicDoryEvaluationProof(/* private fields */);

The CommitmentEvaluationProof for the Dory PCS.

Trait Implementations

impl Clone for DynamicDoryEvaluationProof

fn clone(&self) -> DynamicDoryEvaluationProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CommitmentEvaluationProof for DynamicDoryEvaluationProof

type Scalar = MontScalar<FrConfig>

The associated scalar that the commitment is for.

type Commitment = DynamicDoryCommitment

The associated commitment type.

type Error = DoryError

The error type for the proof.

type ProverPublicSetup<'a> = &'a ProverSetup<'a>

The public setup parameters required by the prover. This is simply precomputed data that is required by the prover to create a proof.

type VerifierPublicSetup<'a> = &'a VerifierSetup

The public setup parameters required by the verifier. This is simply precomputed data that is required by the verifier to verify a proof.

fn new( transcript: &mut impl Transcript, a: &[Self::Scalar], b_point: &[Self::Scalar], generators_offset: u64, setup: &Self::ProverPublicSetup<'_>, ) -> Self

Create a new proof.

fn verify_batched_proof( &self, transcript: &mut impl Transcript, commit_batch: &[Self::Commitment], batching_factors: &[Self::Scalar], product: &Self::Scalar, b_point: &[Self::Scalar], generators_offset: u64, _table_length: usize, setup: &Self::VerifierPublicSetup<'_>, ) -> Result<(), Self::Error>

Verify a batch proof. This can be more efficient than verifying individual proofs for some schemes.

fn verify_proof( &self, transcript: &mut impl Transcript, a_commit: &Self::Commitment, product: &Self::Scalar, b_point: &[Self::Scalar], generators_offset: u64, table_length: usize, setup: &Self::VerifierPublicSetup<'_>, ) -> Result<(), Self::Error>

Verify a proof.

impl Debug for DynamicDoryEvaluationProof

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

Formats the value using the given formatter.

impl Default for DynamicDoryEvaluationProof

fn default() -> DynamicDoryEvaluationProof

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for DynamicDoryEvaluationProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DynamicDoryEvaluationProof

fn eq(&self, other: &DynamicDoryEvaluationProof) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for DynamicDoryEvaluationProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for DynamicDoryEvaluationProof

impl StructuralPartialEq for DynamicDoryEvaluationProof