Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + func BuildTrace(spr *cs.SparseR1CS, pt *Trace) + 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 + Domain [2]fft.Domain + 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 + 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)
Go to main page