|
Trust minimized transaction simulation using state proofs
|
|
7
|
668
|
October 1, 2026
|
|
Towards Encrypted Mempools from Threshold IBE without Batching
|
|
4
|
284
|
September 29, 2026
|
|
Ethereum's TCB, Part 1: The client
|
|
3
|
453
|
September 29, 2026
|
|
PQ spending for Stealth Address Protocol
|
|
0
|
101
|
September 28, 2026
|
|
Ethereum lessons from a live end-to-end PQ proof-native protocol
|
|
6
|
519
|
September 27, 2026
|
|
Formal Verification of Execution and Consensus Clients
|
|
12
|
647
|
September 25, 2026
|
|
Snappy with a memory: ~40% less gossip traffic
|
|
1
|
179
|
September 25, 2026
|
|
Capacity oracles
|
|
4
|
453
|
September 25, 2026
|
|
Designs for EVM gas accounting in EIP-7999
|
|
6
|
491
|
September 24, 2026
|
|
Proprietary AMMs and Ethereum
|
|
13
|
1486
|
September 24, 2026
|
|
CHAMP: Hardening the Mempool with CHain-Anchored, Multi-dimensional Peer Protection
|
|
0
|
128
|
September 24, 2026
|
|
Post-Poseidon: Hash Function Variants for Ethereum
|
|
0
|
357
|
September 23, 2026
|
|
EIP-8411 payload segmentation under the Shadow simulator
|
|
0
|
93
|
September 23, 2026
|
|
Post-Quantum Lattice or Hash-Based: One Question, Two Right Answers
|
|
1
|
227
|
September 22, 2026
|
|
Etheorem update: the complete executable consensus specs written in Lean 4
|
|
0
|
223
|
September 21, 2026
|
|
Post-Glamsterdam One-dimensional Fee Market and Comparison with EIP-7999
|
|
0
|
163
|
September 21, 2026
|
|
Strict role alternation: reciprocal broadcast without relayers for EVM shielded pools (spec + population simulation, no code yet)
|
|
0
|
62
|
September 19, 2026
|
|
Cryptographic canaries and backups
|
|
8
|
7573
|
September 18, 2026
|
|
Same instruction count, 23x the wall clock: working-set effects in a deterministic RISC-V interpreter
|
|
1
|
140
|
September 18, 2026
|
|
Bounding Collusion in Capital Allocation DAOs via Subjective Human Oracles
|
|
4
|
166
|
September 17, 2026
|
|
How Hegotá can influence the state roadmap
|
|
1
|
253
|
September 17, 2026
|
|
Wen fast payload broadcast? Segment, code, push, pull, and everything in between
|
|
5
|
269
|
September 17, 2026
|
|
EIP-8411: what segmented payload diffusion is made of
|
|
0
|
261
|
September 17, 2026
|
|
FullDAS: towards massive scalability with 32MB blocks and beyond
|
|
2
|
4985
|
April 22, 2025
|
|
Atomic ZK-Proof-Gated Settlement for x402 Agent Payments: A Measured Reference Design
|
|
3
|
349
|
September 16, 2026
|
|
When Data Binds Execution: Dynamic Simulation of EIP-7999’s Multidimensional Fee Market
|
|
0
|
71
|
September 16, 2026
|
|
From 60M to 200M: simulating Glamsterdam’s fee market
|
|
3
|
405
|
September 16, 2026
|
|
Scaling Ethereum with recursive STARKs and the Trustless Log Index
|
|
0
|
169
|
September 15, 2026
|
|
Public-mempool gas sponsorship needs escrow, a bond, or trust
|
|
0
|
118
|
September 14, 2026
|
|
Lean4 SSZ library: formally verified and easy to use
|
|
0
|
179
|
September 13, 2026
|