lowercase snarks Words like laser, scuba, radar began uppercase. LASER — Light Amplification by Stimulated Emission of Radiation SCUBA — Self-Contained Underwater Breathing Apparatus RADAR — RAdio Detection And Ranging When a technology matures and becomes reliable, trusted, commoditised, it earns the lowercase. Lean Ethereum is a bet on snarks, not Succinct Non-interactive ARguments of Knowledge. Post-quantum security. Provable soundness. End-to-end formal verification. Deep cryptanalysis. Real-time proving. zkVM programmability. Simplicity and elegance. All essential for the lowercase. All inevitable. Ethereum L1 has 10y uptime and $1T secured with hashes and signatures, our cryptographic workhorses. I believe in 100y uptime and $1Q secured with snarks, our cryptographic jet engines. * L1 scale — 10K TPS gigagas scale with real-time zkEVMs * L1 security — post-quantum security with snarked signatures * L1 privacy — Zcash-grade stealth with wormholes (eg EIP-7503) Shipping snarks is a cryptographic Manhattan Project, one the EF is investing tens of millions into: * verified-zkevm[.]org — formal verification * poseidon-initiative[.]info — deep cryptanalysis * ethproofs[.]org — real-time proving * proximityprize[.]org — provable soundness * zkevm.ethereum[.]foundation — enshrinement * pse[.]dev — privacy Step by step, the EF is evolving into a snark-first org: * cryptography team — driving soundness and cryptanalysis * snarkification team — driving formal verification * zkEVM team — driving protocol integration * Ethproofs team — driving real-time proving * PSE team — driving privacy * PQ consensus team — soon™ Believe in something magical. Believe in lowercase snarks.