Trong những tháng gần đây, đã có một số phát triển thú vị trong lĩnh vực xác minh hợp đồng thông minh.

Hệ thống chứng minh định lý tự động của Certora Prover tăng tốc quá trình đánh giá - các cuộc đánh giá trước đây phải mất hàng tuần để hoàn thành giờ đây đã được hoàn thành trong vài giờ. Halmos sử dụng một công cụ thực thi tượng trưng để phát hiện các lỗ hổng, có thể phát hiện 99,5% các vấn đề bị bỏ sót bởi các phương pháp kiểm tra truyền thống. Cùng với chức năng giám sát thời gian thực mới của MythX Enterprise Edition, toàn bộ chuỗi công cụ ngày càng trở nên hoàn thiện hơn.

Sự khác biệt về dữ liệu là rõ ràng: Các dự án DeFi sử dụng các công cụ mới này không có sự cố bảo mật trong suốt quý; Mặt khác, giao thức truyền thống vẫn được sử dụng và thiệt hại do hack gây ra là hơn 300 triệu đô la. Cả hai được so sánh, và chất lượng được đánh giá ngay lập tức.

Nhiều người trong ngành đang dự đoán rằng sau hai năm nữa, xác minh chính thức có thể trở thành một quy trình tiêu chuẩn mà các dự án DeFi lớn phải có. Rốt cuộc, không ai dám thỏa hiệp về sự an toàn.