EIP-7002 ensures system calls always succeed and requests are processed in FIFO order. These properties are proven using Lean 4.
Related articles
See all- Layer 2
A hash-only rollup: OP Stack L2 accounts as Lamport-style hash chains, no ECDSA inside the L2
An OP Stack rollup on Ethereum mainnet enables L2 transactions without signatures using hash chains. This design is proposed as an interim solution for post-quantum payments on Ethereum L2s, relying on preimage resistance of keccak-256.
- Bitcoin
Bitcoin Optech Newsletter #428
The Bitcoin Optech Newsletter discusses the Lichen design for a single-issuer Layer 2, allowing users to redeem bitcoin onchain without issuer cooperation. It uses Groth16 proofs and builds on LN-GAP, replacing the honest-majority committee with onchain dispute resolution.
- Cryptography
Paranoid EIP-8288: heterogeneous recursion with an authenticated class bank
EIP-8288 proposes recursive aggregation using a fixed protocol-level verification key. Implemented in Parano1d, it uses a finite authenticated bank of verifier classes, supporting heterogeneous recursion with different proof sizes. The proposal addresses deferred verification and class compatibility.
- Cryptography
Reveal optionality in encrypted mempools: how big is the sender’s free option, and a post-quantum way to remove it
The research explores the value of free options in encrypted mempools and proposes a solution called Blind Simultaneous Release (BSR) to eliminate them. BSR fixes the executed set before anyone can condition on new information, using only hashes, making it post-quantum.
- Releases
Solidity 0.8.38 Release Announcement
Solidity v0.8.38 has been released, addressing a low-severity bug in the Yul optimizer and improving the performance of the DataFlowAnalyzer, resulting in faster compilation with the Yul optimizer enabled.