Недавно Виталик Бутерин, один из соучредителей Ethereum, представил новое концептуальное решение для безопасности Ethereum-Rollups, которое может значительно упростить масштабирование сети. Это новшество, которое вызвало большой интерес среди сообщества, индивидуализирует подход к проверке и улучшению процессов в распределенных системах. В данной статье мы рассмотрим сущность нового трехпровайдерного (Three-Prover) механизма, который призван объединить в себе преимущества нескольких ключевых технологий: Zero-Knowledge-Proofs (ZK), Optimistic Rollups и Trusted Execution Environments (TEEs). В последние месяцы экосистема Ethereum претерпела значительные изменения. Многие Rollups, использующие Layer-2 решения, достигли первой стадии развития.
Однако, по словам Бутерина, пришло время перейти к «Стадии 2», где приоритетом становится полная децентрализация и скорость достижения финализации транзакций. Это амбициозное видение требует внедрения новой модели, которая сможет обеспечить более высокую степень безопасности и надежности, снижая при этом зависимость от централизованных систем. Основная идея нового подхода заключается в объединении трех различных механизма проверки: ZK-Prover, TEE-Prover и Optimistic-Prover. Как это работает? Система будет считать состояние Rollup окончательно подтвержденным, когда два из трех механизмов достигнут консенсуса. Например, если ZK-Prover и TEE-Prover подтвердят одно и то же состояние, оно будет сразу же финализировано.
В случае, если только один или два механизма согласуются, включается резервный механизм, который инициирует классический период оспаривания на семь дней, как это предусмотрено в традиционных Optimistic Rollups. Функции и преимущества нового механизма проверки кажутся многообещающими. Бутерин отмечает, что такой дизайн обеспечивает: 1. Быструю финализацию в процессе нормального функционирования. 2.
Минимизацию доверия к централизованным системам. 3. Защиту от возможных ошибок в отдельных системах. На данный момент основной проблемой, по мнению Бутерина, является зависимость от Zero-Knowledge технологий, которые известны своей сложностью и возможными уязвимостями. Новая модель демонстрирует свою способность быть достаточно устойчивой даже в тех случаях, когда одно из решений временно выходит из строя.
В дополнение к этой инновационной системе Бутерин предложил создать совет безопасности - место, где смогут быстро собираться эксперты для решения проблем, возникающих в случае несогласия между провайдерами. Члены совета будут иметь возможность мгновенно обновлять логику TEE и при необходимости инициировать долгосрочные изменения в компонентах ZK или оптимистических системах. Почему такая комбинация, как ZK-Prover, Optimistic-Prover и TEE, является единственным разумным решением для дальнейшего развития Ethereum? Преимущества такого смешанного подхода заключаются в снижении вероятности наличия общих уязвимостей. Вероятность того, что все три системы выйдут из строя одновременно, крайне мала. Бутерин также отмечает, что в долгосрочной перспективе TEEs могут исчезнуть, когда ZK-Prover станут достаточно стабильными, что позволит создать полностью децентрализованную среду, где каждый Rollup будет работать без центрального контроля и с мгновенной финализацией.
Помимо обсуждения модели безопасности новый подход также касается увеличения пропускной способности данных сети Ethereum. Будущие обновления, такие как Pectra и Fusaka, обещают значительно повысить количество доступных блоков данных на один блок. Например, обновление Pectra позволит иметь до шести блоков данных на один блок, а Fusaka может увеличить это число до 72. Большее количество данных приводит к снижению комиссий за транзакции, повышению пропускной способности и меньшему количеству задержек сети – все это критически важно для массового внедрения Rollups. Также важно отметить, что на данный момент Ethereum испытывает нехватку общей инфраструктуры для агрегирования доказательств.
