malá písmena vrčí Slova jako laser, potápění, radar začínala velkými písmeny. LASER — zesílení světla stimulovanou emisí záření SCUBA — samostatný podvodní dýchací přístroj RADAR — RAdio detekce a měření vzdálenosti Když technologie dozraje a stane se spolehlivou, důvěryhodnou, komoditizovanou, získá malá písmena. Lean Ethereum je sázka na snarky, nikoli na stručné neinteraktivní ARgumenty znalostí. Postkvantová bezpečnost. Prokazatelná zdravost. End-to-end formální ověření. Hluboká kryptoanalýza. Testování v reálném čase. programovatelnost zkVM. Jednoduchost a elegance. To vše je nezbytné pro malá písmena. To vše je nevyhnutelné. Ethereum L1 má 10letou dostupnost a $1T zabezpečené hashi a podpisy, našimi kryptografickými tahouny. Věřím ve 100y uptime a $1Q zabezpečené pomocí snarků, našich kryptografických tryskových motorů. * Stupnice L1 — 10K TPS gigagová stupnice se zkEVM v reálném čase * Zabezpečení L1 – postkvantové zabezpečení s narkovanými podpisy * L1 privacy — Zcash-grade stealth s červími dírami (např. EIP-7503) Shipping snarks je kryptografický projekt Manhattan, do kterého EF investuje desítky milionů: * ověřeno-zkevm[.]org — formální ověření * Poseidon-Initiative[.]info — hluboká kryptoanalýza * Důkazy[.]org — prokazování v reálném čase * Blízkost[.]org — prokazatelná zdravost * zkevm.ethereum[.]Nadace – Zakotvení * PSE[.]dev — Ochrana osobních údajů Krok za krokem se EF vyvíjí v organizaci snark-first: * Kryptografický tým — řízení spolehlivosti a kryptoanalýzy ...