cryptonews.net
Компания Certora, специализирующаяся на безопасности и верификации смарт-контрактов в сфере Web3, получила грант в размере 2,01 млн Canton Coin объемом около $300 тыс. от Canton Foundation на разработку нового инструмента с открытым исходным кодом для проектов на Daml.
Новый инструмент призван повысить прозрачность многопользовательских систем смарт-контрактов, построенных на базе сети Canton. Он будет анализировать скомпилированные файлы формата .dar, которые представляют собой пакеты смарт-контрактов Daml, и отслеживать взаимодействия между различными пакетами. Кроме того, система сможет показывать, какие пакеты имеют право вызывать другие, указывая конкретные исходные файлы и строки кода.
Проект направлен на решение одной из наиболее сложных задач в сфере безопасности блокчейна. В крупных многопользовательских системах связи между контрактами и делегированные права доступа со временем становятся слишком сложными для ручного отслеживания. Это создает трудности для разработчиков, аудиторов и специалистов по соблюдению нормативных требований, которым необходимо четко понимать, как будет работать приложение еще до его запуска.
В Certora заявили, что новый инструмент позволит автоматизировать этот процесс и сократить объем работы при проведении аудитов безопасности. Компания планирует выпустить программное обеспечение по лицензии Apache 2.0 с открытым исходным кодом и интегрировать его в dpm — командную среду Canton для разработки и запуска приложений.
Разработка также ориентирована на финансовые организации, которые изучают возможности применения технологий распределенного реестра. Банкам и инфраструктурным компаниям обычно требуется детальный анализ поведения смарт-контрактов до внедрения блокчейн-решений в рабочие процессы.
Изображение: Magnific