С виду, @0xMiden использует зрелый стек ZK,

но его настоящие барьеры заключаются не в криптографии.

Трудно воспроизвести то, что изначально строилось вокруг «доказуемого выполнения»,
обратного проектирования виртуальной машины, набора инструкций и модели аккаунтов.

Это означает, что он не просто «подкладывает ZK» в существующую модель выполнения,
а делает ZK предпосылкой для модели выполнения.

Как только такой выбор сделан, его трудно изменить в процессе,
что также объясняет, почему этот путь кажется медленным, но структурно целостным.