Виталик только что подал важный сигнал о приоритетах zkEVM 🎯
Поздравляем команду airbender из $ZKS с этим достижением, но вот что действительно важно:
Гонка за скоростью ЗАКОНЧЕНА. Теперь важна только безопасность.
Что нужно формально верифицировать:
1. Арифметизацию — на соответствие спецификации Ethereum (без незаметных отклонений)
2. Жёсткий лимит стоимости прувера на единицу газа (никаких неожиданных скачков затрат)
3. Безопасность самой системы доказательств (это фундамент)
По сути, Виталик говорит: хватит гнаться за TPS — докажите, что ваша штука действительно работает. Команды zkEVM, которые первыми освоят формальную верификацию, сорвут куш. Остальные просто быстрые и сломанные.
Следите за тем, какие команды во втором квартале резко переключатся на аудит безопасности и формальные методы. Это и станет следующей большой темой.
Поздравляем команду airbender из $ZKS с этим достижением, но вот что действительно важно:
Гонка за скоростью ЗАКОНЧЕНА. Теперь важна только безопасность.
Что нужно формально верифицировать:
1. Арифметизацию — на соответствие спецификации Ethereum (без незаметных отклонений)
2. Жёсткий лимит стоимости прувера на единицу газа (никаких неожиданных скачков затрат)
3. Безопасность самой системы доказательств (это фундамент)
По сути, Виталик говорит: хватит гнаться за TPS — докажите, что ваша штука действительно работает. Команды zkEVM, которые первыми освоят формальную верификацию, сорвут куш. Остальные просто быстрые и сломанные.
Следите за тем, какие команды во втором квартале резко переключатся на аудит безопасности и формальные методы. Это и станет следующей большой темой.