Snarks med små bokstäver Ord som laser, dykning, radar började med versaler. LASER – Ljusförstärkning genom stimulerad emission av strålning SCUBA – Fristående andningsapparat för undervattensbruk RADAR — RAdio-detektering och avståndsmätning När en teknik mognar och blir pålitlig, betrodd och handelsvara, tjänar den den gemener. Lean Ethereum är en satsning på snarks, inte kortfattade icke-interaktiva kunskapsförklaringar. Säkerhet efter kvantum. Bevisbar sundhet. Formell verifiering från början till slut. Djup kryptoanalys. Provning i realtid. Programmerbarhet av zkVM. Enkelhet och elegans. Allt viktigt för gemener. Allt är oundvikligt. Ethereum L1 har 10 års drifttid och 1 biljon dollar säkrade med hashvärden och signaturer, våra kryptografiska arbetshästar. Jag tror på 100 års drifttid och $ 1Q säkrad med snarks, våra kryptografiska jetmotorer. * L1-skala — 10K TPS gigagas-skala med zkEVM:er i realtid * L1-säkerhet – post-kvant-säkerhet med snarkade signaturer * L1 sekretess - Zcash-grade stealth med maskhål (t.ex. EIP-7503) Shipping snarks är ett kryptografiskt Manhattan-projekt, ett projekt som EF investerar tiotals miljoner i: * verifierad-zkevm[.]org – formell verifiering * Poseidon-initiativet[.]Info — Djup kryptoanalys * etbevis[.]org – Provning i realtid * Närhetspris[.]org – bevisbar sundhet * zkevm.ethereum[.]Stiftelse – Befästning * PSE[.]Dev – Sekretess Steg för steg utvecklas EF till en snark-first-org: * Kryptografiteam - Driver sundhet och kryptoanalys * Snarkifieringsteam - Driver formell verifiering * zkEVM-teamet – Integrering av körprotokoll * Ethproofs-teamet – driver realtidsprovning * PSE-teamet – att driva integritet * PQ-konsensusteam - snart™ Tro på något magiskt. Tro på små bokstäver.