Коротко:
- Аргумент Canton проти ZK ґрунтується на прихованому припущенні, що не існує резервної системи для виявлення збоїів.
- Модель Canton, заснована виключно на довірі, не має криптографічного рівня, що дозволяє скомпрометованим ключам безшумно поширювати шкоду.
- Prividium розгортає три незалежні рівні захисту, утримуючи будь-яке порушення в межах ланцюга однієї установи.
- DAML стикається з тими самими проблемами зрілості, які Canton висуває щодо ZK доказів, але з набагато меншою кількістю спостерігачів за безпекою.
Докази з нульовим розголошенням знаходяться в центрі дедалі більшої дискусії в інституційних фінансах. Засновники Canton Network стверджували, що ZK докази становлять неприйнятні ризики для критично важливих фінансових систем.
Вони порушували це питання з покупцями та регуляторами, як публічно, так і приватно. Публічна відповідь дослідника ZK Алекса безпосередньо оскаржує цей аргумент.
Спростування порівнює архітектурні підходи Canton та Prividium.
Обґрунтування ризику Canton і припущення, на якому воно ґрунтується
Аргумент Canton проти ZK доказів зосереджується на їхній складності. Помилки в таких системах можуть залишатися невиявленими, оскільки базові дані залишаються приватними.
Якщо недолік поширюється безшумно, це може створити системний ризик у фінансових мережах. Занепокоєння справжнє, але логіка, що випливає, містить прогалину.
Міркування припускає, що ZK докази є єдиною лінією захисту в системі. Алекс проводить паралель з авіацією, ядерним контролем та медичними пристроями.
Кожна з них є складною, критично важливою та здатною до катастрофічного збою. Жодна не була відкинута з цієї причини — вони працюють через резервування та обмеження, а не через відсутність ризику.
У дописі на X @gluk64 сформулював це як ширший шаблон. Будь-яка складна, критично важлива технологія, яка може катастрофічно відмовити, провалила б тест Canton.
Приховане припущення, яке виконує всю роботу, полягає в тому, що резервної системи не існує. Це припущення, а не сама технологія, створює системну небезпеку.
Власна архітектура Canton ілюструє цей момент. Її модель конфіденційності покладається виключно на довірених операторів для розділення даних між учасниками. Криптографічний рівень верифікації відсутній.
Якщо ключі оператора скомпрометовані, маніпульований стан безшумно поширюється непрозорими ланцюгами, і нічого не може це зупинити.
Багаторівневий захист Prividium і питання відкритих стандартів
Prividium будує свою модель на трьох незалежних рівнях захисту. Інституційні партнери керують вузлами у власних регульованих середовищах.
Докази з нульовим розголошенням потім додають криптографічний рівень верифікації над операційною безпекою. У міру того як системи доказів дозрівають, кілька незалежних доказувачів можуть перевірити те саме обчислення. Недолік в одній реалізації потім виявляється іншою.
Обмеження вбудоване в архітектуру за задумом. Кожен екземпляр Prividium є окремим ланцюгом, керованим однією установою.
Міжланцюгові взаємодії проходять через облікові механізми, які незалежно застосовуються установами-учасницями або ончейн. Навіть комбінована атака на внутрішню ІТ та помилку ZKP залишається обмеженою одним ланцюгом.
Питання відкритих стандартів додає ще один рівень до порівняння. Перехід ZKsync до повної еквівалентності EVM відображає принцип, що відхилення від відкритих стандартів розширює поверхню атаки.
Інфраструктура Ethereum зазнала більше десяти років ворожого тестування з сотнями мільярдів на кону. Цей процес створив сильніші стандарти аудиту, інструменти формальної верифікації та посилені шаблони дизайну.
Занепокоєння Canton щодо зрілості ZK доказів однаково застосовуються до DAML, її власної мови смартконтрактів. DAML працює в закритій екосистемі з набагато меншою кількістю розробників і дослідників безпеки, які спостерігають.
Кожен цикл вразливості, через який пройшов Ethereum, все ще попереду для DAML. Архітектура з найдовшим досвідом роботи в найжорсткіших умовах несе найменший ризик.
Допис ZK Proofs Draw Fire as Canton Disputes Their Role in Institutional Finance вперше з'явився на Blockonomi.
Джерело: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
