Tìm ra lỗi làm dịch chuyển tiền.

Đây là một mẫu nhỏ gồm năm cuộc thi, không phải bằng chứng về sự vượt trội nói chung. Cột Scorpio được đo ngày 9 tháng 9 năm 2026 với bộ máy 890777033a8fc952…, qua ba lượt chạy giống nhau. Dấu vân của bộ máy đang triển khai được hiển thị ở đầu trang này: nếu không khớp thì số đo là của một bộ máy trước và chưa chạy lại với bộ máy hôm nay. Cột Slither lấy từ bản 0.11.5 trên cùng những bài đã đóng băng, đo ngày 6 tháng 9; giữa hai mốc đó Slither không thay đổi.

Mười bốn cái không khớp kia là gì — gọi chúng là “sai” thì không đúng: bốn cái ở mức thông tin, gồm ba lời nhắc về hợp đồng không phát sự kiện và một ghi chú về giả định của token; đó là ngữ cảnh mà bộ máy cố ý cung cấp và vốn không tranh đua trong một danh sách lỗ hổng. Ba cái nói điều đúng về mã — rằng giá trị trả về của một lệnh chuyển ERC-20 không được kiểm — nhưng cuộc thi không nhận đó là phát hiện. Và một cái là công tắc một chiều mà bộ máy đánh dấu là nghi vấn, bởi việc đó có phải chủ ý hay không thì phải do một con người quyết.

Trong sáu cái còn lại, năm cái chính là lỗi giống một mục trong danh sách chính thức, chỉ khác tên. Bộ so khớp chỉ ghép khi tên bộ dò trùng với nhóm của nhãn, nên khi bộ máy tìm đúng lỗi nhưng gọi nó theo nguyên nhân thay vì theo hậu quả, phép đếm phạt nó hai lần: nhãn bị tính là không tìm ra, còn phát hiện bị tính là sai. Cả năm cặp đều đã được đối chiếu từng cái một, trên cùng hợp đồng và ở bốn cặp là cùng một hàm: cái chốt không bao giờ khoá trong refund chính là lỗi vào lại của CH-05; cái kỳ hạn có thể ghi lại là CH-07; vòng lặp trên claimants không có trần là MC-08; chữ ký không ràng buộc phần cài đặt là SP-01; và bản rút gọn thiếu typehash là SP-02. Cái thứ sáu nói một điều đúng mà danh sách không ghi.

Việc quy kết đó là làm bằng tay và bởi người trong cuộc: người làm nó chính là người đang phát triển bộ máy. Vì vậy những con số có giá trị trên trang này vẫn là con số do máy đếm. Nếu tính cả năm cặp được thừa nhận thì sẽ là 17 khớp và 9 không khớp, tức 65,4 % độ chính xác và 35,4 % độ bao phủ. Điều này nói ra để thấy khoảng cách từ đâu mà có, chứ không phải để ghi vào thành tích.