Чарльз Хоскинсон и Виталик Бутерин спорят о ZK-доказательствах и дизайне Ethereum

• Виталик Бутерин и Чарльз Хоскинсон обсуждают эффективность zk-proof, вызывая более широкую критику блокчейна X.
• Хоскинсон критикует дизайн Ethereum, ссылаясь на риски атак Сивиллы; Бутерин предлагает Layer-Zero zkVM.
• Основатель Cardano Хоскинсон ставит под сомнение долгосрочную жизнеспособность Ethereum и стратегию Layer-2.

Техническая дискуссия в X (ранее Twitter) между соучредителем Ethereum Виталиком Бутериным и основателем Cardano Чарльзом Хоскинсоном быстро переросла в более широкую критику дизайна блокчейна, управления им и практической, реальной жизнеспособности систем доказательств с нулевым разглашением (zk).

Все началось с математических размышлений соучредителя Ethereum Виталика Бутерина, который исследовал теоретическую эффективность распределения рабочих нагрузок zk-доказательств между несколькими доказывающими устройствами.

A fun math aside, on the idea of splitting a large zk proving workload between multiple provers.

Suppose you have N provers, and you have a proving workload that you split into N parts (so, one part per prover). You require provers to pre-register, but registration is…

— vitalik.eth (@VitalikButerin) May 21, 2025

Бутерин предположил, что с помощью регистрации с открытым доступом и отказоустойчивых повторных попыток система сможет добиться проверки за логарифмическое звездное время — функцию, которая растет невероятно медленно.

Математика Бутерина, доказывающая наличие ZK, побуждает Хоскинсона к реальному опровержению

Хотя математика была элегантной, Чарльз Хоскинсон быстро набросился на ее непрактичность в реальном мире, назвав модель наивной перед лицом враждебных атак, рисков сбоев в облаке и узких мест оборудования.

Хоскинсон не просто разобрал математику; он использовал открытие, чтобы нарисовать более широкую картину того, что он считает системными недостатками Ethereum. Он утверждал, что предложенная Бутериным модель повторных попыток для zk-доказательств рухнет, столкнувшись с атаками Сивиллы, когда злоумышленники могут раскрутить тысячи поддельных доказывающих, чтобы просто заблокировать сеть.

@VitalikButerin I’ll bite. Your log*(N) retry model stumbles on real-world constraints. Open registration lets an attacker spin up thousands of provers at near zero cost, turning your 20 % failure rate into an adversarial control lever that can knock out any shard on demand.…

— Charles Hoskinson (@IOHK_Charles) May 22, 2025

Он объяснил, что это происходит из-за того, что высокие требования к оборудованию реальных схем zkEVM делают сверхбыстрый трехсекундный цикл повтора неработоспособным. Он также отметил риск самосаботажа сети, когда эскалация повторов может затопить систему ненужной пропускной способностью и вычислительной нагрузкой.

Cardano против Ethereum: философия управления и многоуровневости снова сталкивается

Это не первый раз, когда Хоскинсон позиционирует Cardano как более обоснованную альтернативу Ethereum.

Еще в сентябре 2024 года он раскритиковал управление Ethereum, сравнив его с «диктатурой» и подчеркнув, что реформа Cardano в духе Вольтера позволяет избежать крайностей как минимализма Bitcoin, так и подхода Ethereum, ориентированного на основателя.

С другой стороны, Бутерин не сидел сложа руки. Столкнувшись с растущим вниманием к зависимости Ethereum от сетей Layer-2, таких как Arbitrum и Optimism, он недавно предложил смелое обновление Layer-Zero.

Эта архитектура следующего поколения заменит виртуальную машину Ethereum на zkVM на основе стандартов RISC-V, что значительно повысит эффективность.

По теме:Трейдеры Ethereum ETH видят больше причин для оптимизма относительно его цены прямо сейчас

По предварительным оценкам, обновление может сократить размер доказательств с 346 МБ до всего лишь 1,5 МБ, сократить циклы вычислений более чем на 95% и увеличить пропускную способность транзакций до 30 раз за счет ускорения на графическом процессоре.

По теме:Хоскинсон из Cardano: «Частные деньги» возможны в Аргентине в течение следующих пяти лет

Тем не менее, Хоскинсон по-прежнему скептически относится к направлению Ethereum. Он утверждает, что чрезмерная зависимость от Layer-2 отнимает ценность у базового уровня, создает риск фрагментации и делает Ethereum уязвимым к тому, что его обгонят более надежные альтернативы или даже Bitcoin.

Он зашел так далеко, что заявил, что Ethereum может не выжить в ближайшие 15 лет, если продолжит идти по этому пути.

Источник