groth16

package

Go to main page

Versions in this module

v0

v0.12.0

Jan 24, 2025

v0.11.0

Sep 6, 2024 GO-2024-3244

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

type ProvingKey

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

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

type VerifyingKey

+ CommitmentKeys []pedersen.VerifyingKey

v0.10.0

Apr 22, 2024 GO-2024-3122 +2 more

GO-2024-3122: Groth16 commitment extension unsound for more than one commitment in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.9.1

Oct 16, 2023 GO-2023-2333 +3 more

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3122: Groth16 commitment extension unsound for more than one commitment in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.9.0

Sep 19, 2023 GO-2023-2119 +4 more

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3122: Groth16 commitment extension unsound for more than one commitment in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

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)

v0.9.0-alpha

Aug 18, 2023 GO-2023-2098 +5 more

GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3122: Groth16 commitment extension unsound for more than one commitment in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL