Cập nhật về các kết quả hợp lệ mà tôi nhận được từ AI solidity-auditor của @pashov và đã nộp: TẤT CẢ 3 cái đều là bản sao. Điều đó có nghĩa là 3 lỗi này là có thật, chỉ là các nhà nghiên cứu khác đã phát hiện ra trước. Tôi sẽ chọn cách tiếp cận tìm kiếm các lỗi logic cụ thể của giao thức thay vì các mẫu chung. Thời gian thú vị!