- Фонд развития Stellar заключил партнерство с компанией Certora для повышения безопасности своей платформы смарт-контрактов Soroban.
- Инструменты формальной верификации Certora не только проверяют код, но и обеспечивают непрерывную интеграцию, гарантируя соответствие кода спецификациям по мере его развития.
В среду, 11 октября, Фонд развития Stellar объединил усилия с компанией Certora, объявив о дополнительной поддержке безопасности своей платформы смарт-контрактов Soroban. Совместная работа двух игроков будет направлена на внедрение в Soroban передовой формальной проверки безопасности.
Certora, традиционно связанная с виртуальной машиной Ethereum (EVM), расширила свою поддержку, включив в нее Soroban — первую платформу на базе WASM (WebAssembly).
Product update! Today, @CertoraInc & @StellarOrg have teamed up to boost @SorobanOfficial, the Stellar network's smart contract platform, with cutting-edge formal security verification.
Why is this important? It fortifies the foundation of blockchain security, ensuring trust…
— Stellar (@StellarOrg) October 11, 2023
В конкурентной сфере смарт-контрактов безопасность стоит на первом месте. Смарт-контракты, отвечающие за автоматизацию операций в сетях blockchain, работают в условиях повышенной секретности. Они управляют значительным капиталом, полностью прозрачны, что делает их код и ошибки видимыми для всех, и обладают неизменяемостью, что требует обширных процедур управления для устранения ошибок.
В этом контексте безопасность не подлежит обсуждению, а точность кода играет ключевую роль в предотвращении уязвимостей и защите пользовательских активов. Certora, инновационный инструмент формальной верификации, стал лидером в этом направлении, предоставляя разработчикам инструменты, необходимые для валидации кода. Говоря об этой разработке, Томер Веллер, вице-президент по продуктам Stellar Development Foundation, сказал:
«Поддержка Certora платформы Soroban предоставит более чем 100 проектам, уже работающим на платформе, доступ к инновационным инструментам верификации, созданным для достижения корректности программного обеспечения. В сочетании со встроенными средствами тестирования и обеспечения безопасности Soroban разработчики получат инструменты, необходимые для того, чтобы избежать уязвимостей, о которых мы видели в заголовках газет в прошлом, и создать безопасную экосистему DeFi с самого начала».
Certora и Soroban — работа рука об руку
Надежное программное обеспечение Certora опирается на два десятилетия академических исследований и инновационных технологий, эффективно распространяя формальную верификацию на реальные программы. Такой подход обеспечивает безопасность и надежность смарт-контрактов.
За последние четыре года Certora обеспечила защиту клиентского кода, предотвратив более 100 ошибок, связанных с высоким уровнем безопасности, в таких известных протоколах DeFi, как Aave, Balancer, Compound, suhsiSwap и других. По данным DeFiLlama, Certora обеспечила блокировку в сети Ethereum общей стоимостью 25 млрд. долл.
Тем не менее, инструменты формальной верификации Certora выходят за рамки одноразовых проверок кода. Она предлагает услугу постоянной интеграции, которая обеспечивает постоянное соответствие кода спецификациям. Такой проактивный подход к проверке позволяет эффективно предотвратить проникновение ошибок и уязвимостей в кодовую базу с самого начала, что в конечном итоге экономит время и ресурсы. Эта услуга легко интегрируется в обычный цикл разработки.
Soroban представляет собой новое поколение смарт-контрактов, в которых особое внимание уделяется масштабируемости, устойчивости и надежному тестированию. С принятием WASM, универсального формата двоичного кода, идеально подходящего для экосистем блокчейн, Soroban расширяет доступ к широкому спектру языков программирования и инструментов, включая тестирование.
Возможности формальной верификации Certora позволяют разработчикам Soroban повышать надежность и безопасность своих смарт-контрактов, обеспечивая конечным пользователям повышенную уверенность в приложениях, с которыми они взаимодействуют. Мули Сагив, генеральный директор Certora, сказал:
«Один из уроков, извлеченных из нашего опыта работы в DeFi, заключается в том, что инструменты и аудит появляются слишком поздно в процессе разработки. Такой недосмотр увеличивает стоимость программного обеспечения и приводит к тому, что ошибки обнаруживаются только после того, как уязвимости уже использованы. Инструменты Certora могут помочь разработчикам написать спецификации еще до завершения работы над кодом, чтобы обеспечить безопасность и надежность приложений. Мы рады присоединиться к экосистеме Soroban».
Stellar также сотрудничает с другими игроками рынка, чтобы продвинуть использование технологии блокчейн на развивающихся рынках. Совместно с консалтинговым гигантом PwC Фонд развития Stellar выпустил обширную программу, описывающую необходимые шаги для web3-стартапов, чтобы воспользоваться возможностями на развивающихся рынках. Кроме того, Stellar Foundation работает над совершенствованием инфраструктуры для трансграничных платежей с использованием технологии блокчейн.
