Struct BatchArgument

pub struct BatchArgument<E: Pairing>(/* private fields */);

A batching argument.

Implementations

impl<E, F, P> BatchArgument<E>

where E: Pairing<BaseField = F, G1Affine = Affine<P>>, F: RescueParameter + SWToTEConParam, P: SWCurveConfig<BaseField = F>,

pub fn setup_instance( srs: &UniversalSrs<E>, circuit: PlonkCircuit<E::ScalarField>, circuit_type: MergeableCircuitType, ) -> Result<Instance<E>, PlonkError>

Setup the circuit and the proving key for a (mergeable) instance.

pub fn batch_prove<R, T>( prng: &mut R, instances_type_a: &[Instance<E>], instances_type_b: &[Instance<E>], ) -> Result<BatchProof<E>, PlonkError>

where R: CryptoRng + RngCore, T: PlonkTranscript<F>,

Prove satisfiability of multiple instances in a batch.

pub fn partial_verify<T>( beta_g: &E::G1Affine, generator_g: &E::G1Affine, merged_vks: &[VerifyingKey<E>], shared_public_input: &[E::ScalarField], batch_proof: &BatchProof<E>, blinding_factor: E::ScalarField, ) -> Result<(E::G1, E::G1), PlonkError>

where T: PlonkTranscript<F>,

Partially verify a batched proof without performing the pairing. Return the two group elements used in the final pairing.

impl<E> BatchArgument<E>

where E: Pairing,

pub fn aggregate_verify_keys( vks_type_a: &[&VerifyingKey<E>], vks_type_b: &[&VerifyingKey<E>], ) -> Result<Vec<VerifyingKey<E>>, PlonkError>

Aggregate verification keys

pub fn decide( open_key: &OpenKey<E>, inner1: E::G1, inner2: E::G1, ) -> Result<bool, PlonkError>

Perform the final pairing to verify the proof.