Bằng chứng dự trữ (PoR) là một chương trình kiểm toán nhằm chứng minh cho người tiết kiệm và công chúng rằng tiền gửi của họ khớp với số dư của họ thông qua bằng chứng mật mã, kiểm tra quyền sở hữu ví công khai và kiểm toán lặp lại.

Merkle Tree là một công cụ mã hóa chủ yếu được sử dụng để xác minh tính toàn vẹn dữ liệu một cách hiệu quả. Nó có thể hợp nhất một lượng lớn dữ liệu thành một giá trị băm duy nhất. Giá trị băm này được gọi là Merkle Tree Root, là một trường được mã hóa được tạo dựa trên sự tổng hợp của tất cả thông tin đã nhập. Do đó, người dùng có thể xác minh nội dung của một tập dữ liệu “được niêm phong” cụ thể thông qua cây Merkle. Trong Bằng chứng dự trữ của Bitunix, chúng tôi sử dụng cây Merkle để chứng minh rằng tài sản tài khoản người dùng cá nhân được giữ theo tỷ lệ 1:1.

Để chứng minh rằng Bitunix nắm giữ tất cả tài sản của người dùng theo tỷ lệ 1:1, chúng tôi đã xây dựng và triển khai cây Merkle và cho phép người dùng xác minh tài sản của họ trong nền tảng. Trong Bằng chứng dự trữ của Bitunix, mỗi nút Acct ở cuối cây Merkle đại diện cho một tài khoản cá nhân, số dư và tên tài khoản của mỗi tài khoản sẽ được SHA256 mã hóa và tính toán một lần, sau đó giá trị băm thu được sẽ được tính lại với giá trị băm lân cận, v.v., theo từng lớp, để cuối cùng lấy được gốc của Cây Merkle. Nếu người dùng muốn xác minh xem tài sản cá nhân của họ có còn nguyên vẹn trong nền tảng hay không, trước tiên họ chỉ cần làm theo các bước tính toán hàm băm của tài khoản của chính mình, sau đó tìm vị trí trong cây và các nút lân cận, sau đó tính toán lớp băm bằng cách xếp lớp lên trên cho đến khi chạm tới gốc cây do người dùng tính toán. Nếu gốc của cây được tính toán phù hợp với kết quả chính thức thì điều đó chứng tỏ rằng khoản dự trữ đã hoàn tất và không có lỗi, tức là nền tảng đã lưu trữ nguyên vẹn số tiền của người dùng.

Tìm hiểu thêm về Cây Merkle