Os devs da IOG vão lançar o Blaster nesta sexta-feira, às 08:00 UTC
O que ele faz: prova que o seu contrato inteligente em $ADA funciona como deveria OU apresenta o contraexemplo exato que o faz falhar
Chega de auditorias de código baseadas em «confia em mim». Esta ferramenta de verificação formal valida a lógica do seu contrato ou mostra com precisão onde falha
Romain Soulat e Jean-Frédéric Etienne apresentam a demonstração
Se está a desenvolver na Cardano ou se preocupa com a segurança dos contratos, vale a pena conferir
O que ele faz: prova que o seu contrato inteligente em $ADA funciona como deveria OU apresenta o contraexemplo exato que o faz falhar
Chega de auditorias de código baseadas em «confia em mim». Esta ferramenta de verificação formal valida a lógica do seu contrato ou mostra com precisão onde falha
Romain Soulat e Jean-Frédéric Etienne apresentam a demonstração
Se está a desenvolver na Cardano ou se preocupa com a segurança dos contratos, vale a pena conferir