Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + func GetNativeProverOptions(outer, field *big.Int) backend.ProverOption + func GetNativeVerifierOptions(outer, field *big.Int) backend.VerifierOption + type BaseVerifyingKey struct + CosetShift emulated.Element[FR] + Generator emulated.Element[FR] + Kzg kzg.VerifyingKey[G1El, G2El] + NbPublicVariables uint64 + Size uint64 + SizeInv emulated.Element[FR] + func PlaceholderBaseVerifyingKey[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT](ccs constraint.ConstraintSystem) BaseVerifyingKey[FR, G1El, G2El] + func ValueOfBaseVerifyingKey[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT](vk backend_plonk.VerifyingKey) (BaseVerifyingKey[FR, G1El, G2El], error) + type CircuitVerifyingKey struct + CommitmentConstraintIndexes []frontend.Variable + Qcp []kzg.Commitment[G1El] + Qk kzg.Commitment[G1El] + Ql kzg.Commitment[G1El] + Qm kzg.Commitment[G1El] + Qo kzg.Commitment[G1El] + Qr kzg.Commitment[G1El] + S [3]kzg.Commitment[G1El] + func PlaceholderCircuitVerifyingKey[G1El algebra.G1ElementT](ccs constraint.ConstraintSystem) CircuitVerifyingKey[G1El] + func ValueOfCircuitVerifyingKey[G1El algebra.G1ElementT](vk backend_plonk.VerifyingKey) (CircuitVerifyingKey[G1El], error) + type Proof struct + BatchedProof kzg.BatchOpeningProof[FR, G1El] + Bsb22Commitments []kzg.Commitment[G1El] + H [3]kzg.Commitment[G1El] + LRO [3]kzg.Commitment[G1El] + Z kzg.Commitment[G1El] + ZShiftedOpening kzg.OpeningProof[FR, G1El] + func PlaceholderProof[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT](ccs constraint.ConstraintSystem) Proof[FR, G1El, G2El] + func ValueOfProof[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT](proof backend_plonk.Proof) (Proof[FR, G1El, G2El], error) + type Verifier struct + func NewVerifier[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](api frontend.API) (*Verifier[FR, G1El, G2El, GtEl], error) + func (v *Verifier[FR, G1El, G2El, GtEl]) AssertDifferentProofs(bvk BaseVerifyingKey[FR, G1El, G2El], cvks []CircuitVerifyingKey[G1El], ...) error + func (v *Verifier[FR, G1El, G2El, GtEl]) AssertProof(vk VerifyingKey[FR, G1El, G2El], proof Proof[FR, G1El, G2El], ...) error + func (v *Verifier[FR, G1El, G2El, GtEl]) AssertSameProofs(vk VerifyingKey[FR, G1El, G2El], proofs []Proof[FR, G1El, G2El], ...) error + func (v *Verifier[FR, G1El, G2El, GtEl]) PrepareVerification(vk VerifyingKey[FR, G1El, G2El], proof Proof[FR, G1El, G2El], ...) ([]kzg.Commitment[G1El], []kzg.OpeningProof[FR, G1El], []emulated.Element[FR], ...) + func (v *Verifier[FR, G1El, G2El, GtEl]) SwitchVerificationKey(bvk BaseVerifyingKey[FR, G1El, G2El], idx frontend.Variable, ...) (VerifyingKey[FR, G1El, G2El], error) + type VerifyingKey struct + func PlaceholderVerifyingKey[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT](ccs constraint.ConstraintSystem) VerifyingKey[FR, G1El, G2El] + func ValueOfVerifyingKey[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT](vk backend_plonk.VerifyingKey) (VerifyingKey[FR, G1El, G2El], error) + type Witness struct + Public []emulated.Element[FR] + func PlaceholderWitness[FR emulated.FieldParams](ccs constraint.ConstraintSystem) Witness[FR] + func ValueOfWitness[FR emulated.FieldParams](w witness.Witness) (Witness[FR], error)