1/ Остерегайтесь шумихи: хотя SNARKs и zkVMs показывают огромный потенциал, они не готовы для сложных, высокорисковых внедрений. Ошибки повсюду, формальная верификация находится на начальной стадии, а доказательства могут быть в сотни тысяч раз медленнее, чем нативное выполнение.

2/ Я только что опубликовал пост, в котором изложен структурированный план развития zkVM. Он разделяет «этапы безопасности» от «этапов скорости», предоставляя нам прозрачный способ отслеживания прогресса. Прочитайте его здесь:

3/ По безопасности я выделяю три этапа для формальной верификации: • Проверенные протоколы • Проверенные верификаторы • Проверенные провайдеры Пока мы не достигнем Этапа 2, мы не можем действительно назвать zkVM «безопасным» — и достижение этого этапа, вероятно, займет еще несколько лет.

4/ По производительности, накладные расходы по сравнению с нативным исполнением все еще превышают 100,000× — это неприемлемо для большинства случаев использования. Мой пост предлагает пять «этапов производительности», чтобы сократить эти накладные расходы на порядки и в конечном итоге обеспечить доказательства на устройстве.

5/ Важно изолировать фундаментальную эффективность системы доказательств. В настоящее время многие эталонные показатели объединяют все — систему доказательств, инженерные решения, аппаратные улучшения и ручные оптимизации — в единое итоговое число, скрывая наше реальное положение.

6/ Итак, да, zkVM и SNARK обладают огромным потенциалом, но мы играем с огнем, если притворяемся, что они готовы к прайм-тайму. Я буду использовать эти этапы, чтобы отслеживать прогресс zkVM в ближайшие годы — и надеюсь, что другие тоже будут. Ознакомьтесь с моим постом здесь: