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(r1cs constraint.ConstraintSystem) (ProvingKey, VerifyingKey, error) + func Verify(proof Proof, vk VerifyingKey, publicWitness witness.Witness, ...) error + type Proof interface + func NewProof(curveID ecc.ID) Proof + func Prove(r1cs constraint.ConstraintSystem, pk ProvingKey, fullWitness witness.Witness, ...) (Proof, error) + type ProvingKey interface + IsDifferent func(interface{}) bool + NbG1 func() int + NbG2 func() int + func DummySetup(r1cs constraint.ConstraintSystem) (ProvingKey, error) + func NewProvingKey(curveID ecc.ID) ProvingKey + type VerifyingKey interface + ExportSolidity func(w io.Writer) error + IsDifferent func(interface{}) bool + NbG1 func() int + NbG2 func() int + NbPublicWitness func() int + func NewVerifyingKey(curveID ecc.ID) VerifyingKey