строчные snarks Слова, такие как laser, scuba, radar, начинались с заглавной буквы. LASER — Увеличение света за счет стимулированного излучения радиации SCUBA — Самостоятельный подводный дыхательный аппарат RADAR — Радиообнаружение и определение расстояния Когда технология созревает и становится надежной, заслуживающей доверия, товарной, она получает строчную букву. Lean Ethereum — это ставка на snarks, а не на Succinct Non-interactive ARguments of Knowledge. Постквантовая безопасность. Доказуемая надежность. Формальная верификация от начала до конца. Глубокая криптоанализ. Доказательство в реальном времени. Программируемость zkVM. Простота и элегантность. Все это необходимо для строчной буквы. Все это неизбежно. Ethereum L1 имеет 10 лет времени работы и $1 трлн, защищенных хешами и подписями, нашими криптографическими рабочими лошадками. Я верю в 100 лет времени работы и $1 квадрильон, защищенных snarks, нашими криптографическими реактивными двигателями. * Масштаб L1 — 10K TPS гига-масштаб с zkEVM в реальном времени * Безопасность L1 — постквантовая безопасность с подписанными snarks * Конфиденциальность L1 — уровень Zcash с червоточинами (например, EIP-7503) Доставка snarks — это криптографический Манхэттенский проект, в который EF инвестирует десятки миллионов: * verified-zkevm[.]org — формальная верификация * poseidon-initiative[.]info — глубокий криптоанализ * ethproofs[.]org — доказательство в реальном времени * proximityprize[.]org — доказуемая надежность * zkevm.ethereum[.]foundation — закрепление * pse[.]dev — конфиденциальность Шаг за шагом EF эволюционирует в организацию, ориентированную на snark: * команда криптографии — ведет надежность и криптоанализ * команда snarkification — ведет формальную верификацию * команда zkEVM — ведет интеграцию протокола * команда Ethproofs — ведет доказательство в реальном времени * команда PSE — ведет конфиденциальность * команда PQ consensus — скоро™ Верить в нечто волшебное. Верить в строчные snarks.