Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + func NewCS(curveID ecc.ID) constraint.ConstraintSystem + func Setup(ccs constraint.ConstraintSystem, srs, srsLagrange kzg.SRS) (ProvingKey, VerifyingKey, error) + func Verify(proof Proof, vk VerifyingKey, publicWitness witness.Witness, ...) error + type Proof interface + func NewProof(curveID ecc.ID) Proof + func Prove(ccs constraint.ConstraintSystem, pk ProvingKey, fullWitness witness.Witness, ...) (Proof, error) + type ProvingKey interface + VerifyingKey func() interface{} + func NewProvingKey(curveID ecc.ID) ProvingKey + type VerifyingKey interface + ExportSolidity func(w io.Writer) error + NbPublicWitness func() int + func NewVerifyingKey(curveID ecc.ID) VerifyingKey