Безопасные особенности архитектуры Taiko

Архитектура безопасности Taiko интегрирует несколько передовых функций для обеспечения безопасности, эффективности и децентрализации протокола, сохраняя при этом совместимость с Ethereum. Эти меры безопасности специально разработаны для защиты целостности сети, обеспечения безопасности сделок пользователей и обеспечения эффективного масштабирования системы без ущерба для ее основных принципов безопасности.

ZK-Rollups с нулевым доказательством

Ранее уже упоминались ZK-Rollups. Они также являются мощным компонентом в плане безопасности, позволяя обрабатывать данные транзакций вне цепочки, одновременно отправляя только криптографические доказательства (ZK-SNARKs) на главную сеть Ethereum.

ZK-Rollups используют нулевые доказательства кратких неинтерактивных доказательств (ZK-SNARKs, Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) для проверки транзакций, не раскрывая при этом никаких деталей о них. Это помогает обеспечить подтверждение валидности этих транзакций на цепочке, даже если данные транзакций обрабатываются вне цепочки. Доказательства ZK-SNARKs подтверждают правильное выполнение вычислений, не раскрывая фактические данные, что обеспечивает конфиденциальность и безопасность.

Путем снижения нагрузки данных на цепочке гарантируется возможность восстановления всего состояния Rollup из этих доказательств. Это обеспечивает согласованность цепи Layer 2 с основной сетью Ethereum и предотвращает изменение данных вне цепи.

Архитектурное решение Taiko позволяет динамически настраивать уровень безопасности в соответствии с требованиями сети. Изначально можно использовать более эффективное подтверждение, но с ростом сети и необходимостью более профессиональной безопасности можно перейти к более безопасному подтверждению ZK. Такая адаптивность обеспечивает возможность расширения мер безопасности Taiko в соответствии с постоянно меняющимися требованиями сети.

Архитектура, основанная на спорной Rollup (BCR)

Архитектура BCR в Taiko вводит многоподтверждаемую систему, в которой можно создавать и оспаривать различные типы подтверждений. Архитектура BCR обеспечивает возможность оспорить блок, если есть подозрения в его недействительности. Каждый уровень подтверждения в системе связан с обязательствами по подтверждению, которые должны быть опубликованы подтверждающей стороной. В случае успешного оспаривания подтверждения исходный подтверждающий участник потеряет свое обязательство, а оно будет передано оспаривающему участнику. Этот механизм увеличивает экономический уровень безопасности, поскольку он препятствует предоставлению фальшивых подтверждений, делая их экономически рискованными.

Система без необходимости лицензирования

Децентрализованная система доказательств Taiko, не требующая разрешений, является важной функцией безопасности, поскольку она позволяет любому участнику, обладающему достаточными вычислительными ресурсами, стать доказательством, децентрализуя процесс и снижая риск централизации. Несколько доказателей генерируют доказательства параллельно, и первый доказыватель, представивший действительное доказательство, получает вознаграждение. Такая конкурентная среда гарантирует, что сеть остается безопасной и принимает только точные доказательства.

Guardian Provers (Gardian Provers) и децентрализация

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

Этот метод поэтапного подхода позволяет Taiko достигнуть баланса между безопасностью и децентрализацией в то время, когда сеть все еще находится на ранних стадиях развития. С течением времени, по мере того как система ZK-Rollup становится более протестированной и надежной, уменьшается потребность в доказательствах хранителей, и движется в направлении полной децентрализации и самообслуживания в модели безопасности. При представлении блока он проходит период охлаждения, в течение которого любой участник может оспорить действительность предоставленных хранителями доказательств.

Путем объединения этих функций архитектура Taiko обеспечивает безопасную, масштабируемую и децентрализованную платформу для разработки и управления приложениями, совместимыми с Ethereum. Комбинация ZK-Rollups, BCR архитектуры, системы децентрализованного подтверждения и постепенного внедрения системы доказательства опекунов обеспечивает Taiko высокие стандарты безопасности и гибкость, необходимую для удовлетворения постоянно меняющихся потребностей сети.

высокие технологии

• Архитектура безопасности: Taiko использует системы Rollup с нулевым разглашением информации и многоподтверждающие системы для обеспечения высокого уровня безопасности при совместимости с Ethereum.
• Стратегия децентрализации: Taiko подчеркивает децентрализацию с помощью нелицензированных инициаторов и удостоверителей, децентрализованной модели управления и многофакторной системы, предотвращающей концентрацию власти.
• Предложители и подтверждающие: эти роли способствуют работе сети, предложители организуют транзакции, а подтверждающие проверяют транзакции с помощью криптографических доказательств.
• Механизм разрешения споров: Этот механизм необходим для обеспечения безопасности сети, позволяя участникам оспаривать недействительные доказательства и поддерживать целостность блокчейна.
• Участие сообщества: Архитектура Taiko направлена на активное участие сообщества в обеспечении безопасности и управлении сетью, чтобы гарантировать ее долгосрочную устойчивость и гибкость.