Анна Мартынова
Фонд развития блокчейна Stellar объявил о комплексной проверке безопасности своей будущей платформы смарт-контрактов Soroban. Для проведения проверки безопасности Stellar заключила партнерское соглашение с компанией Certora, специализирующейся на инструментах для анализа безопасности смарт-контрактов.
Soroban, который в настоящее время работает в тестовой сети, предоставит разработчикам новый механизм для развертывания смарт-контрактов, расширяя экосистему приложений, созданных на блокчейне Stellar. Платформа использует WebAssembly (WASM) – формат двоичного кода, адаптированный для традиционной интеграции Web и блокчейна.
Фонд развития блокчейна Stellar заявил, что будет использовать формальные инструменты проверки Certora, которые превосходят простую однократную проверку кода и предоставляют услуги непрерывной интеграции. Когда код изменяется, он соответствует спецификациям. Этот подход предназначен для постоянного предотвращения ошибок и уязвимостей в кодовой базе.
Изображение: Cheesecake Labs
