Certora Prover v7.29.1 är ute! Prover är ett verktyg med öppen källkod för att bevisa att smarta kontrakt beter sig korrekt i alla möjliga tillstånd och indata. Den här versionen lägger till nya funktioner som hjälper dig att skriva säkrare specifikationer, förenkla konfigurationer och arbeta mer effektivt. Här är vad som är nytt 👇🧵