groth16

May 15, 2024

Changes in this version

type ProvingKey

+ func (pk *ProvingKey) ReadDump(r io.Reader) error

+ func (pk *ProvingKey) WriteDump(w io.Writer) error

Feb 7, 2024

Changes in this version

type FoldedWitness

+ func (foldedWitness *FoldedWitness) FoldWitnesses(publicWitness []PublicWitness, foldingParameters []FoldingParameters, ...) error

Feb 7, 2024

Changes in this version

type FoldedWitness

+ Mu big.Int

Feb 6, 2024

Changes in this version

+ func GetkSumAff(proof *Proof, vk *VerifyingKey, publicWitness fr.Vector, ...) (curve.G1Affine, error)

Feb 6, 2024

Changes in this version

type FoldedProof

+ func FoldProof(proof1 *FoldedProof, proof2 *Proof, vk *VerifyingKey, ...) (*FoldedProof, error)

Feb 5, 2024

Changes in this version

type FoldingParameters

+ func GetFoldingParameters(proof1, proof2 *Proof, vk *VerifyingKey, ...) (*FoldingParameters, error)

Feb 2, 2024

Changes in this version

+ func VerifyFolded(proof *Proof, vk *VerifyingKey, publicWitness []PublicWitness, ...) error

Feb 2, 2024

Changes in this version

+ func FoldProofs(proof1, proof2 *Proof, vk1, vk2 *VerifyingKey, ...) (*FoldedProof, *FoldingParameters, error)

+ type FoldedProof struct

+ Ar curve.G1Affine

+ Bs curve.G2Affine

+ Krs curve.G1Affine

+ type FoldedWitness struct

+ E curve.GT

+ H curve.G1Affine

+ type FoldingParameters struct

+ R big.Int

+ T curve.GT

+ type PublicWitness struct

+ E curve.GT

+ Public []fr.Element

+ func (witness *PublicWitness) SetStartingParameters() error

Jan 31, 2024

Changes in this version

type ProvingKey

+ Gt struct{ ... }

type VerifyingKey

+ Gt struct{ ... }

Jan 31, 2024

Changes in this version

+ func DummySetup(r1cs *cs.R1CS, pk *ProvingKey) error

+ func Setup(r1cs *cs.R1CS, pk *ProvingKey, vk *VerifyingKey) error

+ func Verify(proof *Proof, vk *VerifyingKey, publicWitness fr.Vector, ...) error

+ type Proof struct

+ Ar curve.G1Affine

+ Bs curve.G2Affine

+ CommitmentPok curve.G1Affine

+ Commitments []curve.G1Affine

+ Krs curve.G1Affine

+ func Prove(r1cs *cs.R1CS, pk *ProvingKey, fullWitness witness.Witness, ...) (*Proof, error)

+ func (proof *Proof) CurveID() ecc.ID

+ func (proof *Proof) ReadFrom(r io.Reader) (n int64, err error)

+ func (proof *Proof) WriteRawTo(w io.Writer) (n int64, err error)

+ func (proof *Proof) WriteTo(w io.Writer) (n int64, err error)

+ type ProvingKey struct

+ CommitmentKeys []pedersen.ProvingKey

+ Domain fft.Domain

+ G1 struct{ ... }

+ G2 struct{ ... }

+ InfinityA []bool

+ InfinityB []bool

+ NbInfinityA uint64

+ NbInfinityB uint64

+ func (pk *ProvingKey) CurveID() ecc.ID

+ func (pk *ProvingKey) IsDifferent(_other interface{}) bool

+ func (pk *ProvingKey) NbG1() int

+ func (pk *ProvingKey) NbG2() int

+ func (pk *ProvingKey) ReadFrom(r io.Reader) (int64, error)

+ func (pk *ProvingKey) UnsafeReadFrom(r io.Reader) (int64, error)

+ func (pk *ProvingKey) WriteRawTo(w io.Writer) (n int64, err error)

+ func (pk *ProvingKey) WriteTo(w io.Writer) (n int64, err error)

+ type VerifyingKey struct

+ CommitmentKey pedersen.VerifyingKey

+ G1 struct{ ... }

+ G2 struct{ ... }

+ PublicAndCommitmentCommitted [][]int

+ func (vk *VerifyingKey) CurveID() ecc.ID

+ func (vk *VerifyingKey) ExportSolidity(w io.Writer) error

+ func (vk *VerifyingKey) IsDifferent(_other interface{}) bool

+ func (vk *VerifyingKey) NbG1() int

+ func (vk *VerifyingKey) NbG2() int

+ func (vk *VerifyingKey) NbPublicWitness() int

+ func (vk *VerifyingKey) Precompute() error

+ 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) (n int64, err error)

+ func (vk *VerifyingKey) WriteTo(w io.Writer) (n int64, err error)