search

Consensys / gnark-crypto

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
Apache License 2.0
505 stars 163 forks source link

bug `bw6-761/fr/fri`: verifying wrong opening should fail #300

Open gbotrel opened 1 year ago

gbotrel commented 1 year ago

in fri_test.go, set the seed as:

func TestFRI(t *testing.T) {

    parameters := gopter.DefaultTestParameters()
    parameters.MinSuccessfulTests = 10
    parameters.SetSeed(1673298652952992783)

Results in :

! verifying wrong opening should fail: Falsified after 5 passed tests.
ARG_0: 0
+ verifying correct opening should succeed: OK, passed 10 tests.
+ The claimed value of a polynomial should match P(x): OK, passed 10 tests.
+ Derive queries position: points should belong the correct fiber: OK,
   passed 10 tests.
+ verifying a correctly formed proof should succeed: OK, passed 10 tests.
--- FAIL: TestFRI (1.53s)
    properties.go:57: failed with initial seed: 1673298652952992783
gbotrel commented 1 year ago

(--> maybe polynomial has 0 coefficients not handled ?)