jf_plonk::circuit::plonk_verifier

Trait BatchableCircuit

Source
pub trait BatchableCircuit<F> {
    // Required method
    fn aggregate_verify_keys<E, P>(
        &mut self,
        vk_type_a_vars: &[VerifyingKeyVar<E>],
        vk_type_b_vars: &[VerifyingKeyVar<E>],
    ) -> Result<Vec<VerifyingKeyVar<E>>, CircuitError>
       where E: Pairing,
             P: TEParam<BaseField = F>;
}
Expand description

Plonk Circuit that support batch verification

Required Methods§

Source

fn aggregate_verify_keys<E, P>( &mut self, vk_type_a_vars: &[VerifyingKeyVar<E>], vk_type_b_vars: &[VerifyingKeyVar<E>], ) -> Result<Vec<VerifyingKeyVar<E>>, CircuitError>
where E: Pairing, P: TEParam<BaseField = F>,

Aggregate verification keys

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.

Implementations on Foreign Types§

Source§

impl<F> BatchableCircuit<F> for PlonkCircuit<F>
where F: PrimeField,

Instances batching scheme related gates

Source§

fn aggregate_verify_keys<E, P>( &mut self, vk_type_a_vars: &[VerifyingKeyVar<E>], vk_type_b_vars: &[VerifyingKeyVar<E>], ) -> Result<Vec<VerifyingKeyVar<E>>, CircuitError>
where E: Pairing, P: TEParam<BaseField = F>,

Implementors§