|
Ethereum lessons from a live end-to-end PQ proof-native protocol
|
|
6
|
508
|
September 27, 2026
|
|
Formal Verification of Execution and Consensus Clients
|
|
12
|
639
|
September 25, 2026
|
|
Snappy with a memory: ~40% less gossip traffic
|
|
1
|
177
|
September 25, 2026
|
|
Capacity oracles
|
|
4
|
446
|
September 25, 2026
|
|
Designs for EVM gas accounting in EIP-7999
|
|
6
|
488
|
September 24, 2026
|
|
Proprietary AMMs and Ethereum
|
|
13
|
1465
|
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
|
351
|
September 23, 2026
|
|
EIP-8411 payload segmentation under the Shadow simulator
|
|
0
|
89
|
September 23, 2026
|
|
Post-Quantum Lattice or Hash-Based: One Question, Two Right Answers
|
|
1
|
220
|
September 22, 2026
|
|
Etheorem update: the complete executable consensus specs written in Lean 4
|
|
0
|
218
|
September 21, 2026
|
|
Post-Glamsterdam One-dimensional Fee Market and Comparison with EIP-7999
|
|
0
|
162
|
September 21, 2026
|
|
Strict role alternation: reciprocal broadcast without relayers for EVM shielded pools (spec + population simulation, no code yet)
|
|
0
|
61
|
September 19, 2026
|
|
Cryptographic canaries and backups
|
|
8
|
7570
|
September 18, 2026
|
|
Same instruction count, 23x the wall clock: working-set effects in a deterministic RISC-V interpreter
|
|
1
|
138
|
September 18, 2026
|
|
Bounding Collusion in Capital Allocation DAOs via Subjective Human Oracles
|
|
4
|
164
|
September 17, 2026
|
|
How Hegotá can influence the state roadmap
|
|
1
|
251
|
September 17, 2026
|
|
Wen fast payload broadcast? Segment, code, push, pull, and everything in between
|
|
5
|
261
|
September 17, 2026
|
|
EIP-8411: what segmented payload diffusion is made of
|
|
0
|
252
|
September 17, 2026
|
|
FullDAS: towards massive scalability with 32MB blocks and beyond
|
|
2
|
4981
|
April 22, 2025
|
|
Atomic ZK-Proof-Gated Settlement for x402 Agent Payments: A Measured Reference Design
|
|
3
|
343
|
September 16, 2026
|
|
When Data Binds Execution: Dynamic Simulation of EIP-7999’s Multidimensional Fee Market
|
|
0
|
68
|
September 16, 2026
|
|
From 60M to 200M: simulating Glamsterdam’s fee market
|
|
3
|
397
|
September 16, 2026
|
|
Scaling Ethereum with recursive STARKs and the Trustless Log Index
|
|
0
|
165
|
September 15, 2026
|
|
Public-mempool gas sponsorship needs escrow, a bond, or trust
|
|
0
|
115
|
September 14, 2026
|
|
Lean4 SSZ library: formally verified and easy to use
|
|
0
|
177
|
September 13, 2026
|
|
RowDAS (EIP-8371): Distributed Blob Reconstruction, measured
|
|
0
|
276
|
September 3, 2026
|
|
Bloom Filters And Keyed Nonces
|
|
0
|
263
|
September 8, 2026
|
|
Native UTXOs on Ethereum
|
|
30
|
4474
|
September 8, 2026
|
|
Exploring the Design Space for a Post-Quantum Public Key Registry for Ethereum Validators
|
|
13
|
1602
|
September 7, 2026
|