On Fusaka, CALL precompile 0x100 with a standard valid P-256 test vector (message hash, r, s, pubX, pubY) — does it return 0x01?
Look for0x01 for a valid signature
Agent will likely call run_bytecode
EIP-7951secp256r1 Precompile
RunnableLive on the hosted MCP — free on Fusaka (mainnet today) and Amsterdam.
Website twin: exploration on feelyourprotocol.org
Why add a secp256r1 precompile?
EIP-7951 exposes P-256 (the curve behind Apple/Android passkeys and WebAuthn) at address 0x100. Contracts can verify device-native signatures on-chain. The precompile is live on Fusaka (current mainnet EL).
The MCP server runs caller-supplied bytecode that CALLs the precompile with five 32-byte fields: message hash, r, s, public key x, public key y. A valid signature returns 0x01 (32 bytes). Invalid payloads fail or return empty data — your agent can explore both. There is no dedicated precompile input tool; construct a CALL to 0x100.
The hosted MCP is live (Connect). Copy a prompt into your agent — each quote is self-contained. Fusaka is the run target.
Job
On Fusaka, CALL precompile 0x100 with a standard valid P-256 test vector (message hash, r, s, pubX, pubY) — does it return 0x01?
Look for0x01 for a valid signature
Agent will likely call run_bytecode
Lesson
On Fusaka, run the same secp256r1 CALL twice — once with a valid P-256 vector and once with r incremented by 1 — what does each return?
Look for0x01 versus empty or failing data
Agent will likely call run_bytecode
Check
On Fusaka, CALL 0x100 with a valid P-256 vector — how much gas does the verification use?
Look forgasUsed for the CALL to 0x100
Agent will likely call run_bytecode
Confirm the 7951 catalog entry; read the input layout.
Execute CALL bytecode on fusaka.
Fork caveat
Available on Fusaka (mainnet) and later lineage forks. Teaching is valid vs invalid return data, not a gas delta vs Pectra. The probe may list a Pectra→Fusaka pair (activation); that is “precompile missing vs present,” not a pricing lesson.