Tác giả gốc: Nubit và Nebra
Trong hệ sinh thái Bitcoin, tổng vị trí bị khóa (TVL) là chỉ số cốt lõi để đo lường quy mô và tính bảo mật của dự án BTCFi (Tài chính Bitcoin). Tuy nhiên, khi BTCFi mở rộng, tranh cãi xung quanh tính xác thực của dữ liệu TVL tiếp tục gia tăng. Thống kê sai, đếm lặp đi lặp lại, khóa giả mạo và các hiện tượng khác đang làm xói mòn lòng tin của người dùng, đồng thời tính minh bạch và độ tin cậy của hệ sinh thái Bitcoin do đó đã bị thách thức nghiêm trọng.
Để đối phó với hiện tượng này, Nubit cùng với các dự án hàng đầu trong hệ sinh thái Bitcoin như Nebra, Bitcoin Layers và Alpen Labs đã công bố báo cáo “Proof of TVL” vào ngày 5 tháng 1 năm 2025, chỉ ra tình hình hiện tại không rõ ràng trong lĩnh vực BTCFi và kêu gọi thiết lập các tiêu chuẩn cao hơn. Cơ chế xác minh minh bạch tài sản và công cụ xác minh TVL nguồn mở được đề xuất để hỗ trợ mạnh mẽ cho tính minh bạch của hệ sinh thái Bitcoin.
Sau đây là nguyên văn của báo cáo:
Đặc biệt cảm ơn Lớp Bitcoin và Phòng thí nghiệm Alpen vì đã xem xét bài viết này và cung cấp phản hồi có giá trị.
BTCFi và sự phát triển của Token đặt cược lỏng (LST)
Bitcoin từ lâu đã là nền tảng của hệ sinh thái tài sản kỹ thuật số.
Tuy nhiên, qua nhiều năm, việc sử dụng nó chủ yếu bị giới hạn ở vai trò là nơi lưu trữ giá trị và phương tiện trao đổi. Cho đến năm 2023, các giao thức như Babylon đã đưa ra khái niệm đặt cược Bitcoin, cho phép người dùng khóa BTC của họ theo cách tự quản lý và tham gia vào cơ chế đồng thuận Proof-of-Stake để kiếm phần thưởng.
Sự đổi mới này đã mở ra một kỷ nguyên mới cho Bitcoin, hiện nay thường được gọi là BTCFi. Phong trào này đã mang lại cho Bitcoin những khả năng chưa từng có. Kể từ đó trở đi, Bitcoin không còn chỉ là một tài sản được nắm giữ thụ động mà có thể tham gia tích cực vào hệ sinh thái tài chính phi tập trung (DeFi).
Để nâng cao khả năng sử dụng và tính thanh khoản của việc đặt cược Bitcoin, một làn sóng Mã thông báo đặt cược chất lỏng Bitcoin (LST) đã ra đời. Các giao thức này hoạt động như người giám sát, cho phép người dùng đặt cược BTC của họ và đổi lại nhận được thông tin xác thực được mã hóa. Các LST này có thể được sử dụng tự do trong các ứng dụng DeFi, bao gồm cho vay, giao dịch, canh tác năng suất, v.v. Mô hình này cho phép những người đặt cược Bitcoin tận dụng tối đa cả hai thế giới: họ có thể kiếm được phần thưởng đặt cược khi tham gia vào nhiều cơ hội DeFi.
Các giao thức LST này nhanh chóng nhận được sự công nhận từ người dùng và tổng khối lượng khóa (TVL) được các giao thức liên quan báo cáo đã lên tới hàng tỷ đô la. TVL thường được coi là thước đo quan trọng về hoạt động của người dùng và sự thành công của giao thức.
Tuy nhiên, chúng tôi muốn đặt ra một câu hỏi quan trọng cho ngành: Dữ liệu TVL được báo cáo bởi giao thức Bitcoin LST đáng tin cậy đến mức nào?
Cụ thể hơn, đối với BTC mà giao thức thực sự không thể kiểm soát hoặc khấu trừ, những tài sản này có nên được đưa vào TVL không?
Nếu số liệu TVL bị thổi phồng, điều này có thể mang lại cho người dùng và nhà đầu tư cảm giác an toàn sai lầm. Dữ liệu TVL bị thổi phồng có thể che giấu tính thanh khoản thực sự và hồ sơ rủi ro của giao thức, khiến tất cả các bên liên quan đưa ra quyết định sai lầm và chịu tổn thất tiềm ẩn.
Tại sao TVL của Giao thức đặt cược thanh khoản Bitcoin khó theo dõi?
Trong bối cảnh đặt cược Bitcoin, mô hình UTXO độc đáo của Bitcoin tăng thêm độ phức tạp, khiến dữ liệu TVL (Tổng khối lượng bị khóa) khó diễn giải chính xác. Sự phức tạp này làm xói mòn niềm tin vào Giao thức đặt cược thanh khoản Bitcoin (LST), đồng thời gây lo ngại về tính bền vững của toàn bộ hệ sinh thái BTCFi.
Chúng ta hãy xem xét kỹ hơn các lý do.
Bitcoin sử dụng mô hình UTXO (Đầu ra giao dịch chưa chi tiêu), trong đó mỗi giao dịch tạo ra một đơn vị Bitcoin độc lập với các điều kiện sử dụng cụ thể. Ví dụ:
UTXO có thể yêu cầu chữ ký khóa riêng trước khi có thể sử dụng.
Các UTXO phức tạp hơn có thể bao gồm các yêu cầu đa chữ ký hoặc khóa thời gian.
Không giống như mô hình tài khoản của Ethereum, mô hình UTXO của Bitcoin không tổng hợp số dư, điều này khiến việc theo dõi và khóa tiền trở nên phức tạp hơn — mặc dù không hoàn toàn không thể thực hiện được. Do đó, dữ liệu TVL cho các giao thức LST trên thực tế thường được các giao thức tự báo cáo. Để xác minh những dữ liệu báo cáo này, chúng ta cần bắt đầu bằng một câu hỏi đơn giản:
TVL của Giao thức đặt cược thanh khoản Bitcoin nên được tính như thế nào?
Mục tiêu của Giao thức đặt cược Bitcoin là cung cấp bảo mật kinh tế cho các giao thức lớp ứng dụng như Rollups, Lớp sẵn có dữ liệu (DA), v.v. Từ góc độ này, sự bảo mật kinh tế này chỉ có hiệu quả nếu số Bitcoin đặt cược được giữ trong ký quỹ bằng giao thức đặt cược và có thể cắt giảm được. Vì vậy, có một điều rõ ràng:
BTC không được ký quỹ theo thỏa thuận đặt cược hoặc không thể cắt giảm sẽ không được tính vào TVL.
TVL của các cam kết lặp đi lặp lại của Bitcoin bị làm giả như thế nào?
Để theo đuổi TVL (Tổng khối lượng khóa) cao, nhiều giao thức đặt cược thanh khoản Bitcoin đạt được thỏa thuận với những người nắm giữ vị thế lớn (cá voi) bằng mọi giá, cố gắng tăng số lượng TVL của họ một cách giả tạo bằng cách quét sạch dữ liệu.
Đây là cách họ hoạt động:
1. Đặt cược cá voi: Những người nắm giữ Bitcoin lớn (tức là cá voi) được khuyến khích chuyển BTC của họ đến một địa chỉ do cá voi và giao thức cùng kiểm soát để tham gia dưới danh nghĩa đặt cược.
2. Quyền kiểm soát của cá voi không thay đổi: Sau khi hoàn thành cam kết, cá voi vẫn giữ quyền kiểm soát cuối cùng đối với UTXO (đầu ra giao dịch chưa chi tiêu). Giao thức không thể thực thi việc quy đổi hoặc thực thi các hình phạt (bao gồm cả việc cắt giảm), điều đó có nghĩa là các khoản tiền này không bao giờ thực sự gặp rủi ro.
3. Ghi có sai vào TVL: Giao thức tính các UTXO này vào TVL của nó, mặc dù số tiền này không thực sự bị khóa và cá voi có thể rút hoặc sử dụng lại số tiền này bất kỳ lúc nào.
Tình hình thực tế là:
Người dùng (cá voi) giữ toàn quyền kiểm soát số tiền: cá voi có thể chi tiêu số BTC này bất cứ lúc nào hoặc đặt cược chúng vào các giao thức khác.
Cam kết giả mà không có bất kỳ hình phạt giảm bớt nào: Quá trình “cam kết” này không có bất kỳ điều kiện giảm thiểu bắt buộc nào và về cơ bản là vô nghĩa.
Ý nghĩa cốt lõi của việc đặt cược là đảm bảo an ninh mạng bằng cách khuyến khích hành vi lành tính và trừng phạt hành vi độc hại. Chém đảm bảo rằng người tham gia có nguy cơ mất tiền thực sự nếu họ không tuân theo các quy tắc giao thức hoặc có hành vi không trung thực. Nếu không có cơ chế này, việc cầm cố sẽ trở thành trò hề “hứa vì cầm cố”, không có tác dụng thực tế.
Hãy tự hỏi: Ý nghĩa của lời cam kết là gì? Nó không nhằm mục đích phóng đại các số liệu TVL hoặc đưa ra một tuyên bố mang tính biểu tượng mà để bảo mật giao thức thông qua cơ chế giảm bớt.
Điều này gợi nhớ đến những bài học khó khăn mà FTX đã học được. Trong sự cố FTX, khoảng cách giữa số lượng được khai báo (mã thông báo nhận) và dự trữ thực tế (tài sản có thể hoàn lại) cuối cùng đã dẫn đến sự sụp đổ hoàn toàn niềm tin của người dùng. Nếu một giao thức tăng số liệu TVL của nó, bạn có thực sự tin tưởng rằng nó sẽ không lạm dụng khoản dự trữ của bạn sau lưng không? Một giao thức bóp méo sự thật về một vấn đề cơ bản như dự trữ có thể đã đi chệch khỏi nguyên tắc không đáng tin cậy mà Bitcoin đại diện.
Dữ liệu TVL tăng cao này đặt ra một câu hỏi lớn hơn: Những Bitcoin được báo cáo là “tài sản thế chấp” này có thực sự bị khóa không? Hay đây chỉ là một chỉ báo sai để thu hút sự chú ý và thổi phồng con số?
Rủi ro TVL sai
Về lý thuyết, Mã thông báo đặt cược lỏng (LST) được thiết kế để đại diện cho Bitcoin được cam kết vào các giao thức như Babylon, cho phép chủ sở hữu kiếm được phần thưởng đặt cược trong khi duy trì tính thanh khoản của tài sản. Tiền đề của cơ chế này là mọi LST đều được hỗ trợ hoàn toàn bằng nguồn dự trữ Bitcoin thực theo tỷ lệ 1:1.
Tuy nhiên, một số thỏa thuận đặt cược theo đuổi con số TVL cao có thể làm lung lay những cam kết này. Nếu BTC được đặt cược một phần vẫn được chủ sở hữu ban đầu kiểm soát hoàn toàn và giao thức đồng thời báo cáo nó là bị khóa hoàn toàn, điều này sẽ đe dọa trực tiếp đến các giả định cơ bản làm cơ sở cho LST. Kết quả có thể là:
Tài sản thế chấp thực tế bị khóa ít hơn báo cáo.
Mô hình đặt cược không cung cấp được mức độ bảo mật như mong đợi.
Có một khoảng cách lớn giữa TVL được báo cáo và số lượng BTC thực tế thực sự tham gia cam kết.
Cuối cùng, những hành động này đặt câu hỏi liệu LST có thực sự được hỗ trợ đầy đủ bởi nguồn dự trữ có thể xác minh hay không và làm dấy lên nghi ngờ về an ninh kinh tế mà các token này có thể cung cấp, chẳng hạn như:
1. Thiếu đảm bảo hỗ trợ 1:1
Bởi vì giao thức tính Bitcoin không thực sự bị khóa hoặc cầm cố là “cổ phần”, nên không có gì đảm bảo rằng tài sản hỗ trợ LST thực sự tồn tại hoặc nằm dưới sự kiểm soát của giao thức. Người dùng nắm giữ các token này chỉ có thể dựa vào các tuyên bố đơn phương từ giao thức. Hơn nữa, nếu những tài sản này không tồn tại, người dùng sẽ phải đối mặt với rủi ro tổn thất tài chính thực sự khi mua lại tài sản cơ bản.
2. Phần thưởng đặt cược không thể xác minh
Phần thưởng đặt cược phải đến từ những đóng góp thực sự cho an ninh mạng hoặc sự đồng thuận Bằng chứng cổ phần (PoS). Tuy nhiên, những phần thưởng này đến từ đâu khi Bitcoin cơ bản không thực sự được đặt cọc? Chúng có bền vững không?
Đây là rủi ro hệ thống đối với toàn bộ hệ sinh thái BTCFi. Khi niềm tin suy yếu, tính thanh khoản có thể bị mất nhanh chóng, điều này không chỉ làm rung chuyển một giao thức nhất định mà còn có thể ảnh hưởng đến sự ổn định của toàn bộ hệ sinh thái BTCFi dựa trên việc đặt cược Bitcoin.
Điều gì xảy ra khi các giao thức đặt cược Bitcoin trở nên không thể phân biệt được với các thực thể tập trung? Trong trường hợp này, người dùng không thể kiểm tra khoản dự trữ và chỉ có thể chọn tin tưởng vào tuyên bố của nhà điều hành. Tình trạng này đe dọa nghiêm trọng đến uy tín của BTCFi.
Tình hình hiện tại là mối đe dọa hiện hữu đối với uy tín của BTCFi. Để tránh những sai lầm của hệ thống tập trung và TVL giả mạo, chúng ta phải giải quyết gốc rễ của vấn đề: thiếu cơ chế không đáng tin cậy và có thể kiểm chứng để chứng minh hoạt động dự trữ và đặt cược.
Đây chính là chìa khóa của Proof of TVL (gọi tắt là PoTVL). Chỉ bằng cách thiết lập tiêu chuẩn xác minh dự trữ dựa trên mật mã, minh bạch và khoa học thì mới có thể tin tưởng vào việc xây dựng lại LST Bitcoin và đảm bảo sự phát triển bền vững lâu dài của hệ sinh thái.
Giải pháp cơ bản: tính toán TVL minh bạch
Trong bối cảnh đặt cược Bitcoin, địa chỉ Taproot đóng vai trò quan trọng trong việc triển khai các tập lệnh khóa đặt cược như Babylon. Các tập lệnh khóa này xác định các quy tắc rõ ràng để đặt cược, theo dõi và cuối cùng là rút BTC. Babylon là một ví dụ điển hình vì nó liên kết trực tiếp hành vi đặt cược với các quy tắc cấp giao thức có thể xác minh được trên mô hình Bitcoin UTXO.
Khi người đặt cược tham gia vào giao thức đặt cược, họ sẽ xây dựng các giao dịch đặc biệt để gửi BTC đến địa chỉ Taproot được chỉ định trong giao thức. Các giao dịch này thường bao gồm:
1. Đầu ra cam kết: UTXO được sử dụng để gửi BTC đến địa chỉ Taproot để cam kết.
2. Đầu ra xác minh quyền sở hữu: UTXO thứ hai chứa khóa chung của người đặt cược và giao thức. Các khóa công khai này chứng minh quyền sở hữu BTC đã đặt cược.
Lấy các thông số kỹ thuật của thỏa thuận cầm cố Babylon làm ví dụ:
Thông số kỹ thuật yêu cầu người đặt cược (hoặc giao thức LST) xây dựng giao dịch sau:
UTXO đầu tiên gửi BTC đến địa chỉ Taproot được liên kết với tập lệnh khóa đặt cược của Babylon.
UTXO thứ hai chứa khóa công khai của người đặt cược và Babylon để đảm bảo xác minh quyền sở hữu.
Thiết kế này đảm bảo rằng các hành động đặt cược có thể theo dõi đầy đủ trên chuỗi, với bằng chứng rõ ràng về quyền sở hữu và các quy tắc minh bạch.
Nghiên cứu điển hình: Tài chính Lombard
Để chứng minh việc áp dụng phương pháp này trong thực tế, chúng tôi đã xác minh nó trên Lombard Finance bằng công cụ nguồn mở Proof of TVL.
Đây là quá trình xác minh hoàn chỉnh:
1. Xác định ví tiền gửi của người dùng
Nó bắt đầu bằng việc người dùng gửi BTC vào ví của Lombard. Những ví này đại diện cho dòng tiền ban đầu vào hệ thống.
2. Theo dõi giao dịch đến ví cầm cố
Theo dõi dòng BTC từ ví tiền gửi đến ví đặt cược do Lombard kiểm soát. Xác định tất cả các giao dịch đặt cược theo thông số kỹ thuật đặt cược của Babylon.
3. Xác minh quyền sở hữu
Sử dụng các quy tắc giao thức của Babylon để xác nhận rằng giao dịch đặt cược có chứa khóa công khai bắt buộc để xác minh quyền sở hữu. Đảm bảo giao dịch tuân thủ tập lệnh khóa đặt cược.
4. Tính TVL thực
Tổng hợp khối lượng đầu ra BTC từ các giao dịch đặt cược đã được xác minh để tính toán tài sản thế chấp trên chuỗi. So sánh tài sản thế chấp với tổng nguồn cung LBTC để tính tỷ lệ tài sản thế chấp.
Qua các bước trên, chúng ta tính LST TVL của Lombard như sau:
Tài sản thế chấp BTC trên chuỗi: 16.580,9220 (15.028,3565 BTC / cam kết 90,64%)
Tổng nguồn cung LBTC: 16.386,4157 (101,19% được thế chấp quá mức)
Xác minh lần cuối: ngày 4 tháng 1 năm 2025, 7:30 tối theo giờ Thái Bình Dương
Trạng thái: An toàn (101,19% được thế chấp quá mức)
Chi tiết xác minh:
90,64% đặt cược
Trong số 16.580,9220 BTC tài sản thế chấp trên chuỗi, 15.028,3565 BTC được cam kết tích cực theo thông số kỹ thuật của Babylon.
101,19% được thế chấp quá mức
Tổng nguồn cung LBTC là 16.386,41 trong khi tài sản thế chấp trên chuỗi là 16.599 BTC.
Tính minh bạch hoàn toàn trên chuỗi
Mọi giao dịch đặt cược đều có thể truy nguyên trực tiếp đến địa chỉ gửi tiền của Giao thức Lombard và việc xác minh quyền sở hữu tuân thủ các quy tắc đặt cược.
Quá trình xác thực được hoàn thành vào ngày 4 tháng 1 năm 2025 lúc 7:30 tối theo giờ Thái Bình Dương (tại thời điểm viết bài) và dữ liệu có thể tái tạo hoàn toàn và không cần sự can thiệp của con người. Thông qua công cụ nguồn mở Bằng chứng TVL của chúng tôi, bất kỳ ai cũng có thể xác minh độc lập dữ liệu TVL của LBTC trong thời gian thực.
Đây là sự minh bạch thực sự.
Mặc dù giải pháp này mang lại mức độ minh bạch cao nhưng nó có một lỗ hổng nghiêm trọng: nó dựa vào sự tin cậy vào giao thức để tính toán và báo cáo TVL chính xác.
Vì vậy, có cách nào để loại bỏ sự phụ thuộc này và cho phép mọi người tự tin xác minh kết quả không? Bằng chứng không có kiến thức (ZKP) đưa ra một giải pháp tiềm năng.
Xác minh TVL bằng cách sử dụng bằng chứng không có kiến thức
Ưu điểm chính của bằng chứng không có kiến thức (ZKP) là cơ chế tin cậy được mã hóa và chi phí xác minh cực thấp, do đó người dùng có thể xác minh trực tiếp bằng chứng không có kiến thức trên các thiết bị khách như điện thoại di động hoặc trình duyệt. Điều này làm giảm đáng kể các giả định khó khăn và tin cậy khi xác minh TVL. Giờ đây, người dùng thậm chí không cần phải tin tưởng vào bên thứ ba đang chạy giao thức xác minh TVL.
Biểu thức cụ thể của bằng chứng không có kiến thức được sử dụng để xác minh LST TVL như sau:
Bằng chứng dự trữ từ ví BTC + LST trên LST trên tổng nguồn cung Babylon ≥ LST
BTC từ LST trên Babylon
Theo thông số kỹ thuật giao dịch của Babylon: Để một giao dịch được coi là giao dịch đặt cược hợp lệ, phải đáp ứng các điều kiện sau:
Các giao dịch cần phải có đầu ra Taproot, với đường dẫn chi tiêu chính bị vô hiệu hóa và được gửi tới cây tập lệnh bao gồm ba tập lệnh: tập lệnh khóa thời gian, tập lệnh không liên kết và tập lệnh gạch chéo). Đầu ra này được gọi là stake_output và giá trị của nó được gọi là stake_amount.
Giao dịch cần chứa đầu ra OP_RETURN chứa các thông tin sau: Global_parameters.tag, phiên bản, staker_pk (khóa công khai của người đặt cược), Finality_provider_pk (khóa chung của nhà cung cấp dịch vụ cuối cùng), stake_time (thời gian đặt cược).
Để xác minh BTC của LST trên Babylon, trước tiên chúng tôi cần kiểm tra tính hợp lệ của giao dịch đặt cọc. Ví dụ: xác minh rằng đầu ra Taproot và OP_RETURN có chứa cùng một khóa chung.
Bằng chứng dự trữ cho ví LST
Chúng ta có thể áp dụng các giao thức chứng minh dự trữ tiêu chuẩn, chẳng hạn như giao thức chứng minh dự trữ do Vitalik Buterin đề xuất: https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html.
Ngoài ra, một phiên bản cải tiến đôi chút đã được đề xuất bởi Shumo et al.
Đọc thêm: Cây tổng hợp Merkle SNARKed: Vitalik đề xuất triển khai giao thức bằng chứng dự trữ .
Chi tiết kỹ thuật duy nhất là chúng ta cần thay thế thuật toán chữ ký được Ethereum sử dụng bằng thuật toán được Bitcoin sử dụng. Ví dụ: trong khi cả Bitcoin và Ethereum đều sử dụng ECDSA thì Bitcoin đã chọn SHA thay vì Keccak làm thuật toán băm an toàn.
Tổng cung LST
Đây là đầu vào công khai do người dùng cung cấp.
Xác minh TVL thông qua bằng chứng không có kiến thức có thể giảm thiểu rủi ro đối tác một cách hiệu quả đồng thời hạ thấp ngưỡng cho bất kỳ kết quả xác minh người dùng nào.
Tương lai của BTCFi
Bitcoin luôn đại diện cho sự tin cậy, phân quyền và minh bạch. Tuy nhiên, với sự gia tăng nhanh chóng của dữ liệu TVL sai lệch trong không gian đặt cược Bitcoin, những nguyên tắc cốt lõi này có nguy cơ bị xói mòn.
Giải pháp đã rõ ràng: Việc xác minh TVL thông qua bằng chứng không có kiến thức cung cấp một con đường rõ ràng dẫn đến trách nhiệm giải trình thực sự.
Bằng cách loại bỏ sự phụ thuộc vào niềm tin và khiến bất kỳ ai cũng có thể xác minh được khoản dự trữ, chúng tôi có thể xây dựng lại niềm tin của người dùng đối với Bitcoin LST và đảm bảo BTCFi phát triển mạnh trên cơ sở “xác thực”.
Tham gia liên tục
Chúng tôi tin vào sức mạnh của sự tiến bộ tập thể. Đây là cách bạn có thể giúp thúc đẩy điều này:
Cung cấp thêm phân tích xác minh TVL: Giúp mở rộng phạm vi ứng dụng của công cụ và đóng góp phân tích minh bạch cho các giao thức BTCFi khác. Tính minh bạch là nỗ lực hợp tác trên toàn bộ hệ sinh thái.
Đóng góp PR: Cải thiện công cụ hoặc đề xuất các tính năng mới (ví dụ: triển khai zk-proofs).
Thiết lập các tiêu chuẩn ngành: Hợp tác với chúng tôi để tạo ra các tiêu chuẩn minh bạch BTCFi công khai, có thể kiểm chứng.
Truyền bá: Chia sẻ bài viết này để nâng cao nhận thức về sự cần thiết của việc xác minh TVL không đáng tin cậy.
Đính kèm: Toàn văn báo cáo và địa chỉ nguồn mở của công cụ xác minh
Bằng chứng về liên kết TVL GitHub
Báo cáo liên kết gốc
