groth16

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 Proof

+ CurveID func() ecc.ID

type ProvingKey

+ CurveID func() ecc.ID

type VerifyingKey

+ CurveID func() ecc.ID

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

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

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

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

Jul 11, 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

Feb 14, 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

Apr 14, 2022 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

Mar 25, 2022 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

Apr 5, 2022 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

Feb 15, 2022 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

Feb 13, 2022 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

Jan 28, 2022 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

Jan 28, 2022 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

Jan 4, 2022 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

Nov 3, 2021 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 21, 2021 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

Nov 17, 2021 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

Aug 23, 2021 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 Assert

+ func (assert *Assert) SerializationRawSucceeded(from gnarkio.WriterRawTo, to io.ReaderFrom)

+ func (assert *Assert) SerializationSucceeded(from io.WriterTo, to io.ReaderFrom)

type ProvingKey

+ NbG1 func() int

+ NbG2 func() int

type VerifyingKey

+ NbG1 func() int

+ NbG2 func() int

+ NbPublicWitness func() int

Apr 29, 2021 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 IsSolved(r1cs frontend.CompiledConstraintSystem, witness frontend.Circuit) error

+ func NewCS(curveID ecc.ID) frontend.CompiledConstraintSystem

+ func ReadAndVerify(proof Proof, vk VerifyingKey, publicWitness io.Reader) error

type Proof

+ func ReadAndProve(r1cs frontend.CompiledConstraintSystem, pk ProvingKey, witness io.Reader, ...) (Proof, error)

type VerifyingKey

+ ExportSolidity func(w io.Writer) error

+ SizePublicWitness func() int

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 NewProof(curveID gurvy.ID) Proof

type ProvingKey

+ func NewProvingKey(curveID gurvy.ID) ProvingKey

type VerifyingKey

+ func NewVerifyingKey(curveID gurvy.ID) VerifyingKey

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 Setup(r1cs r1cs.R1CS) (ProvingKey, VerifyingKey)

+ func Verify(proof Proof, vk VerifyingKey, solution interface{}) error

+ type Assert struct

+ func NewAssert(t *testing.T) *Assert

+ func (assert *Assert) ProverFailed(r1cs r1cs.R1CS, solution interface{})

+ func (assert *Assert) ProverSucceeded(r1cs r1cs.R1CS, solution interface{})

+ func (assert *Assert) SolvingFailed(r1cs r1cs.R1CS, solution interface{})

+ func (assert *Assert) SolvingSucceeded(r1cs r1cs.R1CS, solution interface{})

+ type Proof interface

+ func Prove(r1cs r1cs.R1CS, pk ProvingKey, solution interface{}) (Proof, error)

+ func ReadProof(path string) (Proof, error)

+ type ProvingKey interface

+ IsDifferent func(interface{}) bool

+ func DummySetup(r1cs r1cs.R1CS) ProvingKey

+ func ReadProvingKey(path string) (ProvingKey, error)

+ type VerifyingKey interface

+ IsDifferent func(interface{}) bool

+ func ReadVerifyingKey(path string) (VerifyingKey, error)

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