TLDR:
- Аргумент Canton против ZK основан на скрытом предположении, что не существует резервной системы для обнаружения сбоев.
- Модель Canton, основанная только на доверии, не имеет криптографического уровня, оставляя скомпрометированные ключи распространять ущерб незаметно.
- Prividium развертывает три независимых уровня защиты, удерживая любую брешь в пределах цепочки одного учреждения.
- DAML сталкивается с теми же проблемами зрелости, которые Canton поднимает относительно ZK-доказательств, но с гораздо меньшим количеством наблюдающих за безопасностью.
Доказательства с нулевым разглашением находятся в центре растущих дебатов в институциональных финансах. Основатели Canton Network утверждали, что ZK-доказательства представляют неприемлемые риски для критически важных финансовых систем.
Они подняли этот вопрос перед покупателями и регуляторами, как публично, так и в частном порядке. Публичный ответ исследователя ZK Алекса напрямую оспаривает этот аргумент.
Опровержение сравнивает архитектурные подходы Canton и Prividium.
Обоснование рисков Canton и предположение, на котором оно основано
Аргумент Canton против ZK-доказательств сосредоточен на их сложности. Ошибки в таких системах могут остаться необнаруженными, поскольку базовые данные остаются конфиденциальными.
Если недостаток распространяется незаметно, это может создать системный риск в финансовых сетях. Обеспокоенность обоснована, но логика, которая следует, содержит пробел.
Рассуждение предполагает, что ZK-доказательства являются единственной линией защиты в системе. Алекс проводит параллель с авиацией, ядерным контролем и медицинскими устройствами.
Каждая из них сложна, критически важна и способна к катастрофическому сбою. Ни одна не была отвергнута по этой причине—они работают через резервирование и сдерживание, а не через отсутствие риска.
В публикации на X @gluk64 представил это как более широкую закономерность. Любая сложная, критически важная технология, которая может катастрофически выйти из строя, не прошла бы тест Canton.
Скрытое предположение, выполняющее всю работу, заключается в том, что не существует резервной системы. Именно это предположение, а не сама технология, создает системную опасность.
Собственная архитектура Canton иллюстрирует эту точку зрения. Его модель конфиденциальности полагается исключительно на доверенных операторов для разделения данных между участниками. Криптографический уровень проверки отсутствует.
Если ключи оператора скомпрометированы, манипулированное состояние распространяется незаметно по непрозрачным цепочкам без возможности его обнаружения.
Многоуровневая защита Prividium и вопрос открытых стандартов
Prividium строит свою модель на трех независимых уровнях защиты. Институциональные партнеры управляют узлами в своих собственных регулируемых средах.
Доказательства с нулевым разглашением затем добавляют криптографический уровень проверки поверх операционной безопасности. По мере созревания систем доказательства несколько независимых верификаторов могут проверять одно и то же вычисление. Недостаток в одной реализации затем обнаруживается другой.
Сдерживание встроено в архитектуру по дизайну. Каждый экземпляр Prividium представляет собой отдельную цепочку, управляемую одним учреждением.
Межцепочечные взаимодействия проходят через механизмы учета, независимо контролируемые участвующими учреждениями или в цепочке. Даже комбинированная атака на внутренние IT и ошибку ZKP остается ограниченной одной цепочкой.
Вопрос открытых стандартов добавляет еще один уровень к сравнению. Переход ZKsync к полной эквивалентности EVM отражает принцип, что отклонение от открытых стандартов расширяет поверхность атаки.
Инфраструктура Ethereum столкнулась с более чем десятилетием состязательного тестирования с сотнями миллиардов на кону. Этот процесс создал более строгие стандарты аудита, инструменты формальной верификации и укрепленные шаблоны проектирования.
Опасения Canton относительно зрелости ZK-доказательств в равной степени применимы к DAML, его проприетарному языку смарт-контрактов. DAML работает в закрытой экосистеме с гораздо меньшим количеством разработчиков и исследователей безопасности, наблюдающих за ней.
Каждый цикл уязвимостей, через который прошел Ethereum, все еще впереди для DAML. Архитектура с самым длинным послужным списком в самых суровых условиях несет наименьший риск.
Публикация ZK-доказательства подвергаются критике, поскольку Canton оспаривает их роль в институциональных финансах впервые появилась на Blockonomi.
Источник: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
