search

mratsim / constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Other
413 stars 44 forks source link

fixed IPA consistency test, rm addressSanitizer message #412

Closed agnxsh closed 5 months ago

agnxsh commented 5 months ago

Addresses #396 , Fixes IPA consistency test, now the test returns the correct prover_challenge post ipa_prove, and then correctly verifies the same correctly as well.

For reference, https://github.com/crate-crypto/verkle-trie-ref/blob/2332ab8/ipa/ipa_test.py#L38-L50.

Also removed the compile with address sanitizer ON message, as that bug has been now fixed here #403