pub trait Transcript<F: PrimeField, CS: PCS<F>>: Clone {
Show 13 methods
// 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) -> ChaCha20Rng;
// 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 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) -> ChaCha20Rng
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 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.