test

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 TestingOption

+ func WithSolidityExportOptions(solidityOpts ...solidity.ExportOption) TestingOption

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

Changes in this version

type TestingOption

+ func WithVerifierOpts(verifierOpts ...backend.VerifierOption) TestingOption

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

Changes in this version

+ const SolcCheck

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

Changes in this version

type Assert

+ func (assert *Assert) CheckCircuit(circuit frontend.Circuit, opts ...TestingOption)

type TestingOption

+ func NoProverChecks() TestingOption

+ func NoSerializationChecks() TestingOption

+ func NoSolidityChecks() TestingOption

+ func NoTestEngine() TestingOption

+ func WithInvalidAssignment(invalidAssignment frontend.Circuit) TestingOption

+ func WithSolverOpts(solverOpts ...solver.Option) TestingOption

+ func WithValidAssignment(validAssignment frontend.Circuit) TestingOption

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

+ type ApiWrapper func(frontend.API) frontend.API

+ type TestEngineOption func(e *engine) error

+ func SetAllVariablesAsConstants() TestEngineOption

+ func WithApiWrapper(wrapper ApiWrapper) TestEngineOption

+ func WithBackendProverOptions(opts ...backend.ProverOption) TestEngineOption

type TestingOption

+ func NoFuzzing() TestingOption

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

Changes in this version

+ const Binary

+ const JSON

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

Changes in this version

type Assert

+ func (assert *Assert) GetCounters(circuit frontend.Circuit, opts ...func(opt *TestingOption) error) []compiled.Counter

+ func (assert *Assert) Log(v ...interface{})

+ func (assert *Assert) Run(fn func(assert *Assert), descs ...string)

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

Changes in this version

+ var ErrCompilationNotDeterministic = errors.New("compilation is not deterministic")

+ var ErrInvalidWitnessSolvedCS = errors.New("invalid witness solved the constraint system")

+ var ErrInvalidWitnessVerified = errors.New("invalid witness resulted in a valid proof")

+ func IsSolved(circuit, witness frontend.Circuit, curveID ecc.ID, ...) (err error)

+ func NewKZGSRS(ccs frontend.CompiledConstraintSystem) (kzg.SRS, error)

+ func NoSerialization() func(opt *TestingOption) error

+ func WithBackends(b backend.ID, backends ...backend.ID) func(opt *TestingOption) error

+ func WithCompileOpts(compileOpts ...func(opt *frontend.CompileOption) error) func(opt *TestingOption) error

+ func WithCurves(c ecc.ID, curves ...ecc.ID) func(opt *TestingOption) error

+ func WithProverOpts(proverOpts ...func(opt *backend.ProverOption) error) func(opt *TestingOption) error

+ type Assert struct

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

+ func (assert *Assert) Fuzz(circuit frontend.Circuit, fuzzCount int, ...)

+ func (assert *Assert) ProverFailed(circuit frontend.Circuit, invalidWitness frontend.Circuit, ...)

+ func (assert *Assert) ProverSucceeded(circuit frontend.Circuit, validWitness frontend.Circuit, ...)

+ func (assert *Assert) SolvingFailed(circuit frontend.Circuit, invalidWitness frontend.Circuit, ...)

+ func (assert *Assert) SolvingSucceeded(circuit frontend.Circuit, validWitness frontend.Circuit, ...)

+ type TestingOption struct