Stellar проведет проверки безопасности платформы смарт-контрактов Soroban

Стоящая за блокчейном Stellar организация объявила о комплексных проверках безопасности своей будущей платформы смарт-контрактов Soroban. Для проведения этих проверок компания заключила партнерство с фирмой в области безопасности Certora.

В настоящее время Soroban работает в тестовой сети. Она предоставит разработчикам новый механизм для размещения смарт-контрактов, расширяя экосистему приложений, созданных на базе блокчейна Stellar. Платформа использует формат двоичного кода WebAssembly (WASM), адаптированный для блокчейн-интеграции.

Stellar Development Foundation заявила, что будет использовать формальные инструменты проверки Certora, которые превосходят простую однократную проверку кода и предоставляют услуги непрерывной интеграции.

«Поддержка Soroban со стороны Certora обеспечит более 100 уже находящихся в разработке проектов современными инструментами проверки для обеспечения целостности программного обеспечения. Вместе со встроенными функциями тестирования и безопасности Soroban у разработчиков есть инструменты, необходимые для обхода предыдущих уязвимостей и создания основы для безопасной DeFi-экосистемы с момента ее появления», — заявил вице-президент по продуктам Stellar Development Foundation Томер Веллер.

Запуск основной сети Soroban ожидается в начале следующего года.

Источник
Уникальность