Нью-Йорк, Нью-Йорк, 21 травня 2026 року, Chainwire
Certora, комплексна платформа забезпечення безпеки, якій довіряють найпросунутіші команди Web3, отримала грант у розмірі 2 010 000 Canton Coin (приблизно 300 тис. доларів США) від 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]