Versions in this module Expand all Collapse all v2 v2.0.0 Jul 18, 2024 Changes in this version + func Setup(spr *cs.SparseR1CS, srs, srsLagrange kzg.SRS) (*ProvingKey, *VerifyingKey, error) + func Verify(proof *Proof, vk *VerifyingKey, publicWitness fr.Vector, ...) error + type Proof struct + BatchedProof kzg.BatchOpeningProof + Bsb22Commitments []kzg.Digest + H [3]kzg.Digest + LRO [3]kzg.Digest + Z kzg.Digest + ZShiftedOpening kzg.OpeningProof + func Prove(spr *cs.SparseR1CS, pk *ProvingKey, fullWitness witness.Witness, ...) (*Proof, error) + func (proof *Proof) ReadFrom(r io.Reader) (int64, error) + func (proof *Proof) WriteRawTo(w io.Writer) (int64, error) + func (proof *Proof) WriteTo(w io.Writer) (int64, error) + type ProvingKey struct + Kzg kzg.ProvingKey + KzgLagrange kzg.ProvingKey + Vk *VerifyingKey + func (pk *ProvingKey) ReadFrom(r io.Reader) (int64, error) + func (pk *ProvingKey) UnsafeReadFrom(r io.Reader) (int64, error) + func (pk *ProvingKey) VerifyingKey() interface{} + func (pk *ProvingKey) WriteRawTo(w io.Writer) (n int64, err error) + func (pk *ProvingKey) WriteTo(w io.Writer) (n int64, err error) + type Trace struct + Qcp []*iop.Polynomial + Qk *iop.Polynomial + Ql *iop.Polynomial + Qm *iop.Polynomial + Qo *iop.Polynomial + Qr *iop.Polynomial + S []int64 + S1 *iop.Polynomial + S2 *iop.Polynomial + S3 *iop.Polynomial + func NewTrace(spr *cs.SparseR1CS, domain *fft.Domain) *Trace + type VerifyingKey struct + CommitmentConstraintIndexes []uint64 + CosetShift fr.Element + Generator fr.Element + Kzg kzg.VerifyingKey + NbPublicVariables uint64 + Qcp []kzg.Digest + 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) ExportSolidity(w io.Writer) error + func (vk *VerifyingKey) NbPublicWitness() int + func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error) + func (vk *VerifyingKey) UnsafeReadFrom(r io.Reader) (int64, error) + func (vk *VerifyingKey) WriteRawTo(w io.Writer) (int64, error) + func (vk *VerifyingKey) WriteTo(w io.Writer) (n int64, err error) Other modules containing this package github.com/danivilardell/gnark
Go to main page