Struct ArkTranscript 

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

Implementations

impl ArkTranscript

pub fn new(label: &'static [u8]) -> Self

Trait Implementations

impl Clone for ArkTranscript

fn clone(&self) -> ArkTranscript

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField, CS: PCS<F>> PlonkTranscript<F, CS> for ArkTranscript

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

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

fn add_precommitted_cols(&mut self, precommitted_cols: &[<CS as PCS<F>>::C; 2])

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

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

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

fn add_quotient_commitment(&mut self, point: &<CS as PCS<F>>::C)

fn add_kzg_proofs( &mut self, in_zeta: &<CS as PCS<F>>::Proof, in_zeta_omega: &<CS as PCS<F>>::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>