ForkLog on Lean Ethereum, a from-scratch-ish roadmap swapping in recursive STARKs, PQ crypto, and new consensus toys.
trending30
01 02 Looks at how AUCIL's auction adds a Sybil surface FOCIL tried to dodge, and what a less-gameable design might need.03 Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation arxiv.orgACFA: consensus-free Byzantine replication for robust aggregators like multi-Krum, by CRDTing signed contributions and equivocations.04 How much faster is BNB Chain trying to get, and why do the answers include parallel exec, private txs, and quantum-resistance?05 Paper on TRM-Raft, a Byzantine-resistant Raft variant with reputation-aware elections and Schnorr log checks, since Raft needed oversight.06 Anoma roadmap for Galileo, Dagon, and Ahra, plus tooling and apps for its chain-abstracted OS, because naming things is hard.07 Lean Execution: a holistic approach to secure, efficient, adaptive, and resourceful execution throughput to scale the world-computer ethresear.chEthereum scaling essay on “lean execution”, stapling SNARKs, recursion, statelessness, and sharding into one ambitious roadmap.08 Lean Ethereum trims consensus state and hides validators with ZK proofs, while quietly adding quantum-safety to the backlog.09 Reuses one mechanism-design operator across markets, consensus, and LLMs, swapping admins for enforced invariants.10 BIS Bulletin on why permissionless consensus keeps spawning L1s, L2s, and the usual fragmentation of liquidity and assets.11 An essay arguing multi-agent codegen dies on vague specs, and only verification or invariants save it, as usual.12 What changed in devnet 5, and where's Lean Consensus headed next?13 21 months of mainnet data: slot-0 reorgs look driven by slow locally built blocks, not some mystical ePBS law.14 So this is where Cardano Leios gets beat up by IO and SPOs before mainnet, right?15 Ethresear.ch post on measuring decentralization via collaboration diversity and Shapley-style rewards, since miners were getting along.16 Ritual's architecture overview for Symphony, with TEEs, ZKPs, recursive proof aggregation, and the usual blockchain obedience issues.17 Tilikum orders DAG transactions fairly without weak edges, using median timestamps and claiming 39x throughput.18 Can a permissionless chain actually hit the throughput bound? OptChain says yes, with Shardis and diffusion mining.19 Properties of issuance offsets and increased penalties under low/zero/negative issuance policies ethresear.chEthereum consensus math for zero/negative issuance, comparing issuance offsets to duty penalties and the usual incentive footguns.20 Decaying validator weight gets three patches and three fresh attacks, so the quorum math still hates you.21 Algorand's PQ roadmap update, the real question is whether this staged migration beats quantum FUD before 2027.22 3 years ahead of NSA, Algorand's roadmap wants protocol-wide post-quantum support by 2027, wallets and staking too.23 Closing the first precondition: batch auctions remove the ordering surface, they do not relocate it ethresear.chEssay arguing batch auctions kill ordering privilege instead of just handing it to builders, with the next MEV preconditions queued up.24 Gatling turns parallel black-box consensus into atomic broadcast, then quantifies the head-of-line blocking you’d expect.25 Algorand Foundation Announces Post-Quantum Security Roadmap, Targets Broad Quantum Resilience by 2027 prnewswire.comAlgorand Foundation's PQ roadmap: wallets, SDKs, multisigs, consensus, and a post-quantum VRF, with 2027 as the finish line.26 Validators get to funnel part of their rewards to an ecosystem splitter if enough of them vote for it, naturally.27 Yet another DID scheme, except this one uses signed CRDTs instead of a ledger or sequencer.28 Can commit-reveal encrypted mempools dodge optionality, UX traps, and builder games? This post says no.29 Algorand's PQ roadmap covers Falcon-1024, hybrid signatures, and wallet changes, since legacy crypto rarely retires politely.30 How does Algorand get to quantum-safe by 2027, and what breaks when post-quantum accounts land in Q3 2026?