Chúng tôi vừa phát hành một bản cập nhật lớn cho @CertoraInc Prover, công cụ xác minh chính thức của chúng tôi để chứng minh hợp đồng thông minh là chính xác hoặc tìm ra lỗi thực sự. v8.1.0 được trang bị nhiều tính năng mạnh mẽ mới và (vâng) một số thay đổi lớn. Dưới đây là những gì mới 👇