Certora Prover v7.29.1 đã ra mắt! Prover là một công cụ mã nguồn mở để chứng minh các hợp đồng thông minh hoạt động đúng đắn trong tất cả các trạng thái và đầu vào có thể. Phiên bản này bổ sung các tính năng mới để giúp bạn viết các đặc tả an toàn hơn, đơn giản hóa cấu hình và làm việc hiệu quả hơn. Đây là những điểm mới 👇🧵