Hôm qua tối lật tài liệu kỹ thuật của @BabylonLabs_io tới tận 2 giờ sáng, mắt thì mỏi nhừ. Một vấn đề luôn không thể né tránh: Bitcoin ngay cả bộ xác thực kiểu PoS cũng không có, thợ đào cũng không hề công nhận bất kỳ quy tắc phạt do đặt cọc nào—vậy Babylon dựa vào đâu để “can thiệp” được tới BTC?
Ban đầu tôi đoán đáp án nằm ở Covenant Committee. Nhưng sau khi lật tới phần tài liệu về Bitcoin Staking, tôi mới phát hiện “đòn chí mạng” thực sự là: biến hành vi vi phạm thành “lộ khóa riêng” trước.
Trong mục “Technical Implementation”, nguyên văn là: “The protocol introduces Extractable One-Time Signatures (EOTS) and a covenant committee to enable slashing functionality. The committee can execute slashing through majority consensus if malicious behavior is detected, resulting in partial or complete forfeiture of staked assets.” Dịch đoạn này là: “Giao thức giới thiệu Chữ ký Một lần Có thể Chiết xuất (EOTS) và một ủy ban cam kết (covenant committee) để kích hoạt chức năng slashing. Ủy ban có thể thực hiện slashing thông qua đồng thuận đa số nếu phát hiện hành vi độc hại, dẫn đến việc tịch thu một phần hoặc toàn bộ tài sản đã đặt cọc.”
Phiên dịch tiếp: Trước khi các Finality Provider bỏ phiếu, họ phải nộp trước cam kết một số ngẫu nhiên công khai; một khi đã ký cùng lúc hai khối xung đột ở cùng một độ cao, thì họ buộc phải dùng lại đúng cùng một số ngẫu nhiên bí mật. EOTS bắt được sự lặp lại này, từ đó khôi phục lại khóa riêng. Khi đó bằng chứng song ký không còn là ghi nhận trên chuỗi nữa, mà trực tiếp trở thành “khóa” có thể ký một giao dịch Slashing.
Bước này khiến tôi thấy thiết kế khá tinh vi. Babylon không ép Bitcoin hiểu PoS; thay vào đó, họ đưa điều kiện trừng phạt vào trong script từ trước. Ngay từ đầu, những người đặt cọc, các Finality Provider và Covenant Committee đã phải chuẩn bị sẵn chữ ký cho Slashing. Chỉ cần khóa riêng bị lộ, giao dịch trừng phạt là có thể thực thi.
Nhưng thách thức cũng rõ ràng không kém. Dự án triển khai theo ba giai đoạn, hiện tại Phase 2 vừa lên mainnet. Chỉ cần có sai lệch ở bất kỳ khâu nào—quản lý khóa EOTS, nhận định song ký, hay giao dịch được ký trước—thì kết quả phạt có thể bị ảnh hưởng. Dù Finality Provider không hề có ác ý, lỗi phần mềm vẫn có thể kích hoạt tình trạng song ký. Tôi cho rằng vấn đề đáng quan tâm hơn không phải là có phạt được kẻ vi phạm hay không, mà là liệu quy trình “bằng chứng mật mã biến thành trừng phạt BTC” này trong môi trường vận hành thực tế có thể duy trì ổn định lâu dài hay không.
Bạn nghĩ sao về cơ chế này—là một lối thoát kỹ thuật hay quá phức tạp? Rất mong được trao đổi. #baby $BABY
Ban đầu tôi đoán đáp án nằm ở Covenant Committee. Nhưng sau khi lật tới phần tài liệu về Bitcoin Staking, tôi mới phát hiện “đòn chí mạng” thực sự là: biến hành vi vi phạm thành “lộ khóa riêng” trước.
Trong mục “Technical Implementation”, nguyên văn là: “The protocol introduces Extractable One-Time Signatures (EOTS) and a covenant committee to enable slashing functionality. The committee can execute slashing through majority consensus if malicious behavior is detected, resulting in partial or complete forfeiture of staked assets.” Dịch đoạn này là: “Giao thức giới thiệu Chữ ký Một lần Có thể Chiết xuất (EOTS) và một ủy ban cam kết (covenant committee) để kích hoạt chức năng slashing. Ủy ban có thể thực hiện slashing thông qua đồng thuận đa số nếu phát hiện hành vi độc hại, dẫn đến việc tịch thu một phần hoặc toàn bộ tài sản đã đặt cọc.”
Phiên dịch tiếp: Trước khi các Finality Provider bỏ phiếu, họ phải nộp trước cam kết một số ngẫu nhiên công khai; một khi đã ký cùng lúc hai khối xung đột ở cùng một độ cao, thì họ buộc phải dùng lại đúng cùng một số ngẫu nhiên bí mật. EOTS bắt được sự lặp lại này, từ đó khôi phục lại khóa riêng. Khi đó bằng chứng song ký không còn là ghi nhận trên chuỗi nữa, mà trực tiếp trở thành “khóa” có thể ký một giao dịch Slashing.
Bước này khiến tôi thấy thiết kế khá tinh vi. Babylon không ép Bitcoin hiểu PoS; thay vào đó, họ đưa điều kiện trừng phạt vào trong script từ trước. Ngay từ đầu, những người đặt cọc, các Finality Provider và Covenant Committee đã phải chuẩn bị sẵn chữ ký cho Slashing. Chỉ cần khóa riêng bị lộ, giao dịch trừng phạt là có thể thực thi.
Nhưng thách thức cũng rõ ràng không kém. Dự án triển khai theo ba giai đoạn, hiện tại Phase 2 vừa lên mainnet. Chỉ cần có sai lệch ở bất kỳ khâu nào—quản lý khóa EOTS, nhận định song ký, hay giao dịch được ký trước—thì kết quả phạt có thể bị ảnh hưởng. Dù Finality Provider không hề có ác ý, lỗi phần mềm vẫn có thể kích hoạt tình trạng song ký. Tôi cho rằng vấn đề đáng quan tâm hơn không phải là có phạt được kẻ vi phạm hay không, mà là liệu quy trình “bằng chứng mật mã biến thành trừng phạt BTC” này trong môi trường vận hành thực tế có thể duy trì ổn định lâu dài hay không.
Bạn nghĩ sao về cơ chế này—là một lối thoát kỹ thuật hay quá phức tạp? Rất mong được trao đổi. #baby $BABY