Tầm quan trọng và sơ hở của bằng chứng dự trữ Merkle Tree là gì?
Biên tập viên gốc: Wu said blockchain
Lời nói đầu: Cơn bão FTX đã khiến tất cả các sàn giao dịch bắt đầu cùng nhau quảng bá sơ đồ bằng chứng dự trữ cây Merkle. Hiện tại, Kraken và Gate đã được thực hành từ lâu ở nước ngoài và trong nước. Chính xác thì bằng chứng dự trữ Merkle Tree là gì, tầm quan trọng của nó là gì và những thiếu sót của nó là gì? Bài viết này xin tóm tắt một số nội dung để bạn đọc nắm rõ.
Nội dung một:
Mô tả về việc sử dụng Cổng lâu dài sớm nhất ở Trung Quốc
Cây Merkle (Merkle tree) là một cây nhị phân băm, được phát minh bởi Ralph Merkle vào năm 1979, lưu trữ dữ liệu trong các nút lá của cấu trúc cây, và đảm bảo tính toàn vẹn của dữ liệu thông qua các phép toán băm theo cấp độ (Hash) trên dữ liệu. Không thể bị giả mạo. Bất kỳ thay đổi nào trong dữ liệu của nút lá sẽ được chuyển đến nút cấp trên và cuối cùng được phản ánh đến gốc của cây. Mọi giao dịch trong khối Bitcoin được lưu trữ thông qua cấu trúc cây Merkle.
Trong phương pháp chúng tôi đề xuất, hai phương pháp được sử dụng để cung cấp bằng chứng về tổng tài sản của người dùng nền tảng và bằng chứng về tiền gửi hợp lệ của người dùng tương ứng. Giá trị băm của tài sản tài khoản của mỗi người dùng được lưu trữ trong nút lá của cây Merkle thông qua cây Merkle. Tổng số tài sản của người dùng được lưu trữ trong các nút lá của cây Merkle được kiểm toán bởi cơ quan kiểm toán tài chính bên thứ ba và khoản tiền gửi hiệu quả của người dùng do nền tảng nắm giữ cũng được cơ quan kiểm toán tài chính bên thứ ba xem xét và xác minh. Cuối cùng, cơ quan kiểm toán tài chính bên thứ ba sẽ cung cấp báo cáo kiểm toán bằng văn bản và công bố kết quả kiểm toán. Đồng thời, cây Merkle lưu trữ giá trị băm của tất cả tài sản người dùng được cung cấp công khai. Mọi người dùng nền tảng đều có thể xác minh xem lượng tài sản tài khoản của họ có được đưa vào cây Merkle chính xác hay không thông qua các thuật toán toán học.
Đối với các loại tiền tệ chính thống, chúng tôi sẽ hợp tác với các công ty kiểm toán để hoàn thành từng báo cáo kiểm toán, xuất bản tất cả giá trị băm tài sản của người dùng Merkle tree trên nền tảng Github và các chương trình mã xác minh nguồn mở, bất kỳ người dùng nền tảng nào cũng có thể truy cập từ "Tài chính của tôi" "Số dư Trang Chứng minh" để lấy thông tin xác minh và xác minh xem nội dung của bạn có được xuất bản chính xác và được đưa vào quy trình kiểm toán thông qua cây Merkle công khai và quy trình xác minh của chúng tôi hay không.
Đối với các loại tiền tệ khác, bất kỳ bên dự án hoặc cá nhân nào cũng có thể yêu cầu nền tảng hoàn thành công việc kiểm toán và tiết lộ cây Merkle tài sản của người dùng theo cùng một tiêu chuẩn, nhưng người đề xuất cần phải chịu một khoản phí nhất định. Tiêu chuẩn phí sẽ được xác định tùy theo độ khó kiểm toán, liệu tiền tệ có phải là lưu trữ đa chuỗi hay không, liệu nó có chức năng quản lý tài chính PoS hay không, liệu nó có chức năng bảo mật hay không, v.v.
Nội dung hai:
liên kết gốc
Vào tháng 2 năm 2019, công ty cơ sở hạ tầng Bitcoin và chuỗi khối Blockstream đã xuất bản một bài đăng trên blog có tiêu đề "Bằng chứng dự trữ Bitcoin được chuẩn hóa", giải thích cách tự chứng nhận dự trữ Bitcoin của các tổ chức như sàn giao dịch và quyền kiểm soát các quỹ dự trữ này. Ban đầu, Blockstream nghiên cứu sơ đồ này để chứng minh cho kiểm toán viên thấy lượng dự trữ Bitcoin trên Mạng thanh khoản chuỗi bên Bitcoin và sau đó đã phát triển nó thành một đặc điểm kỹ thuật để chứng minh lượng dự trữ Bitcoin.
Trước Blockstream, sự đa dạng của các kế hoạch xác minh khiến người dùng khó hiểu được dự trữ của mỗi sàn giao dịch. Ngoài ra, do nhu cầu xác minh quyền sở hữu khóa cá nhân, có thể có nguy cơ tiền bị đánh cắp trong quá trình ký kết các giao dịch để chuyển tài sản.
Kế hoạch này được triển khai thông qua định dạng giao dịch UTXO (đầu ra giao dịch chưa được sử dụng) đặc biệt của Bitcoin và sàn giao dịch xây dựng một đầu ra giao dịch chứa tất cả dự trữ bitcoin của sàn giao dịch, nhưng đồng thời xây dựng một đầu vào không hợp lệ. Giao dịch sẽ bị mạng từ chối tại thời điểm phát sóng và không thể tạo ra giao dịch thực tế, nhưng giao dịch vẫn có thể được sử dụng làm bằng chứng về số lượng bitcoin do sàn giao dịch kiểm soát.
Trên thực tế, vào năm 2014, cộng đồng Tiền điện tử đã thảo luận về cách các sàn giao dịch có thể chứng nhận dự trữ của họ cho kiểm toán viên. Sau khi Blockstream đề xuất sơ đồ bằng chứng dự trữ bitcoin và tham gia BIP, thị trường bắt đầu nghiên cứu các sơ đồ chi tiết hơn và chế độ bằng chứng dựa trên Merkle Tree là một sơ đồ thường được thị trường công nhận hiện nay.
Sàn giao dịch tiền điện tử Kraken có trụ sở tại Hoa Kỳ đã giải thích chi tiết hơn về đề xuất bằng chứng dự trữ của mình. Kraken cho biết cái gọi là PoR (Proof of Reserves) là một cuộc kiểm toán độc lập do bên thứ 3 thực hiện. Kiểm toán viên sẽ chụp ảnh ẩn danh tất cả số dư tài khoản, tổng hợp chúng vào Cây Merkle và lấy Merkle Root: một sự kết hợp của dữ liệu xác định duy nhất các số dư này khi ảnh chụp nhanh được tạo.
Sau đó, kiểm toán viên thu thập chữ ký số do Kraken tạo để chứng minh quyền sở hữu các địa chỉ trên chuỗi với số dư có thể xác minh công khai. Cuối cùng, kiểm toán viên so sánh và xác minh rằng các số dư này vượt quá hoặc khớp với số dư tài khoản của khách hàng được hiển thị trong Cây Merkle để xác định xem sàn giao dịch có dự trữ đầy đủ hay không.
Để giải thích ngắn gọn, dữ liệu cơ bản của Cây Merkle là Băm được tạo bởi dữ liệu nội dung do mỗi tài khoản nắm giữ, sau đó Cây Merkle tạo một Băm mới thông qua hai Băm, v.v., Băm cuối cùng đại diện cho tài sản do tài khoản sở hữu. trao đổi Tổng số lượng tài sản, phải lớn hơn hoặc ít nhất bằng với tài sản được nắm giữ bởi tất cả người dùng. Lý do lớn nhất khiến sơ đồ này có thể được chấp nhận là dữ liệu tài sản của mỗi người dùng đều được bao gồm trong đó. từ được tạo ra Các đặc điểm thuật toán của Hash sẽ không được lặp lại ở đây).
Mặc dù sơ đồ này chứng minh rằng sàn giao dịch có khả năng mua lại tất cả tài sản của người dùng trong quá trình kiểm tra, nhưng nó cũng có một số khiếm khuyết nhất định. Ví dụ: không thể chứng minh rằng khóa riêng tư thuộc sở hữu độc quyền, liệu tài sản tại thời điểm kiểm toán có phải là tài sản mượn tạm thời hay không, làm thế nào để chứng minh rằng các quỹ trao đổi (tương đương với vốn chủ sở hữu) được tách biệt khỏi tài sản của người dùng (tương đương với hối đoái nợ), và sự thận trọng của bản thân cuộc kiểm toán, v.v.
Ngoài Kraken, sàn giao dịch tiền điện tử BitMEX đã công bố kế hoạch xác minh lượng dự trữ Bitcoin do sàn nắm giữ vào năm 2021. Kế hoạch này cũng sử dụng mô hình bằng chứng dựa trên Merkle Tree để tạo ID cho mỗi tài khoản của người dùng, giúp Người dùng có thể chạy Bitcoin tự nút và sau đó chạy bộ chương trình này để xác minh tài sản tài khoản và tổng tài sản của trao đổi trong mỗi chiều cao khối Bitcoin.
viết ở cuối
viết ở cuối
Mặc dù sự cố FTX đã gióng lên hồi chuông cảnh báo đối với chúng tôi và thúc đẩy sự phát triển hơn nữa của tính minh bạch trên sàn giao dịch, nhưng trên thực tế, kế hoạch xác minh tài sản hiện tại vẫn còn nhiều kẽ hở bao gồm cả những thiếu sót nêu trên. Ở nhiều chi tiết, sàn giao dịch vẫn khó “chứng minh mình vô tội”. Tính minh bạch của các thể chế tập trung luôn là một vấn đề được nhiều người quan tâm và thảo luận, không đủ minh bạch sẽ khiến các nhà đầu tư lo ngại, nhưng quá minh bạch có thể làm lộ bí mật thương mại ở một mức độ nhất định, và những mâu thuẫn này không chỉ xảy ra trong lĩnh vực Web3.
Để đưa ra một ví dụ đơn giản, nhiều sàn giao dịch tập trung hiện tại đã tung ra các sản phẩm quản lý tài sản tiền điện tử. Với tiền đề rằng sàn giao dịch không lạm dụng các tài sản này, một số trong số chúng có thể được sử dụng cho các giao dịch định lượng, một số để phòng ngừa rủi ro, một số cho DeFi và một số để cho vay thế chấp. Công cộng.
Hiện tại, bằng chứng về dự trữ để chứng minh khả năng thanh toán của sàn giao dịch mới chỉ là bước khởi đầu.Làm thế nào để chứng minh rằng tiền của người dùng không bị nhầm lẫn với tiền của chính họ, làm thế nào để chứng minh rằng các sản phẩm quản lý tài sản không phải là kế hoạch Ponzi, làm thế nào để chứng minh sự chấp nhận khả năng của các nhà tạo lập thị trường,… Các câu hỏi cần suy nghĩ và giải quyết.
Nội dung ba:
Các quan điểm khác nhau, thông qua Chainfeed
Ben: Các vấn đề tiềm ẩn bao gồm: 1. Tần suất cập nhật gốc 2. Gian lận từ phía trước 3. Tín dụng kiểm toán của bên thứ ba 4. Khả năng sử dụng của người tố giác. Nhưng minh bạch hơn nói chung là một xu hướng tốt hơn cho người dùng CEX.
Haotian: Sàn giao dịch CEX đều cho biết sẽ áp dụng chứng chỉ dự trữ cây Merkle, điều này có tác động tích cực, nhưng vẫn tồn tại các vấn đề tiềm ẩn: 1) Cách cập nhật tần suất của dữ liệu được lưu trữ trong cây Merkle, không thể làm mới dữ liệu trong thời gian thực đối với mọi đầu vào và đầu ra , vấn đề tham ô tiền vẫn tồn tại; 2) Dữ liệu cây Merkle được lưu trữ trên máy chủ riêng của sàn giao dịch, có thể được xác minh tốt nhất và "xác minh" là bản chất của xác minh sau khi xác minh. phân tích cuối cùng, vẫn sẽ có vấn đề với độ tin cậy của nền tảng.
Jolestar: Sơ đồ cây Merkle không thực sự hiệu quả lắm, nhưng có còn hơn không.Xu hướng này là tốt. Giải pháp thực sự cần tham khảo ý tưởng của layer2, để đảm bảo quyền đơn phương rút tiền của người dùng và có các hình phạt gian lận.
Mindao: Vấn đề cốt lõi là chỉ biết dự trữ thôi thì chưa đủ, các giao dịch liên quan, mối quan hệ nợ và giao dịch ký quỹ không thể được phản ánh thông qua dự trữ. Thị trường tăng giá sắp đến, và người dùng sẽ đỏ mắt chứ đừng nói đến việc quan tâm đến nó. Nói có còn hơn không, nhưng cuối cùng: dị đoan > kỷ luật tự giác. DeFi là một bằng chứng về chuỗi tài sản bền vững, thậm chí cả logic kinh doanh và quyền cũng rõ ràng và có thể kiểm chứng được. Chúng tôi quay lại điểm ban đầu, tất cả trong DeFi là đúng.
Benmo: Ngoài bằng chứng 100% về khoản tiền gửi của mỗi Cex, tôi hy vọng rằng các cầu nối chuỗi chéo cũng sẽ cung cấp bằng chứng 100% về khoản tiền gửi.
