Versions in this module Expand all Collapse all v0 v0.8.2 Feb 4, 2023 v0.7.2 Feb 4, 2023 Changes in this version + func Setup(spr *cs.SparseR1CS, srs *kzg.SRS) (*ProvingKey, *VerifyingKey, error) + func Verify(proof *Proof, vk *VerifyingKey, publicWitness bw6_761witness.Witness) error + type Proof struct + BatchedProof kzg.BatchOpeningProof + H [3]kzg.Digest + LRO [3]kzg.Digest + Z kzg.Digest + ZShiftedOpening kzg.OpeningProof + func Prove(spr *cs.SparseR1CS, pk *ProvingKey, fullWitness bw6_761witness.Witness, ...) (*Proof, error) + func (proof *Proof) ReadFrom(r io.Reader) (int64, error) + func (proof *Proof) WriteTo(w io.Writer) (int64, error) + type ProvingKey struct + CQk []fr.Element + Domain [2]fft.Domain + EvaluationPermutationBigDomainBitReversed []fr.Element + LQk []fr.Element + Permutation []int64 + Ql []fr.Element + Qm []fr.Element + Qo []fr.Element + Qr []fr.Element + S1Canonical []fr.Element + S2Canonical []fr.Element + S3Canonical []fr.Element + Vk *VerifyingKey + func (pk *ProvingKey) InitKZG(srs kzgg.SRS) error + func (pk *ProvingKey) ReadFrom(r io.Reader) (int64, error) + func (pk *ProvingKey) VerifyingKey() interface{} + func (pk *ProvingKey) WriteTo(w io.Writer) (n int64, err error) + type VerifyingKey struct + CosetShift fr.Element + Generator fr.Element + KZGSRS *kzg.SRS + NbPublicVariables uint64 + Qk kzg.Digest + Ql kzg.Digest + Qm kzg.Digest + Qo kzg.Digest + Qr kzg.Digest + S [3]kzg.Digest + Size uint64 + SizeInv fr.Element + func (vk *VerifyingKey) InitKZG(srs kzgg.SRS) error + func (vk *VerifyingKey) NbPublicWitness() int + func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) + func (vk *VerifyingKey) WriteTo(w io.Writer) (n int64, err error)