Đọc thông số kỹ thuật của script staking Bitcoin @BabylonLabs_io , có thể thấy script này sử dụng OP_CHECKMULTISIGVERIFY để thực thi yêu cầu số lượng validator tối thiểu (quorum). Nhưng điểm tinh tế nằm ở chỗ: chính script đó không mã hóa các điều kiện slashing—nó chỉ kiểm tra rằng số lượng validator cần thiết đã ký.
Điều này có nghĩa là khóa trên Bitcoin về mặt cấu trúc khá đơn giản: hoặc người dùng rút sau khi unbonding, hmm.. hoặc tập validator ký để thực hiện lệnh slash. Logic slashing thực sự—hành vi nào được coi là sai phạm, bị cắt bao nhiêu, những validator nào ký—hoàn toàn nằm ngoài chuỗi (off-chain), được thực thi bởi chuỗi Babylon Genesis, không phải bởi script của Bitcoin.
Vì vậy, tầng Bitcoin cung cấp tính chung cuộc (finality) bằng mật mã cho việc khóa, nhưng các điều kiện của khóa lại được xác định bởi trạng thái của chuỗi Babylon. Nếu chuỗi Babylon nói rằng "validator X đã có hành vi sai phạm, hãy slash các delegator của họ", thì quorum validator sẽ ký giao dịch slash, và Bitcoin thực thi giao dịch đó. Nhưng Bitcoin không có cách nào tự mình xác minh rằng việc slash là chính đáng.
Điều này đảo ngược mô hình tin cậy: Bitcoin đảm bảo rằng UTXO không thể bị chi tiêu nếu không có chữ ký của quorum, hmm.. nhưng nó không đảm bảo rằng quorum sử dụng chữ ký đó một cách trung thực. Bảo mật chuyển từ cơ chế proof-of-work của Bitcoin sang cơ chế đồng thuận validator của Babylon. Phần "native" là có thật, nhưng phần "trustless" lại dựa trên cùng các giả định như bất kỳ chuỗi PoS nào: rằng tập validator là trung thực và được định hướng kinh tế phù hợp.
So với một bridge thuần dựa trên Ethereum, Babylon giảm bề mặt tấn công cho các lỗ hổng—không có token bọc (wrapped token), không có rủi ro minting—nhưng nó không loại bỏ hoàn toàn sự phụ thuộc vào validator. Script khóa chỉ là một công cụ; chuỗi Babylon là người phán xét.
Nếu tập validator bị xâm phạm, thì script của Bitcoin có cung cấp bất kỳ cơ chế phòng vệ nào ngoài việc một sự khóa mà kẻ tấn công vốn đã nắm được chìa khóa để kiểm soát?
#baby $BABY