Proof of Replication
Ngữ cảnh
Hình này xuất hiện trong phần 'Bằng chứng Sao chép Luồng', cụ thể trong mô tả về cách thách thức lưu trữ được đưa ra và xác minh bằng bằng chứng Merkle. Phần này giải thích rằng mạng định kỳ chọn các vị trí ngẫu nhiên trong sổ cái mã hóa của mỗi trình xác thực và yêu cầu khối mã hóa tại vị trí đó cùng với bằng chứng Merkle về sự bao gồm trong gốc sổ cái mã hóa đã công bố.
Nội dung hình này
Sơ đồ minh họa phương pháp xác minh Bằng chứng Sao chép Nhanh: trình xác thực duy trì cây hash Merkle trên sổ cái mã hóa, với gốc Merkle được công bố on-chain như cam kết với toàn bộ tập dữ liệu mã hóa. Khi bị thách thức tại vị trí k, trình xác thực trả về khối mã hóa C_k và bằng chứng nhánh Merkle từ C_k đến gốc. Trình xác minh tính lại khóa mã hóa kỳ vọng từ khóa công khai trình xác thực và hạt giống dẫn xuất PoH, giải mã C_k để khôi phục bản rõ kỳ vọng P_k, và xác minh nhánh Merkle với gốc đã công bố. Toàn bộ xác minh yêu cầu O(log n) hash thay vì toàn bộ tập dữ liệu mã hóa, khiến thách thức-phản hồi hiệu quả ngay cả với sổ cái lớn. Vị trí thách thức được dẫn xuất từ trạng thái PoH, mà trình xác thực không thể dự đoán trước, buộc phải lưu trữ toàn bộ tập dữ liệu mã hóa.
Tầm quan trọng
Phương pháp thách thức dựa trên Merkle này là thứ làm cho Bằng chứng Sao chép vững chắc về mặt mật mã trước các đối thủ lý trí (có động cơ kinh tế). Tính không thể dự đoán của vị trí thách thức ngăn chặn lưu trữ chọn lọc, và cam kết cây Merkle cho phép xác minh hiệu quả mà trình xác minh không cần tải xuống toàn bộ sổ cái mã hóa. Kết hợp với cơ chế mã hóa CBC, điều này tạo ra hệ thống trách nhiệm hoàn chỉnh trong đó bất kỳ trình xác thực nào loại bỏ dữ liệu cuối cùng sẽ thất bại trong thách thức và mất stake.
