З поверхні, @0xMiden використовує зрілий стек інструментів ZK,
але його справжні бар'єри полягають не в криптографії.
Незалежно від того, наскільки важко його скопіювати, — це шлях, який він обрав з самого початку, — орієнтований навколо «доказової виконуваності»
зворотного проектування віртуальної машини, набору інструкцій і моделі облікових записів.
Це означає, що він не просто «підключає ZK» до існуючої моделі виконання,
а розглядає ZK як передумову для моделі виконання.
Якщо зробити цей вибір, його важко змінити посередині,
що також пояснює, чому цей шлях здається повільним у просуванні, а
Переглянути оригінал