snarks en minuscules Des mots comme laser, scuba, radar ont commencé par une majuscule. LASER — Amplification de la lumière par émission stimulée de radiation SCUBA — Appareil de respiration sous-marine autonome RADAR — Détection et localisation par radio Lorsque la technologie mûrit et devient fiable, digne de confiance, et banalisée, elle mérite la minuscule. Lean Ethereum est un pari sur les snarks, pas sur les Succinct Non-interactive ARguments of Knowledge. Sécurité post-quantique. Solidité prouvable. Vérification formelle de bout en bout. Cryptanalyse approfondie. Preuve en temps réel. Programmabilité zkVM. Simplicité et élégance. Tout cela est essentiel pour la minuscule. Tout cela est inévitable. Ethereum L1 a 10 ans de disponibilité et 1 trillion de dollars sécurisés avec des hachages et des signatures, nos chevaux de bataille cryptographiques. Je crois en 100 ans de disponibilité et 1 quadrillion de dollars sécurisés avec des snarks, nos moteurs à réaction cryptographiques. * Échelle L1 — 10K TPS à l'échelle gigagas avec des zkEVM en temps réel * Sécurité L1 — sécurité post-quantique avec des signatures snarkées * Confidentialité L1 — furtivité de niveau Zcash avec des trous de ver (par exemple EIP-7503) Expédier des snarks est un projet Manhattan cryptographique, dans lequel l'EF investit des dizaines de millions : * verified-zkevm[.]org — vérification formelle * poseidon-initiative[.]info — cryptanalyse approfondie * ethproofs[.]org — preuve en temps réel * proximityprize[.]org — solidité prouvable * zkevm.ethereum[.]foundation — enshrinement * pse[.]dev — confidentialité Pas à pas, l'EF évolue vers une organisation axée sur les snarks : * équipe de cryptographie — conduisant la solidité et la cryptanalyse ...