Wir haben gerade ein großes Update für den @CertoraInc Prover veröffentlicht, unsere formale Verifizierungsengine zur Überprüfung der Korrektheit von Smart Contracts oder zur Auffindung echter Fehler. v8.1.0 ist vollgepackt mit leistungsstarken neuen Funktionen und (ja) einigen breaking changes. Hier ist, was neu ist 👇
1,86K