Versions in this module Expand all Collapse all v2 v2.0.0 Jul 18, 2024 Changes in this version + func DummySetup(r1cs *cs.R1CS, pk *ProvingKey) error + func GetkSumAff(proof *Proof, vk *VerifyingKey, publicWitness fr.Vector, ...) (curve.G1Affine, error) + func Setup(r1cs *cs.R1CS, pk *ProvingKey, vk *VerifyingKey) error + func Verify(proof *Proof, vk *VerifyingKey, publicWitness fr.Vector, ...) error + func VerifyFolded(foldedProof *FoldedProof, foldingParameters []FoldingParameters, ...) error + type FoldedProof struct + Ar curve.G1Affine + Bs curve.G2Affine + Krs curve.G1Affine + func FoldProof(proof1 *FoldedProof, proof2 *Proof, vk *VerifyingKey, ...) (*FoldedProof, error) + type FoldedWitness struct + E curve.GT + H curve.G1Affine + Mu big.Int + func (foldedWitness *FoldedWitness) FoldWitnesses(publicWitness []PublicWitness, foldingParameters []FoldingParameters, ...) error + type FoldingParameters struct + R big.Int + T curve.GT + func GetFoldingParameters(kSumAff1 curve.G1Affine, proof1 *FoldedProof, proof2 *Proof, vk *VerifyingKey, ...) (*FoldingParameters, curve.G1Affine, 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{ ... } + Gt 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) ReadDump(r io.Reader) error + func (pk *ProvingKey) ReadFrom(r io.Reader) (int64, error) + func (pk *ProvingKey) UnsafeReadFrom(r io.Reader) (int64, error) + func (pk *ProvingKey) WriteDump(w io.Writer) error + func (pk *ProvingKey) WriteRawTo(w io.Writer) (n int64, err error) + func (pk *ProvingKey) WriteTo(w io.Writer) (n int64, err error) + type PublicWitness struct + E curve.GT + Public fr.Vector + func (witness *PublicWitness) SetStartingParameters() 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) Other modules containing this package github.com/danivilardell/gnark
Go to main page