
Esta semana, a Stellar iniciou verificações de segurança de alto nível em sua próxima plataforma de contrato inteligente Soroban.
A Stellar Development Foundation, organização responsável pelo desenvolvimento desta rede blockchain, fez parceria com a empresa de segurança Certora para testar a segurança do Soroban, uma plataforma avançada de contratos inteligentes focada em escalabilidade e sustentabilidade para construir a infraestrutura da nova era de contratos inteligentes e aplicações digitais.
Através desta colaboração, a Stellar procura garantir segurança, estabilidade e confiança na nova plataforma, através de uma série de testes rigorosos, que permitirão à Soroban preparar-se para o seu iminente lançamento na mainnet.

Os desenvolvedores Stellar destacaram que o Soroban incorporará os recursos de verificação formal de ponta da Certora e será a primeira plataforma alimentada por WebAssembly (WASM), um formato de código binário suportado por esta assinatura de segurança. Ressaltaram também que os projetos já desenvolvidos na Soroban terão acesso às ferramentas de ponta oferecidas pela Certora.
Os recursos formais de verificação vão além da verificação tradicional de código, portanto, através da nova plataforma de contratos inteligentes, os desenvolvedores de aplicações podem garantir um maior nível de segurança, minimizando o risco de vulnerabilidades e erros que podem causar prejuízos aos seus usuários.
“Soroban é a primeira plataforma baseada em WASM a suportar Certora, tradicionalmente associada à Máquina Virtual Ethereum (EVM)”.
Revolucionando o desenvolvimento de contratos inteligentes
Através do Soroban, a Fundação Stellar quer estabelecer uma novo padrão para contratos inteligentes baseados em WASM. Soroban apresenta contratos inteligentes completos de Turing ao ecossistema Stellar, que é uma parte fundamental do roteiro compartilhado do projeto para inovar na indústria de blockchain.
Tomer Weller, vice-presidente de estratégia tecnológica da Stellar Development Foundation e principal desenvolvedor do Soroban, disse que o desenvolvimento desta plataforma de contrato inteligente era necessário porque na indústria não existia uma plataforma de contrato inteligente que oferecesse as ferramentas com as quais eles queriam trabalhar. no mercado.
Por outro lado, Mooly Sagiv, CEO da Certora, destacou que corrigir vulnerabilidades de código depois de exploradas acaba sendo mais caro, por isso é importante integrar auditorias ao processo de desenvolvimento e prevenir possíveis falhas e erros.
A empresa de segurança, que está comumente ligada ao ecossistema Ethereum, está expandindo seu apoio à Stellar e à Soroban para fornecer um alto nível de segurança em todo o ecossistema blockchain. A Certora ajudou a garantir quase US$ 25.000 bilhões em Ethereum, mitigando o risco de vulnerabilidades e erros em vários dos protocolos descentralizados mais proeminentes do ecossistema, como Aave, SushiSwap, Balancer, entre outros.
Segurança para o ecossistema DeFi
Embora DeFi represente um ecossistema financeiro digital inovador e cheio de muitas possibilidades, as vulnerabilidades de segurança de muitos dos seus projetos afetaram a reputação do ecossistema em geral, que é percebido entre utilizadores e investidores como inseguro e de alto risco.
Os desenvolvedores estelares buscam mudar essa narrativa, oferecendo através do Soroban um ambiente seguro que permite aos desenvolvedores construir um ecossistema DeFi forte desde o princípio.
Assim, graças à colaboração com a Certora, os desenvolvedores de aplicações podem escrever especificações antes da conclusão do código utilizando as ferramentas oferecidas pela empresa, para garantir aplicações mais seguras e confiáveis.
Mais de cem projetos são desenvolvidos em Soroban
Atualmente, mais de 100 projetos estão sendo desenvolvidos no Soroban, que foi lançado na sandbox Futurenet da Stellar há um ano.
Além deste lançamento, a Stellar Foundation também anunciou a criação de um fundo de US$ 100 milhões para apoiar desenvolvedores que colaboram na construção do Soroban e contam com a plataforma para criar novos aplicativos.
No ano passado, a fundação informou que o lançamento da rede principal do Soroban estava planejado para ocorrer em algum momento do primeiro semestre deste ano. No entanto, uma data oficial para a implantação do Soroban na rede principal Stellar ainda não foi definida.
Continue lendo: Protocolo de custódia descentralizada segura implementado no Polygon zkEVM


