Ngôn ngữ kịch bản của mạng chính Bitcoin luôn “khá ngu” — không làm được các phép tính phức tạp. Đây vừa là nền tảng bảo mật của nó, vừa là “trần chức năng” của nó.
Các Trustless Bitcoin Vaults (TBV) của Babylon nhắm giải quyết một mâu thuẫn cốt lõi: làm sao để mạng chính Bitcoin xác minh một giao dịch phức tạp được thực hiện ngoài chuỗi, nhưng không phải sửa đổi bất kỳ dòng mã nào của mạng chính?
Câu trả lời nằm trong “mạch cổng trộn” (Garbled Circuit).
Nói đơn giản: logic rút tiền (redeem) của bạn được đóng gói trong khung BitVM3 thành một mạch cổng trộn. Mạch sẽ xuất ra một kết quả — claim này “đúng” hay “sai”. Mạng chính chỉ chịu trách nhiệm xác minh kết quả cuối cùng đó; còn việc trong quá trình trung gian đã phải qua bao nhiêu điều kiện, đã kích hoạt những nhánh nào thì bên ngoài hoàn toàn không biết.
Ví dụ không thật sát: các thao tác on-chain truyền thống giống như việc ở quảng trường ngoài trời bạn hô “Tôi muốn rút tiền”, ai cũng nhìn thấy lộ trình và thời điểm của bạn, và robot canh giờ chạy lậu đã đợi sẵn ở vạch đích để chặn lại. Còn mạch cổng trộn thì chuyển toàn bộ quy trình vào phòng kín — bản án được công khai nhưng hồ sơ vụ án được phong ấn vĩnh viễn. Bạn biết được kết quả, nhưng không biết được quá trình suy luận.
Trong đó có hai trụ cột kỹ thuật quan trọng.
Thứ nhất là giao thức BABE. Tháng 1 năm 2026, đồng sáng lập Babylon và giáo sư Stanford David Tse đã công bố BABE, giúp giảm chi phí xác minh của chứng minh không kiến thức Groth16 tới ba bậc độ lớn. Trong phương án ban đầu của BitVM3, một file mạch cổng trộn đơn lẻ có thể lên tới 42 GiB, hoàn toàn không thể dùng với quy mô lớn trong bối cảnh thực tế. BABE nén chi phí lưu trữ và thiết lập ngoài chuỗi lại đúng ba bậc độ lớn, đưa việc này từ phòng thí nghiệm tiến sát đến rìa có thể triển khai theo hướng kỹ thuật.
Thứ hai là giao thức cut-and-choose.
Hiện tại, việc tạo và xác minh mạch cổng trộn dựa vào các node prover cụ thể. Nếu prover bị tấn công hoặc có sự thông đồng, tính toàn vẹn của mạch có thể bị ảnh hưởng. Bản thân việc tập trung hóa prover đã là một rủi ro dạng điểm đơn.
Tính đến tháng 5 năm 2026, hơn 56.000 BTC (khoảng 5,6 tỷ USD) đã đi qua cơ chế này để tạo thu nhập. Nhưng giữa “chạy được” và “chạy ổn định ở quy mô lớn” vẫn còn hai trở ngại: chi phí gas trong môi trường mạng chính thực tế và tỷ lệ phục hồi sau sự cố.
Tôi đồng ý với hướng đi, nhưng trước khi dữ liệu xuất hiện thì cứ nhìn đã, không làm gì.
#baby $BABY @BabylonLabs_io
Các Trustless Bitcoin Vaults (TBV) của Babylon nhắm giải quyết một mâu thuẫn cốt lõi: làm sao để mạng chính Bitcoin xác minh một giao dịch phức tạp được thực hiện ngoài chuỗi, nhưng không phải sửa đổi bất kỳ dòng mã nào của mạng chính?
Câu trả lời nằm trong “mạch cổng trộn” (Garbled Circuit).
Nói đơn giản: logic rút tiền (redeem) của bạn được đóng gói trong khung BitVM3 thành một mạch cổng trộn. Mạch sẽ xuất ra một kết quả — claim này “đúng” hay “sai”. Mạng chính chỉ chịu trách nhiệm xác minh kết quả cuối cùng đó; còn việc trong quá trình trung gian đã phải qua bao nhiêu điều kiện, đã kích hoạt những nhánh nào thì bên ngoài hoàn toàn không biết.
Ví dụ không thật sát: các thao tác on-chain truyền thống giống như việc ở quảng trường ngoài trời bạn hô “Tôi muốn rút tiền”, ai cũng nhìn thấy lộ trình và thời điểm của bạn, và robot canh giờ chạy lậu đã đợi sẵn ở vạch đích để chặn lại. Còn mạch cổng trộn thì chuyển toàn bộ quy trình vào phòng kín — bản án được công khai nhưng hồ sơ vụ án được phong ấn vĩnh viễn. Bạn biết được kết quả, nhưng không biết được quá trình suy luận.
Trong đó có hai trụ cột kỹ thuật quan trọng.
Thứ nhất là giao thức BABE. Tháng 1 năm 2026, đồng sáng lập Babylon và giáo sư Stanford David Tse đã công bố BABE, giúp giảm chi phí xác minh của chứng minh không kiến thức Groth16 tới ba bậc độ lớn. Trong phương án ban đầu của BitVM3, một file mạch cổng trộn đơn lẻ có thể lên tới 42 GiB, hoàn toàn không thể dùng với quy mô lớn trong bối cảnh thực tế. BABE nén chi phí lưu trữ và thiết lập ngoài chuỗi lại đúng ba bậc độ lớn, đưa việc này từ phòng thí nghiệm tiến sát đến rìa có thể triển khai theo hướng kỹ thuật.
Thứ hai là giao thức cut-and-choose.
Hiện tại, việc tạo và xác minh mạch cổng trộn dựa vào các node prover cụ thể. Nếu prover bị tấn công hoặc có sự thông đồng, tính toàn vẹn của mạch có thể bị ảnh hưởng. Bản thân việc tập trung hóa prover đã là một rủi ro dạng điểm đơn.
Tính đến tháng 5 năm 2026, hơn 56.000 BTC (khoảng 5,6 tỷ USD) đã đi qua cơ chế này để tạo thu nhập. Nhưng giữa “chạy được” và “chạy ổn định ở quy mô lớn” vẫn còn hai trở ngại: chi phí gas trong môi trường mạng chính thực tế và tỷ lệ phục hồi sau sự cố.
Tôi đồng ý với hướng đi, nhưng trước khi dữ liệu xuất hiện thì cứ nhìn đã, không làm gì.
#baby $BABY @BabylonLabs_io
