små bokstaver snarks Ord som laser, dykking, radar begynte med store bokstaver. LASER — Lysforsterkning ved stimulert stråling SCUBA — selvstendig undervanns pusteapparat RADAR – RAdio-deteksjon og rekkevidde Når en teknologi modnes og blir pålitelig, pålitelig, kommersiell, får den små bokstaver. Lean Ethereum er et spill på snarks, ikke kortfattet ikke-interaktiv ARguments of Knowledge. Sikkerhet etter kvante. Beviselig sunnhet. Formell verifisering fra ende til ende. Dyp kryptoanalyse. Beviser i sanntid. zkVM-programmerbarhet. Enkelhet og eleganse. Alt viktig for små bokstaver. Alt uunngåelig. Ethereum L1 har 10 års oppetid og $1T sikret med hasher og signaturer, våre kryptografiske arbeidshester. Jeg tror på 100 års oppetid og $1Q sikret med snarks, våre kryptografiske jetmotorer. * L1-skala – 10K TPS gigagas-skala med sanntids zkEVM-er * L1-sikkerhet – post-kvantesikkerhet med snarkede signaturer * L1-personvern – Zcash-klasse stealth med ormehull (f.eks. Shipping snarks er et kryptografisk Manhattan-prosjekt, et som EF investerer titalls millioner i: * verifisert-zkevm[.]org – formell verifisering * Poseidon-initiativet[.]Info — Dyp kryptoanalyse * ethproofs[.]org – beviser i sanntid * nærhetspris[.]org — beviselig forsvarlighet * zkevm.ethereum[.]Stiftelse — Stadfestelse * PSE[.]dev – personvern Steg for steg utvikler EF seg til en snark-først-organisasjon: * Kryptografiteam – driver soliditet og kryptoanalyse * Snarkification-teamet – driver formell verifisering * zkEVM-team – integrering av kjøreprotokoll * Ethproofs-teamet – driver beviser i sanntid * PSE-teamet – fremmer personvern * PQ-konsensusteam - snart™ Tro på noe magisk. Tro på små bokstaver.