Виталик Бутерин: STARKs становятся ключевой технологией для Ethereum
Ключевые тезисы из выступления Бутерина на конференции Shanghai Blockchain International week:
• Современные возможности аналитики и ИИ сделали прежний подход к конфиденциальности недостаточным.
• Главным технологическим изменением стали доказательства с нулевым разглашением — SNARKs и STARKs. Они позволяют одному участнику выполнить вычисления и создать доказательство, которое остальные могут эффективно проверить без раскрытия всех исходных данных.
• SNARKs и STARKs постепенно переходят из концепции в реальную инфраструктуру блокчейнов. Бутерин считает, что сейчас дорожные карты смещаются в сторону широкого применения STARKs.
• FHE, обфускация и другие криптографические технологии также становятся более практичными и позволяют создавать более мощные системы.
• Архитектура Ethereum движется к параллельной обработке и распределенному созданию блоков, при котором несколько участников совместно формируют блок, снижая возможность одного участника задерживать транзакции.
• Меняется сама задача криптографии: раньше она отвечала прежде всего на вопрос «кто может отправить какие активы», теперь становится программируемым и вопрос о том, «кто может видеть какую информацию».
• В следующие пять лет Бутерин ожидает дальнейшего ускорения этой трансформации: вместо отдельного блокчейна формируется комплексная криптографическая система, в которой значительная часть вычислений выполняется локально, затем данные проходят через различные пулы, агрегируются и записываются в блокчейн.
• Новая архитектура должна значительно уменьшить компромиссы между масштабируемостью, скоростью и безопасностью.
• ИИ ускоряет разработку и проверку сложных криптографических систем. Благодаря ИИ и новым методам верификации можно работать с гораздо более сложным кодом.
• Формальная верификация становится одним из ключевых направлений: разные спецификации и реализации можно автоматически и математически проверять на соответствие друг другу.
• По мнению Бутерина, ИИ помогает не только быстрее создавать инфраструктуру, но и повышать ее безопасность.
• Новые криптографические возможности позволяют переосмыслить приложения на Ethereum: теперь можно исходить из того, что конфиденциальность программируема, а безопасность сложного кода может обеспечиваться формальными методами.
Источник
Подробнее на нашем сайте
@SatoshiNews - главное о крипте
Криптокарта |
eSIM | 😍
BingX
