Нью‑Йорк, штат Нью‑Йорк, 21 мая 2026 года, Chainwire
Certora, комплексная платформа обеспечения безопасности, которой доверяют самые продвинутые команды Web3, получила грант в размере 2 010 000 Canton Coin (примерно 300 000 долларов США) от Canton Development Fund для создания нового открытого инструмента статического анализа для проектов Daml. Инициатива направлена на поддержку постоянной работы Certora по обеспечению полной прозрачности и машинной проверяемости поведения смарт‑контрактов, распространяя эти возможности на организации, создающие решения в сети Canton.
Инструмент Certora будет анализировать скомпилированные файлы .dar — скомпилированные пакеты смарт‑контрактов Canton, — чтобы обнаруживать и визуализировать взаимодействия между пакетами, один из самых сложных и трудных для анализа аспектов систем смарт‑контрактов. Он будет выявлять каждый случай, когда один пакет имеет полномочия вызывать другой, включая детальные ссылки, такие как пути к исходным файлам и точные номера строк. Отслеживание всей цепочки поставок каждого контракта Daml имеет ключевое значение для понимания последствий для конфиденциальности при взаимодействии со смарт‑контрактом в Canton. Такой уровень прозрачности критически важен в архитектуре Canton, ориентированной на приватность, где непреднамеренное раскрытие информации может иметь серьезные последствия. Инструмент Certora автоматизирует анализ, который необходим предприятиям до развертывания или взаимодействия с контрактом Daml.
Делегирование полномочий между пакетами — один из самых сложных аспектов многопользовательских систем смарт‑контрактов для ручного аудита. Автоматизируя этот процесс, инструмент снижает нагрузку на команды разработки, безопасности и комплаенса и повышает уверенность организаций, оценивающих приложения на базе Canton.
Инструмент будет выпущен под лицензией Apache 2.0 и напрямую интегрирован в dpm — командную утилиту Canton для сборки, тестирования и запуска приложений Canton, что сделает его легко доступным для разработчиков многопользовательских приложений на Daml.
Для банков, финансовых организаций и инфраструктурных провайдеров, рассматривающих распределенные реестры, понимание точного поведения смарт‑контрактов до развертывания является обязательным условием. Инструмент Certora приносит такой уровень строгости в экосистему Canton.
«По мере того как финансовые институты переносят критически важную инфраструктуру на системы распределенных реестров, требования к надежности смарт‑контрактов должны расти вместе с ними. Сотрудничество Certora с Canton Foundation направлено на соответствие этим требованиям, на то, чтобы предоставить такой же строгий, автоматизированный анализ, который мы создали для DeFi, учреждениям, которые нуждаются в нем больше всего», — сказал Мули Сагив, сооснователь Certora.
Доверие к распределенным системам — одна из ключевых проблем при внедрении блокчейна. Архитектура Canton, ориентированная на приватность, обеспечивает безопасный способ участия в публичных блокчейнах, но даже надежным валидаторам необходимо полное понимание и проверяемость поведения смарт‑контрактов.
Certora предоставит разработчикам и операторам четкое, практически применимое представление о том, как контракты взаимодействуют между пакетами, позволяя им оценивать риски безопасности до развертывания. Чтобы узнать больше, посетите certora.com.
О компании Certora
Certora — партнер по обеспечению безопасности, которому доверяют самые продвинутые команды Web3. Основанная в 2018 году пионерами в области языков программирования и формальных методов, Certora помогает ведущим протоколам, таким как Lido, Aave, Uniswap и Compound, защищать миллиарды долларов с уверенностью.
О Canton Foundation
The Canton Foundation — независимый управляющий орган сети Canton, блокчейн‑сети с поддержкой приватности, созданной для регулируемых финансовых услуг. Фонд контролирует управление сетью, развитие экосистемы и подключение участников.
Контакты
Старший PR‑менеджер
Лорен Букоски
[email protected]