Vi har precis släppt en stor uppdatering av @CertoraInc Prover, vår formella verifieringsmotor för att bevisa att smarta kontrakt är korrekta eller hitta riktiga buggar. v8.1.0 är fullspäckad med kraftfulla nya funktioner och (ja) några större ändringar. Här är vad som är nytt 👇