We hebben zojuist een grote update uitgebracht voor de @CertoraInc Prover, onze formele verificatiemotor voor het bewijzen van de correctheid van smart contracts of het vinden van echte bugs. v8.1.0 zit vol krachtige nieuwe functies en (ja) enkele ingrijpende wijzigingen. Hier is wat er nieuw is 👇