Có một tin tức khá thú vị về Bitcoin vừa mới xuất hiện — Robin Linus (chàng trai của ZeroSync và BitVM) đã ra mắt một thứ gọi là Binohash có thể thay đổi đáng kể trò chơi về hợp đồng thông minh trên mạng lưới. Về cơ bản, đây là một cách để làm cho Script của Bitcoin "đọc" các thuộc tính của giao dịch mà không cần soft fork hoặc thay đổi quy tắc đồng thuận. Nghe có vẻ như khoa học viễn tưởng, nhưng thực ra rất thực tế.

Vấn đề mà không ai có thể giải quyết được là đơn giản: Script của Bitcoin bị giới hạn cố ý. Nó không thể truy cập trực tiếp các chi tiết như đầu vào, đầu ra, số lượng hoặc các trường khác của giao dịch. Điều này gây khó khăn quá mức khi bạn muốn xây dựng các giao thức phức tạp — ví dụ như trong các cầu nối BitVM giữa Bitcoin và các chuỗi khác. Bạn cần chứng minh rằng một giao dịch cụ thể đã xảy ra với các thuộc tính nhất định (ví dụ như rút tiền về địa chỉ đúng), và nếu không có điều đó, bạn phải dựa vào các oracle đáng tin cậy hoặc khách hàng nhẹ, vốn mang theo giả định về tính trung thực.

Đây là nơi Binohash xuất hiện. Giải pháp rất sáng tạo: tạo ra một hàm băm chống va chạm của giao dịch có thể tính toán và đọc trực tiếp trong Script. Vì nó chống va chạm, không thể lừa hệ thống bằng cách tráo đổi một giao dịch khác có cùng hàm băm. Nó giống như một "giấy tờ tùy thân" của giao dịch vậy.

Thực tế hoạt động như thế nào? Robin khai thác hai hành vi cũ trong các opcode cũ của Bitcoin — đặc biệt là OP_CHECKMULTISIG với bước FindAndDelete của nó. Cơ bản, khi xác minh chữ ký, hệ thống sẽ loại bỏ tất cả các chữ ký cung cấp từ scriptCode trước khi tính sighash. Robin dùng điều này một cách sáng tạo: đặt nhiều chữ ký "giả" đã định sẵn trong script khóa, và giao dịch tiêu tốn chọn một tập hợp con trong số đó. Các tập hợp con khác nhau tạo ra các scriptCode khác nhau, từ đó sinh ra các sighash khác nhau. Giao dịch sau đó "kiểm tra" (thử nhiều tổ hợp) cho đến khi sighash thỏa mãn một bài toán kiểu proof-of-work.

Các con số thật ấn tượng. Với các tham số W₁ = W₂ = 42 bits công việc, bạn đạt được khoảng 84 bits chống va chạm — rất mạnh cho hầu hết các trường hợp sử dụng. Một người dùng trung thực chỉ cần khoảng 44,6 bits grind, tiêu tốn ít hơn US$50 trên GPU đám mây. Đã có một giao dịch thực tế được khai thác trên mainnet của Bitcoin thể hiện chính xác điều này.

Những hệ quả là cực kỳ lớn. Điều này cho phép kiểm tra nội bộ không tin cậy cho các cầu nối BitVM — bạn có thể xác minh peg-in và peg-out, sự khác biệt về trạng thái, tất cả mà không cần oracle hoặc khách hàng nhẹ đầy đủ. Nói cách khác, mang các chức năng kiểu covenant vào Bitcoin mà không cần thay đổi quy tắc đồng thuận. Đây là loại đổi mới cho thấy tại sao Bitcoin vẫn tiếp tục tiến hóa theo những cách mà không ai ngờ tới.