Cientista-chefe da Certora, Mooly Sagiv: A segurança do blockchain vai além do código

De acordo com a CoinWorld, Mooly Sagiv, cientista-chefe da Certora, acredita que o maior risco de segurança em cripto não são vulnerabilidades complexas de código, mas sim questões mais simples como a gestão de chaves e erros humanos. Durante a conferência Breakpoint 2025, ele enfatizou que auditorias não garantem segurança e defendeu a combinação da verificação formal com revisões manuais. Sagiv destacou que a verificação formal integrada ao pipeline de integração contínua (CI) pode identificar “desconhecidos desconhecidos”, mas alertou que sua eficácia depende da definição correta das propriedades. Ele também minimizou a importância da inteligência artificial como uma ameaça existencial, considerando-a tanto uma ferramenta para atacantes quanto para defensores.