search

mratsim / constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
Other
272 stars 38 forks source link

refactor(verkle-ipa): fix off-by-one, reenable simple prover+verifier test #403

Closed mratsim closed 4 days ago

mratsim commented 4 days ago

Follow-up on #397.

The size of the array for IPA verification was off-by-one. With the address sanitizer the last cell was zero-init , hence we had a correct result. This was not the case with normal allocator.