fri

Sep 6, 2024 GO-2024-3244

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

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

Changes in this version

+ var DeriveQueriesPositions = func(_ *big.Int, inputs []*big.Int, res []*big.Int) error

+ type ProofOfProximity struct

+ Rounds []Round

+ type RadixTwoFri struct

+ func NewRadixTwoFri(size uint64, h hash.Hash, gen big.Int) RadixTwoFri

+ func (s RadixTwoFri) VerifyProofOfProximity(api frontend.API, proof ProofOfProximity) error

+ type Round struct

+ Evaluation frontend.Variable

+ Interactions [][2]merkle.MerkleProof