1. Остерігайтеся ажіотажу: хоча SNARK і zkVM показують величезні перспективи, вони не готові до складного розгортання з високими ставками. Баги є скрізь, формальна перевірка тільки зароджується, а докази можуть бути в сотні тисяч разів повільнішими, ніж нативне виконання.

2/ Я щойно опублікував пост, у якому викладено структуровану дорожню карту для розробки zkVM. Він відокремлює «етапи безпеки» від «етапів швидкості», надаючи нам прозорий спосіб відстеження прогресу. Читайте його тут:

3. Що стосується безпеки, я виділяю три етапи для офіційної верифікації: • Перевірені протоколи • Перевірені верифікатори • Перевірені докази Поки ми не досягнемо Стадії 2, ми не зможемо назвати zkVM «безпечним» — і до його досягнення, швидше за все, залишилося кілька років.

4. Що стосується продуктивності, накладні витрати в порівнянні з нативним виконанням все ще перевищують 100 000× — це не є початковим показником для більшості випадків використання. У моєму дописі пропонується п'ять «етапів продуктивності», щоб скоротити ці накладні витрати на порядки і в кінцевому підсумку включити докази на пристрої.

5. Найважливіше те, що ми повинні виокремити фундаментальну ефективність системи доказів. Зараз багато бенчмарків об'єднують все — систему перевірки, інженерію, апаратні бусти та налаштовані вручну прекомпіляції — в одне верхнє число, приховуючи, де ми насправді знаходимося.

6. Так, zkVM і SNARK мають величезний потенціал, але ми заграємо з катастрофою, якщо вдаємо, що вони готові до прайм-тайму. Я буду використовувати ці етапи для відстеження прогресу в zkVM в найближчі роки - і сподіваюся, що інші також це зроблять. Перегляньте мій пост тут: