search

daimo-eth / p256-verifier

P256 signature verification solidity contract
https://p256.eth.limo
MIT License
147 stars 28 forks source link

Add differential fuzzing test against a native/widely used implementation #24

Open nalinbhardwaj opened 9 months ago

nalinbhardwaj commented 9 months ago

you could differentially fuzz the code vs native code w/ ffi https://book.getfoundry.sh/forge/differential-ffi-testing

Seems worth adding fuzzing against popular implementations like noble/subtlecrypto in future.

from @gakonst

gakonst commented 9 months ago

also worth looking into https://github.com/transmissions11/VRGDAs/blob/master/test/correctness/LinearVRGDACorrectness.t.sol