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