Właśnie wydaliśmy dużą aktualizację do @CertoraInc Prover, naszego silnika weryfikacji formalnej do udowadniania poprawności smart kontraktów lub znajdowania rzeczywistych błędów. Wersja 8.1.0 jest pełna potężnych nowych funkcji i (tak) kilku zmian, które mogą być problematyczne. Oto co nowego 👇
1,82K