Sessão da Devcon sobre agentes de programação coloca a verificação na pauta
Uma próxima palestra da Certora levanta uma pergunta prática: o que, exatamente, foi verificado?
A Devcon anunciou uma palestra de Mooly Sagiv, da Certora, no palco de Segurança, intitulada “Bug-Free Solidity Coding Agents”. A publicação de 19 de outubro apresenta a verificação e a análise de programas como formas de tornar contratos inteligentes gerados mais seguros. Trata-se do anúncio de uma sessão, não de evidência de que todos os contratos gerados estejam livres de defeitos.
Para equipes que avaliam agentes de programação, a discussão útil começa pelas propriedades que desejam que o contrato preserve. O que nunca pode acontecer com um saldo? Quem pode alterar uma configuração crítica? Quais são as premissas sobre outro contrato? Uma demonstração convincente deve tornar essas perguntas visíveis, em vez de apresentar uma execução bem-sucedida como toda a história de segurança.
Nossa sugestão é observar a sessão pela relação entre a especificação e o programa concluído. Vale perguntar o que as verificações cobrem, o que fica fora de seu escopo e como uma edição posterior afeta o resultado. Isso transforma um título ambicioso em perguntas concretas que um desenvolvedor pode levar para seu processo de revisão.