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