[runtime]: bind SP1 BEEFY proofs to a committed nonce for anti-theft #924

Merged

seunlanlege merged 9 commits into

mainfrom

seun/dedupe-proofs

May 27, 2026

Commits on May 27, 2026

[runtime]: bind SP1 BEEFY proof to committed nonce for anti-theft + per-account dedup
seunlanlege
committed
regenerate SP1 BEEFY fixture (v1.1.0 vkey + committed nonce); verified on solidity + rust
seunlanlege
committed
wire regenerated SP1 fixture into benchmark + simtest (vkey, proof, states, Bob signer)
seunlanlege
committed
[evm]: fork-test new SP1Beefy vkey against live mainnet verifier
seunlanlege
committed
[tesseract]: thread submission account (H256) into standalone prover daemon + all Prover::new callers
seunlanlege
committed
[docs]: document uncle proofs, prover-bound nonce, and per-account dedup in provers guide
seunlanlege
committed
[docs]: correct reward curve to 100/50/30/20/10/5% (first prover full, uncles decreasing)
seunlanlege
committed
[tesseract]: add mainnet beefy rotation test; use ConsensusStateId in initialize_state; DeployIsmp v6.1 verifier
seunlanlege
committed
[prover]: minor version bump to 2.1.0
seunlanlege
committed