Crate ekzg_multi_open 

Modules

commit_key

verification_key

Structs

Prover

FK20Prover initializes all of the components needed to compute a KZG multi point proof using the FK20 method.

Verifier

FK20Verifier initializes all of the components needed to verify KZG multi point proofs that were created using the FK20Prover.

Enums

ProverInput

Input contains the various structures that we can make FK20 proofs over.

VerifierError

Functions

recover_evaluations_in_domain_order

Given a group of coset evaluations, this method will return/reorder the evaluations as if we evaluated them on the relevant extended domain.

Type Aliases

CommitmentIndex

CommitmentIndex is a reference to a commitment.

CosetIndex

CosetIndex is a reference to a coset.