p256-verifier
p256-verifier copied to clipboard
P256 signature verification solidity contract
Preview for now, not to be merged until audit.
Clarify and mention normalization
Alongside with pubkey and signature transaction caller may provide an inverted value then we can check the inversion `(a * a_inv == 1) mod n`. So that modexp call can...
Using IR==true in toml crushes FCL performances, leading to incorrect bench. Provide benchmarks in line with on chain performances: https://goerli.basescan.org/address/0xe9399d1183a5cf9e14b120875a616b6e2bcb840a
couldn't find any online ATM, worst case we could automate selenium or something to generate a large amount ourselves.
Instead of doubling at each index of the loop, for the bits that are 0 in both u and v we can skip over them while incrementing some counter. When...
> 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
requires pulling an implementation of sha3 in `generate.ts` script
Recompile with solc v0.8.26
This PR is cleans up comments and documentation. No functionality changes. This solves: - Imprecise comments noted in N-03 - The two typos noted in N-04 - Every state variable...