Versions in this module
v0
Apr 22, 2024
Changes in this version
type BlueprintGenericHint
type BlueprintGenericR1C
type BlueprintGenericSparseR1C
type BlueprintLookupHint
type BlueprintSparseR1CAdd
type BlueprintSparseR1CBool
type BlueprintSparseR1CMul
Oct 16, 2023 GO-2023-2333
GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark
Sep 19, 2023 GO-2023-2119GO-2023-2333
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
Changes in this version
type ConstraintSystem
type LinearExpression
type R1CS
type SparseR1C
type SparseR1CS
type System
type Term
Aug 18, 2023 GO-2023-2098GO-2023-2119GO-2023-2333
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
Jul 11, 2023 GO-2023-2098GO-2023-2119GO-2023-2333
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
Feb 14, 2023 GO-2023-2098GO-2023-2119GO-2023-2333
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