groth16

Dec 23, 2020 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

Dec 22, 2020 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

Dec 22, 2020 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

Changes in this version

type Proof

+ 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

+ func (pk *ProvingKey) ReadFrom(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

+ func (vk *VerifyingKey) ReadFrom(r io.Reader) (n int64, err error)

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

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

Oct 19, 2020 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

Oct 19, 2020 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

Sep 23, 2020 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

Sep 23, 2020 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

Sep 22, 2020 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

Sep 22, 2020 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

Changes in this version

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

+ func ParsePublicInput(expectedNames []string, input map[string]interface{}) ([]fr.Element, error)

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

+ func Verify(proof *Proof, vk *VerifyingKey, inputs map[string]interface{}) error

+ type Proof struct

+ Ar curve.G1Affine

+ Bs curve.G2Affine

+ Krs curve.G1Affine

+ func Prove(r1cs *bw761backend.R1CS, pk *ProvingKey, solution map[string]interface{}) (*Proof, error)

+ func (proof *Proof) GetCurveID() gurvy.ID

+ type ProvingKey struct

+ Domain bw761backend.Domain

+ G1 struct{ ... }

+ G2 struct{ ... }

+ func (pk *ProvingKey) GetCurveID() gurvy.ID

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

+ type VerifyingKey struct

+ E curve.PairingResult

+ G1 struct{ ... }

+ G2 struct{ ... }

+ PublicInputs []string

+ func (vk *VerifyingKey) GetCurveID() gurvy.ID

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

Sep 15, 2020 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