1/6 🧵 Vừa nhận được phần thưởng $25,000 vì đã phát hiện một lỗi nghiêm trọng bằng cách sử dụng xác minh chính thức! trên một hợp đồng mới được triển khai. Cảm ơn @gegul_' Lỗi này tinh vi đến nỗi các phương pháp kiểm tra truyền thống hoàn toàn bỏ lỡ. Đây là lý do tại sao phương pháp của @CertoraInc là một sự thay đổi.