Certora Prover v7.29.1 ist da! Der Prover ist ein Open-Source-Tool, mit dem nachgewiesen werden kann, dass sich Smart Contracts über alle möglichen Zustände und Eingaben hinweg korrekt verhalten. Diese Version fügt neue Funktionen hinzu, die Ihnen helfen, sicherere Spezifikationen zu schreiben, Konfigurationen zu vereinfachen und effizienter zu arbeiten. Hier ist, was neu 👇🧵 ist