Оборона Кантона усилена пакетом расширенной защиты Certora

В целях значительного повышения безопасности Web3 Certora, известный эксперт по проверке смарт-контрактов, получил от Canton Foundation существенный грант в размере 2,01 миллиона кантонских монет на сумму около 300 000 долларов США. Это финансирование будет использовано для создания инновационного решения с открытым исходным кодом, специально разработанного для проектов Daml и специально предназначенного для повышения прозрачности в сложных, многосторонних экосистемах смарт-контрактов, работающих в сети Canton Network.

Будущий инструмент будет тщательно изучать скомпилированные файлы .dar, которые инкапсулируют смарт-контракты, написанные на Daml, и тщательно определять взаимодействия между различными пакетами контрактов. Кроме того, он предоставит подробную информацию о разрешениях, которые регулируют взаимодействие между этими пакетами, включая точное расположение файлов и номера строк. Таким образом, инструмент решает давнюю проблему безопасности блокчейна, когда сложные отношения между контрактами и делегированными разрешениями могут становиться все более громоздкими для отслеживания вручную, особенно в крупномасштабных многосторонних системах.

Эта проблема создает серьезные препятствия для разработчиков, аудиторов и групп по обеспечению соответствия требованиям, которым требуется всестороннее понимание поведения приложения перед его развертыванием. Решение Certora призвано облегчить это бремя за счет автоматизации процесса, тем самым оптимизируя проверки безопасности и снижая связанную с этим рабочую нагрузку. По завершении компания намерена выпустить программное обеспечение под лицензией с открытым исходным кодом Apache 2.0, гарантируя широкую доступность и интеграцию с dpm, интерфейсом командной строки Canton для создания и выполнения приложений.

Разработка этого инструмента особенно актуальна для финансовых учреждений, исследующих потенциал систем распределенного реестра. Прежде чем развертывать приложения блокчейна в производственных средах, банкам и поставщикам инфраструктуры часто требуется тщательный анализ поведения контрактов — требование, для выполнения которого решение Certora имеет хорошие возможности. Повышая безопасность и прозрачность многосторонних систем смарт-контрактов, это нововведение может способствовать более широкому внедрению технологии блокчейна в финансовом секторе.