Фонд развития блокчейна Stellar объявил о комплексных проверках безопасности своей будущей платформы смарт-контрактов Soroban.
Для проведения проверок компания заключила партнерство с компанией Certora — ведущей в отрасли компании, предоставляющей инструменты для формальной проверки и аудита смарт-контрактов.
Soroban, который в настоящее время работает в тестовой сети, предоставит разработчикам новый механизм для развертывания смарт-контрактов, расширяя экосистему приложений, созданных на блокчейне Stellar. Платформа использует WebAssembly (WASM) — формат двоичного кода, адаптированный для традиционной интеграции Интернета и блокчейна.
Soroban — первая платформа на базе WASM, поддерживаемая Certora, традиционно ассоциированная с виртуальной машиной Ethereum (EVM).
Учитывая враждебную среду блокчейна, в которой даже незначительные уязвимости кода могут привести к серьезным неудачам, Stellar подтвердила необходимость внедрения строгих проверок безопасности. Благодаря своим прозрачным и неизменным характеристикам смарт-контракты требуют строгих мер безопасности для отражения потенциальных угроз.
Фонд Stellar Development Foundation заявил, что будет использовать формальные инструменты проверки Certora, которые превосходят простую однократную проверку кода и предоставляют услуги непрерывной интеграции. Когда код изменяется, он соответствует спецификациям. Этот подход предназначен для постоянного предотвращения ошибок и уязвимостей в кодовой базе.
«Поддержка Soroban со стороны Certora обеспечит более 100 проектов, уже находящихся в разработке на платформе, современными инструментами проверки для обеспечения целостности программного обеспечения», — сказал Томер Веллер, вице-президент по продуктам Stellar Development Foundation. «Вместе со встроенными функциями тестирования и безопасности Soroban у разработчиков есть инструменты, необходимые для обхода предыдущих уязвимостей и создания основы для безопасной экосистемы DeFi с момента ее создания».
Мощное программное обеспечение Certora использует 20-летние академические исследования и уникальные технологии, которые масштабируют формальную проверку до реальных программ, обеспечивая безопасность и надежность смарт-контрактов. За последние четыре года Certora защитила код клиентов и предотвратила более 100 ошибок с высоким уровнем безопасности в ведущих протоколах DeFi, таких как Aave V2, Balancer V2, Aave V3, Compound V2, Compound V3, Gnosis Safe, SushiSwap ConstantPool и Lido. По данным DefiLlama , Certora получает 25 миллиардов долларов общей стоимости, заблокированной в Ethereum.
Помимо создания официального инструмента проверки Soroban, команда безопасности Certora примет участие в инициативе Soroban Audit Bank Initiative , вкладывая время и средства в обучение экосистемы Soroban использованию этого нового сервиса.
