Реконструкция логики выполнения Ethereum: Как Succinct использует ZK для открытия нового режима реальных доказательств?
«TPS слишком низкий, можно ли быстрее?»
Это был самый настойчивый вопрос в индустрии блокчейна в прошлом.
От Rollup до шардирования, затем к модульному дизайну, расширение кажется единственной целью. Но настоящая проблема никогда не заключалась только в вопросе «как быстрее», а в вопросе: «Не следует ли изменить подход к мышлению?»
@Succinct говорит, да. Нам не следует больше зацикливаться на пределе повышения TPS, а стоит заново спроектировать саму логику выполнения цепи. Так появился совершенно новый подход: заменить выполнение верификацией, построив архитектуру блокчейна с реальными доказательствами.
Это не оптимизация производительности, а реконструкция базовой логики.
1⃣ Логика выполнения Ethereum
Модель выполнения Ethereum можно подвести под одну фразу:
«Все узлы делают одно и то же, чтобы обеспечить согласованность.»
На первый взгляд, это разумно, но на самом деле это трата ресурсов. Каждая транзакция должна повторно выполняться тысячами узлов — это похоже на то, как если бы тысяча учителей проводила один и тот же урок для одного студента, чтобы гарантировать «справедливость обучения».
В такой архитектуре, TPS не может быть высоким.
2⃣ Новый режим: замена выполнения на доказательство
Succinct предложил революционную идею:
Позволить узлам больше не повторно выполнять транзакции, а просто проверять один раз результаты выполнения, прошедшие нулевое знание. Другими словами, один надежный исполнитель отвечает за выполнение расчетов транзакции и генерирует ZK-доказательство, подтверждающее, что эти транзакции были выполнены правильно.
Проверяющему нужно только проверить, верно ли доказательство, и не обязательно снова запускать программу. Это переход от повторной работы к эффективному сотрудничеству, который сохраняет безопасность блокчейна и значительно повышает эффективность.
▫️ Традиционный блокчейн: все узлы повторно выполняют транзакции, повторно вычисляют, TPS крайне низкий, децентрализованный, но неэффективный.
▪️ Модель Succinct: выполняется один раз, все узлы только проверяют доказательства, без повторных вычислений, низкие затраты, безопасность неизменна, TPS увеличивается в сто раз.