Certora lança a primeira plataforma segura de codificação em IA para contratos inteligentes
21 de novembro de 2025 – Tel Aviv-Yafo, Israel
Certora, a plataforma de garantia de segurança full-stack confiada pelas equipes mais avançadas do Web3, anunciou hoje o Certora AI Composer, uma plataforma de codificação de IA open-source que combina inteligência artificial com verificação formal para tornar o desenvolvimento de smart contracts mais rápido e seguro.
Diferente das ferramentas genéricas de “IA para código” que focam em velocidade e conveniência, o Certora AI Composer garante que cada trecho gerado por IA siga regras matemáticas de segurança antes mesmo de ser executado. Ao incorporar a comprovada tecnologia de verificação formal da Certora diretamente no ciclo de geração da IA, os desenvolvedores podem explorar ideias de design com confiança, sabendo que os invariantes de segurança são continuamente verificados em vez de serem ajustados posteriormente.
“Usar IA nunca deve significar comprometer a segurança. O Certora AI Composer prova que IA e verificação formal podem trabalhar juntas para tornar o desenvolvimento de smart contracts confiável por padrão,” explicou Mooly Sagiv, fundador da Certora. “Este lançamento alpha é nosso convite para a comunidade nos ajudar a moldar o futuro da codificação autônoma segura.”
O Certora AI Composer Alpha será open source a partir de 4 de dezembro e estará disponível para a comunidade no GitHub. Os desenvolvedores são incentivados a experimentar, fornecer feedback e contribuir para definir um novo padrão para o desenvolvimento verificado orientado por IA.
Principais características:
- Verificações de verificação formal integradas para código gerado por IA
- Extensibilidade open-source para criar seus próprios módulos de segurança
- Suportado pelo Certora Prover, o motor de verificação confiado pela indústria da Certora
A Certora também realizará um evento ao vivo em 4 de dezembro intitulado “AI Meets Verification: An Open Discussion with Certora Researchers”, que fornecerá uma descrição detalhada de como o Certora AI Composer opera e como pode aprimorar a segurança.
Os usuários podem se inscrever para o evento AQUI, e segui-los no Twitter em @CertoraInc para futuras atualizações e lembretes.
Sobre a Certora
A Certora é o parceiro de garantia de segurança confiado pelas equipes mais avançadas do Web3. Fundada em 2018 por pioneiros em linguagens de programação e métodos formais, a Certora ajuda protocolos líderes como Lido, Aave, Uniswap e Compound a proteger bilhões em valor com confiança.
Aviso Legal: o conteúdo deste artigo reflete exclusivamente a opinião do autor e não representa a plataforma. Este artigo não deve servir como referência para a tomada de decisões de investimento.
Talvez também goste
Ethereum (ETH) atinge suporte chave, o mercado de baixa das criptomoedas já começou?

O 'mercado de baixa mais rápido' do Bitcoin esconde um possível resultado positivo para o BTC no final do ano

A confirmação do death cross do Bitcoin pode significar que o BTC está oficialmente em um mercado de baixa

Populares
Mais[Seleção diária de notícias da Odaily] CIO da Bitwise: US$ 84.000 se torna linha de defesa recente do BTC, faixa de US$ 70.000 é alvo potencial de recuo; Grayscale DOGE e XRP spot ETF serão listados na NYSE na segunda-feira; Votação sobre corte de juros do Fed em dezembro entra em “impasse”, Cook, pressionado por Trump, pode ser o voto decisivo
Ethereum (ETH) atinge suporte chave, o mercado de baixa das criptomoedas já começou?

![[Seleção diária de notícias da Odaily] CIO da Bitwise: US$ 84.000 se torna linha de defesa recente do BTC, faixa de US$ 70.000 é alvo potencial de recuo; Grayscale DOGE e XRP spot ETF serão listados na NYSE na segunda-feira; Votação sobre corte de juros do Fed em dezembro entra em “impasse”, Cook, pressionado por Trump, pode ser o voto decisivo](https://img.bgstatic.com/multiLang/image/social/3316f80c731b458197d2358af1e23a041763777522527.png)