EIP-7951: Precompile for secp256r1 Curve Support#817

Merged

OlivierBBB merged 54 commits intomasterfrom

780-eip-7951-precompile-for-secp256r1-curve-support

Nov 22, 2025

Commits on Nov 17, 2025

updated oob columns and renaming shorthands

lorenzogentile404
authored and
amkCha
committed
updated shorthands

lorenzogentile404
authored and
amkCha
committed
added specialized computation

lorenzogentile404
authored and
amkCha
committed
added osaka ecdata

lorenzogentile404
authored and
amkCha
committed
updated ec_data columns

lorenzogentile404
authored and
amkCha
committed
updated ec_data generalities

lorenzogentile404
authored and
amkCha
committed
added utils

lorenzogentile404
authored and
amkCha
committed
added specialized computation

lorenzogentile404
authored and
amkCha
committed
added circuit selector

lorenzogentile404
authored and
amkCha
committed
used ISZERO instead of LT for ECRECOVER and P256_VERIFY

lorenzogentile404
authored and
amkCha
committed
fixed callToR1MembershipEXT

lorenzogentile404
authored and
amkCha
committed
fixed address_sum

lorenzogentile404
authored and
amkCha
committed
used computed columns for circuit selectors

lorenzogentile404
authored and
amkCha
committed
partially updated osaka hub with P256_VERIFY

lorenzogentile404
authored and
amkCha
committed
fixed precompile success case

lorenzogentile404
authored and
amkCha
committed
fixed naming

lorenzogentile404
authored and
amkCha
committed
fixed formatting

lorenzogentile404
authored and
amkCha
committed
EIP-7823: Set upper bounds for `MODEXP` --- `OOB` side (#813)

OlivierBBB
authored and
amkCha
committed
EIP-7823: Set upper bounds for `MODEXP` --- `BLAKE_MODEXP` side (#812)

OlivierBBB
authored and
amkCha
committed
EIP-7823: Set upper bounds for `MODEXP` --- `MMU` side (#814)

OlivierBBB
authored and
amkCha
committed
Automatic vanishing constraints of `misc/XXX_?` columns when `misc/XXX` is inactive (#821)

OlivierBBB
authored and
amkCha
committed
EIP-7823: Set upper bounds for `MODEXP` --- `HUB` side (#815)

OlivierBBB
authored and
amkCha
committed
Replace `R@C` in ROFF constant name with `RAC` (#822)

OlivierBBB
authored and
amkCha
committed
removed deprecated comments

lorenzogentile404
authored and
amkCha
committed
added TODOs

lorenzogentile404
authored and
amkCha
committed
feat: precompile processing justifying success and FKTR update for pverify
amkCha
committed
feat: update nsr and flag sums + rm TODOs
amkCha
committed
feat: update defproperty sanity check for p256-verfy
amkCha
committed

Commits on Nov 19, 2025

fixed index max data for p256_verify precompile
lorenzogentile404
committed

Commits on Nov 20, 2025

Commits on Nov 21, 2025