Часть 5 "От нулевых знаний к нулевым знаниям" в эфире. Как код на самом деле становится доказуемым? Что такое zkVM и почему это важно? 🧵

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

Подумайте о том, как развивалась разработка ИИ. До TensorFlow вам нужно было писать код низкого уровня для GPU. Только специалисты могли создавать нейронные сети. Фреймворки абстрагировали сложность. Миллионы разработчиков последовали за этим. zkVM делают то же самое для нулевых знаний.

Не все zkVM одинаковы. Каждая команда делает архитектурные выборы в зависимости от того, на что они ориентируются. Некоторые придают приоритет прозрачности. Некоторые придают приоритет дешевизне верификации в цепочке. Некоторые придают приоритет скорости доказательства. Невозможно оптимизировать всё. Компромиссы неизбежны.