Lỗi hợp đồng thông minh rất tốn kém và khó phát hiện: 🔍 Fuzzing bỏ lỡ các đầu vào hiếm 📜 Xác minh chính thức khó sử dụng Tại @EthCC, tôi đã trình bày cách mà tại @CertoraInc, chúng tôi khám phá Kiểm tra Mô hình Bị giới hạn, một giải pháp thực tiễn tìm ra các lỗi thực tế, có thể tái tạo với thiết lập tối thiểu. 👇