Tôi đang xem một hồ sơ quản trị (governance) về việc tích hợp tài sản thế chấp BTC gốc của Babylon, cố gắng hiểu điều gì thực sự khiến lộ trình thanh lý (liquidation) hoạt động. Ẩn trong phần biện minh kỹ thuật có nhắc đến một bài báo có tên BaBe. Khi tôi mở ra, câu chuyện lại có cảm giác khác hẳn so với cách diễn đạt ngắn gọn trong phần marketing.
Bitcoin không thể tự xác minh một SNARK một cách native. Đây đã là trở ngại cốt lõi đối với BTC DeFi không cần niềm tin trong nhiều năm.
Một giao thức trước đó, BitVM2, về mặt lý thuyết đã giải quyết vấn đề này. Nhưng ghi chú nghiên cứu của chính BitVM2 cho rằng việc thách thức một tuyên bố gian dối trên chuỗi có thể tốn hơn 14.000 đô la phí. Chỉ khi gian dối không bao giờ bị thách thức thì điều đó mới phát huy tác dụng.
Thiết kế kế tiếp, BitVM3, cắt giảm chi phí on-chain đó bằng cách chuyển việc xác minh sang một mạch (circuit) được “garbled” chạy ngoài chuỗi. Nó đã hoạt động, nhưng mỗi circuit có dung lượng 42 gibibyte. Khi đó chi phí thiết lập và lưu trữ trở thành nút thắt mới.
BaBe là câu trả lời của Babylon cho vấn đề thứ hai này. Theo eprint đề ngày tháng 02/2026, nó giữ lại khoản tiết kiệm on-chain của BitVM3 trong khi cắt giảm chi phí lưu trữ và thiết lập. BaBe được đồng phát triển với UC Berkeley và dự kiến xuất hiện tại một hội nghị bảo mật được phản biện ngang (peer-reviewed) vào cuối năm 2026.
Đây là điều khiến tôi bị “kẹt lại”. Quy trình thanh lý mà một giao thức cho vay lớn đang được quản trị (governance) bỏ phiếu thông qua hiện tại giả định rằng mật mã học này sẽ đứng vững trong sản xuất theo cách mà nó vận hành đúng trên giấy.
Phản biện 1: nghiên cứu về Bitcoin thường đi trước việc xuất bản chính thức. Việc chờ một ngày tổ chức hội nghị không giống như việc chờ cơ chế đó được chứng minh là vững chắc, và các đánh giá bảo mật độc lập có thể xác thực một thiết kế trước khi bài báo học thuật được trình bày chính thức.
Phản biện 2: giả định về niềm tin nền tảng không phải là số không, nhưng nó rất nhỏ. Việc thiết lập garbled circuit dựa trên phương pháp cut-and-choose, và các nhà nghiên cứu xem xét dòng thiết kế này ước tính xác suất thất bại vào khoảng 2 mũ (−40). Trên thực tế, người ta coi đó là không đáng kể trong toàn lĩnh vực, chứ không coi là một rủi ro “mở”.
Tôi cứ nghĩ về nó như một hệ thống chữa cháy đã vượt qua mọi bài test trong phòng thí nghiệm và giờ đang được lắp đặt trong một tòa nhà đang có người ở, trong khi phiên điều trần cấp chứng nhận của nó thì đã được lên lịch.
$BABY #baby @BabylonLabs_io
Bitcoin không thể tự xác minh một SNARK một cách native. Đây đã là trở ngại cốt lõi đối với BTC DeFi không cần niềm tin trong nhiều năm.
Một giao thức trước đó, BitVM2, về mặt lý thuyết đã giải quyết vấn đề này. Nhưng ghi chú nghiên cứu của chính BitVM2 cho rằng việc thách thức một tuyên bố gian dối trên chuỗi có thể tốn hơn 14.000 đô la phí. Chỉ khi gian dối không bao giờ bị thách thức thì điều đó mới phát huy tác dụng.
Thiết kế kế tiếp, BitVM3, cắt giảm chi phí on-chain đó bằng cách chuyển việc xác minh sang một mạch (circuit) được “garbled” chạy ngoài chuỗi. Nó đã hoạt động, nhưng mỗi circuit có dung lượng 42 gibibyte. Khi đó chi phí thiết lập và lưu trữ trở thành nút thắt mới.
BaBe là câu trả lời của Babylon cho vấn đề thứ hai này. Theo eprint đề ngày tháng 02/2026, nó giữ lại khoản tiết kiệm on-chain của BitVM3 trong khi cắt giảm chi phí lưu trữ và thiết lập. BaBe được đồng phát triển với UC Berkeley và dự kiến xuất hiện tại một hội nghị bảo mật được phản biện ngang (peer-reviewed) vào cuối năm 2026.
Đây là điều khiến tôi bị “kẹt lại”. Quy trình thanh lý mà một giao thức cho vay lớn đang được quản trị (governance) bỏ phiếu thông qua hiện tại giả định rằng mật mã học này sẽ đứng vững trong sản xuất theo cách mà nó vận hành đúng trên giấy.
Phản biện 1: nghiên cứu về Bitcoin thường đi trước việc xuất bản chính thức. Việc chờ một ngày tổ chức hội nghị không giống như việc chờ cơ chế đó được chứng minh là vững chắc, và các đánh giá bảo mật độc lập có thể xác thực một thiết kế trước khi bài báo học thuật được trình bày chính thức.
Phản biện 2: giả định về niềm tin nền tảng không phải là số không, nhưng nó rất nhỏ. Việc thiết lập garbled circuit dựa trên phương pháp cut-and-choose, và các nhà nghiên cứu xem xét dòng thiết kế này ước tính xác suất thất bại vào khoảng 2 mũ (−40). Trên thực tế, người ta coi đó là không đáng kể trong toàn lĩnh vực, chứ không coi là một rủi ro “mở”.
Tôi cứ nghĩ về nó như một hệ thống chữa cháy đã vượt qua mọi bài test trong phòng thí nghiệm và giờ đang được lắp đặt trong một tòa nhà đang có người ở, trong khi phiên điều trần cấp chứng nhận của nó thì đã được lên lịch.
$BABY #baby @BabylonLabs_io