ForkLog on Lean Ethereum, a from-scratch-ish roadmap swapping in recursive STARKs, PQ crypto, and new consensus toys.
trending30
01 02 Cointelegraph on Bitcoin's post-quantum fork in the road: bigger blocks or STARKs, because apparently one crisis wasn't enough.03 Does AMD ROCm/HIP finally do Goldilocks STARK proving? The post includes qingming-stark-g64, CLI flow, and SCALE20-27 benchmarks.04 CCN writeup on Vitalik's lean Ethereum proposal, shrinking Beacon Chain state and adding ZK validator privacy, because why not.05 The Small-Field Turn in Succinct Proofs: A Systematization of Finite-Field Choice in Modern SNARKs and STARKs eprint.iacr.orgA field-choice taxonomy for SNARKs/STARKs, explaining why Plonky2/3, Stwo, and Binius ditched the usual big primes.06 SoK: Hash-Based Polynomial Commitments and Low-Degree Tests: From FRI to Basefold, STIR, and WHIR eprint.iacr.orgSoK on FRI lineage, from proximity gaps to Johnson bounds, with the usual transparent SNARK security footnotes.07 Ethereum consensus proposal shoves validator bookkeeping into daily ZK-STARKs to shrink beacon state, naturally.08 Native Goldilocks/G64 NTTs on an RTX4090, with qingming_fast/standard benchmarks and validated LDE domains up to 2^30.09 Qingming-g64-ntt: Native Goldilocks/G64 GPU NTT at 2^27 on RX 7900 XTX, and a reproducible benchmark plan ethresear.ch2^27 NTT on an RX 7900 XTX, plus a benchmark plan and correctness checks, for those who enjoy measuring crypto pain.10 BeTrueCore mixes MACI, nullifiers, and read-only AI sentinels into a governance stack where bribery proofs are supposed to self-delete.11 Ethlabs Launch, the EF Restructures, Starknet Brings Private USDC, Crypto Neobanks Go Mainstream medium.comWeekly Ethereum infra digest covers Ethlabs, EF restructuring, Starknet private USDC, and crypto neobanks.12 The wallet keeps issuance unchanged, then hides cert chains, signatures, and age checks inside one STARK proof.13 Monthly zk roundup, this one leans harder into lattice proofs and verification than the usual SNARK link salad.14 How does StarkWare plan to make Starknet quantum-resistant? Replace Pedersen, add PQ sigs, then pray Ethereum upgrades too.15 StarkWare's thread says Starknet is a bet on post-quantum security and sketches the roadmap to make that less hand-wavy.16 Explains ZK rollups, batching, validity proofs, data availability, and the usual SNARK vs STARK arguments. Standard L2 tourism.17 How much faster is Plonky3 v0.6.0? About 2.3x prover speedup for Circle STARK over M31, no new hardware.18 Book review of Zero Knowledge, Infinite Trust, summarizing blockchain basics, zk-SNARKs, and the usual STARKs optimism.19 Vitalik’s Part I walks through modern iO from FE to lattices, a recursive stack that’s still miles from practical obfuscation.20 Report on a mySwap Starknet exploit that drained $305K from shared pools and got bridged onward, because finance needed more abstractions.21 Tutorial on generating Merkle tree proofs with Plonky3, for when a tree needs a proving system.22 Starknet's STRK20 privacy pool is live on mainnet, with private swaps, staking, and transfers. Transparency remains a hobby.23 What changed in Starknet this week? A weekly dump of protocol, devtool, privacy, SIP, and ecosystem updates.24 A finance-flavored checklist for shielded transactions: swap ECC privacy for zk-STARKs and NIST PQC, then hope upgrades work.25 Fake EVIL token drains mySwap’s Starknet CL pools for $305K, because token names are not security boundaries.26 Need anonymous agents to prove compliance without doxxing their graph? ACTA sketches ERC-8004 creds, proofs, and contracts.27 PACTs adds privacy-preserving proof of Bitcoin key control today, so quantum-era rescue needn’t leak public keys like a clown show.28 How do you make aMACI work on Starknet, with Cairo zkSTARKs and the usual non-PQ crypto baggage?29 ePrint on threshold-halving soundness for FRI/STIR/WHIR above Johnson, because the old bound apparently got lonely.30 Stellar sketches a phased post-quantum migration, starting in Soroban and eventually retiring Ed25519, while ZK pairings stay awkward.