ForkLog on Lean Ethereum, a from-scratch-ish roadmap swapping in recursive STARKs, PQ crypto, and new consensus toys.
trending25
01 02 zk-ScalHard: Scalable and Hardware-Rooted Privacy-Preserving Authentication for Secure OTA Updates in Zonal SDVs arxiv.orgPaper on zk-ScalHard, a PUF plus ZK auth scheme for OTA updates in ECU-heavy SDVs, with recursive aggregation to keep the bytes down.03 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.04 Ethereum consensus proposal shoves validator bookkeeping into daily ZK-STARKs to shrink beacon state, naturally.05 Monthly zk roundup, this one leans harder into lattice proofs and verification than the usual SNARK link salad.06 Folding schemes, hash-based proofs, and a non-interactive DKG, because apparently one podcast needed all the cryptography.07 What changed in devnet 5, and where's Lean Consensus headed next?08 What breaks first when you push proof systems past SNARK comfort? Benedikt Bünz talks limits, recursion, and tradeoffs.09 Forum post for Aztec's v5 protocol upgrade, covering governance, proving, node and privacy changes, because one upgrade memo wasn't enough.10 GitHub repo for a PMM paper draft on three deterministic binary-field ZK primitives, plus the usual promise of transparent recursion that...11 Vitalik’s Part I walks through modern iO from FE to lattices, a recursive stack that’s still miles from practical obfuscation.12 Ritual's architecture overview for Symphony, with TEEs, ZKPs, recursive proof aggregation, and the usual blockchain obedience issues.13 Podcast episode on ICMEPreflight and ZK guardrails for AI, plus folding schemes. Apparently ML needed a hall monitor.14 Which zkVM marketplace fits, and what are you paying in latency, trust, and custody to avoid running it yourself?15 The annoying bit was an implicit carry bound, and they proved a Plonky2 U32AddManyGate in Lean after exporting Rust constraints.16 Blog post on LatticeBlindFold, a zk lattice-based folding scheme for post-quantum recursion, because curves were too mainstream.17 Zisk v1.0.0-alpha, now with distributed proving, BLS12-381 checks, broader RISC-V support, and Poseidon1 by default.18 Talk on making recursion efficient for Jolt zkVM, covering proof composition and the usual performance pain.19 Can IOPs over groups give polynomial commitments? Titan says yes, with O(n) commit and O(n^1/4) proofs.20 Mina's Protokit announcement for a ZK app framework with recursive proofs and client-side proving, because one more stack layer.21 ZKProof 8 talk on efficient recursion for the Jolt zkVM, where proof composition gets expensive in the usual charming way.22 Plonky3 gets a hiding polynomial commitment scheme via HVZK-WHIR, plus simulator, rejection tests, and overhead numbers.23 What does LaBRADOR actually do to R1CS, and why do lattice SNARKs keep hiding the algebra?24 ePrint on threshold-halving soundness for FRI/STIR/WHIR above Johnson, because the old bound apparently got lonely.25 WHIR is wired into Plonky3 now, so the real question is whether the rest of the stack finally catches up.