#baby
Ngôn ngữ lập trình Bitcoin Script của Bitcoin thực ra khá sơ khai, không thể trực tiếp chạy các tác vụ xác minh mật mã phức tạp—đó cũng là lý do từ trước đến nay nhiều người cho rằng BTC không thể thực sự tham gia DeFi. Hôm nay mình muốn phổ cập về cách TBV vượt qua giới hạn này.
Công cụ cốt lõi được dùng trong whitepaper là garbled circuit (mạch ẩn danh/đánh rối). Đây là một kỹ thuật rất cũ trong mật mã học: ý tưởng là chuyển một logic phép tính thành hàng loạt cổng điện được mã hóa, để hai bên có thể cùng tính ra một kết quả mà không phải tiết lộ dữ liệu đầu vào của từng bên. Kết quả chỉ cho thấy một bit đúng/sai; toàn bộ quá trình trung gian hoàn toàn không thể nhìn thấy. TBV ứng dụng kỹ thuật này vào chuỗi Bitcoin, để thay cho việc Bitcoin Script ban đầu không chạy được “xác minh bằng chứng trạng thái hợp đồng bên ngoài” — phép tính này được chuyển sang cách dùng garbled circuit: đưa rất nhiều phép tính sang chạy ngoài chuỗi (off-chain), còn trên chuỗi thì mạng lưới Bitcoin chỉ cần xác thực kết quả cuối cùng đó là “đúng/sai”.
Điểm tinh tế của thiết kế này nằm ở chỗ: nó không cần sửa đổi các quy tắc đồng thuận (consensus) của chính Bitcoin, cũng không cần hard fork mềm (soft fork), mà vẫn có thể giúp BTC gián tiếp có năng lực xác minh các logic phức tạp. Đây cũng là lý do TBV làm được tự giám sát/ tự quản lý (self-custody), thay vì giống như các cầu cross-chain truyền thống, phải giao BTC cho một thực thể tập trung nào đó cất giữ.
Mình nghĩ đây mới là điều khiến hệ sinh thái $BABY xứng đáng được nhìn nhận lại: không phải thêm một giải pháp “đóng gói” coin nữa, mà là giải quyết một cách thực sự vấn đề giới hạn của ngôn ngữ kịch bản (script) lớp nền của Bitcoin.@BabylonLabs_io đã đưa kỹ thuật garbled circuit vốn nằm im trong mật mã học từ lâu, quay trở lại và áp dụng đúng chỗ.
Ngôn ngữ lập trình Bitcoin Script của Bitcoin thực ra khá sơ khai, không thể trực tiếp chạy các tác vụ xác minh mật mã phức tạp—đó cũng là lý do từ trước đến nay nhiều người cho rằng BTC không thể thực sự tham gia DeFi. Hôm nay mình muốn phổ cập về cách TBV vượt qua giới hạn này.
Công cụ cốt lõi được dùng trong whitepaper là garbled circuit (mạch ẩn danh/đánh rối). Đây là một kỹ thuật rất cũ trong mật mã học: ý tưởng là chuyển một logic phép tính thành hàng loạt cổng điện được mã hóa, để hai bên có thể cùng tính ra một kết quả mà không phải tiết lộ dữ liệu đầu vào của từng bên. Kết quả chỉ cho thấy một bit đúng/sai; toàn bộ quá trình trung gian hoàn toàn không thể nhìn thấy. TBV ứng dụng kỹ thuật này vào chuỗi Bitcoin, để thay cho việc Bitcoin Script ban đầu không chạy được “xác minh bằng chứng trạng thái hợp đồng bên ngoài” — phép tính này được chuyển sang cách dùng garbled circuit: đưa rất nhiều phép tính sang chạy ngoài chuỗi (off-chain), còn trên chuỗi thì mạng lưới Bitcoin chỉ cần xác thực kết quả cuối cùng đó là “đúng/sai”.
Điểm tinh tế của thiết kế này nằm ở chỗ: nó không cần sửa đổi các quy tắc đồng thuận (consensus) của chính Bitcoin, cũng không cần hard fork mềm (soft fork), mà vẫn có thể giúp BTC gián tiếp có năng lực xác minh các logic phức tạp. Đây cũng là lý do TBV làm được tự giám sát/ tự quản lý (self-custody), thay vì giống như các cầu cross-chain truyền thống, phải giao BTC cho một thực thể tập trung nào đó cất giữ.
Mình nghĩ đây mới là điều khiến hệ sinh thái $BABY xứng đáng được nhìn nhận lại: không phải thêm một giải pháp “đóng gói” coin nữa, mà là giải quyết một cách thực sự vấn đề giới hạn của ngôn ngữ kịch bản (script) lớp nền của Bitcoin.@BabylonLabs_io đã đưa kỹ thuật garbled circuit vốn nằm im trong mật mã học từ lâu, quay trở lại và áp dụng đúng chỗ.