Trait PlonkTranscript 

pub trait PlonkTranscript<F: PrimeField, CS: PCS<F>>: Clone {
    // Required methods
    fn _128_bit_point(&mut self, label: &'static [u8]) -> F;
    fn _add_serializable(
        &mut self,
        label: &'static [u8],
        message: &impl CanonicalSerialize,
    );
    fn to_rng(self) -> impl RngCore;

    // Provided methods
    fn add_protocol_params(
        &mut self,
        domain: &GeneralEvaluationDomain<F>,
        pcs_raw_vk: &<CS::Params as PcsParams>::RVK,
    ) { ... }
    fn add_precommitted_cols(&mut self, precommitted_cols: &[CS::C; 2]) { ... }
    fn add_instance(&mut self, instance: &impl CanonicalSerialize) { ... }
    fn add_committed_cols(
        &mut self,
        committed_cols: &impl ColumnsCommited<F, CS::C>,
    ) { ... }
    fn get_constraints_aggregation_coeffs(&mut self, n: usize) -> Vec<F> { ... }
    fn add_quotient_commitment(&mut self, point: &CS::C) { ... }
    fn add_kzg_proofs(&mut self, in_zeta: &CS::Proof, in_zeta_omega: &CS::Proof) { ... }
    fn get_evaluation_point(&mut self) -> F { ... }
    fn add_evaluations(
        &mut self,
        evals: &impl ColumnsEvaluated<F>,
        r_at_zeta_omega: &F,
    ) { ... }
    fn get_kzg_aggregation_challenges(&mut self, n: usize) -> Vec<F> { ... }
    fn _128_bit_coeffs(&mut self, label: &'static [u8], n: usize) -> Vec<F> { ... }
}

Required Methods

fn _128_bit_point(&mut self, label: &'static [u8]) -> F

fn _add_serializable( &mut self, label: &'static [u8], message: &impl CanonicalSerialize, )

fn to_rng(self) -> impl RngCore

Provided Methods

fn add_protocol_params( &mut self, domain: &GeneralEvaluationDomain<F>, pcs_raw_vk: &<CS::Params as PcsParams>::RVK, )

fn add_precommitted_cols(&mut self, precommitted_cols: &[CS::C; 2])

fn add_instance(&mut self, instance: &impl CanonicalSerialize)

fn add_committed_cols( &mut self, committed_cols: &impl ColumnsCommited<F, CS::C>, )

fn get_constraints_aggregation_coeffs(&mut self, n: usize) -> Vec<F>

fn add_quotient_commitment(&mut self, point: &CS::C)

fn add_kzg_proofs(&mut self, in_zeta: &CS::Proof, in_zeta_omega: &CS::Proof)

fn get_evaluation_point(&mut self) -> F

fn add_evaluations( &mut self, evals: &impl ColumnsEvaluated<F>, r_at_zeta_omega: &F, )

fn get_kzg_aggregation_challenges(&mut self, n: usize) -> Vec<F>

fn _128_bit_coeffs(&mut self, label: &'static [u8], n: usize) -> Vec<F>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors