Mã hóa CBC cho 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', mô tả cách trình xác thực Solana chứng minh họ đang lưu trữ bản sao đầy đủ của sổ cái. Phần này giải thích rằng bằng chứng lưu trữ đơn thuần dễ bị tấn công ủy quyền — trình xác thực có thể tuyên bố lưu trữ dữ liệu mà thực tế lấy theo yêu cầu từ trình xác thực khác. Mã hóa CBC với khóa riêng của trình xác thực ngăn chặn điều này bằng cách làm cho bản sao mã hóa của mỗi trình xác thực là duy nhất và bị ràng buộc tính toán với danh tính của họ.
Nội dung hình này
Sơ đồ minh họa mã hóa chế độ Chuỗi Khối Mã hóa (CBC) áp dụng cho dữ liệu sổ cái: mỗi khối bản rõ P_n được XOR với bản mã của khối trước C_{n-1} trước khi được mã hóa bằng khóa trình xác thực, tạo ra bản mã C_n = Encrypt(P_n XOR C_{n-1}). Chuỗi này có nghĩa để tính C_n, trình xác thực phải đã tính C_{n-1}, điều này đòi hỏi C_{n-2}, v.v. ngược lại C_0. Trình xác thực không thể tính khối mã hóa tại vị trí n mà không xử lý tất cả các khối trước đó tuần tự, đảm bảo sổ cái mã hóa là bản sao tuần tự trung thực của dữ liệu gốc. Vì mỗi trình xác thực sử dụng khóa khác nhau được dẫn xuất từ khóa công khai và hạt giống dẫn xuất từ PoH, không có hai trình xác thực nào tạo ra bản mã giống nhau, khiến việc giả mạo bằng chứng lưu trữ bằng cách sao chép dữ liệu mã hóa của trình xác thực khác là không thể.
Tầm quan trọng
Chế độ CBC là nguyên thủy mật mã thực thi xử lý tuần tự trong Bằng chứng Sao chép của Solana, biến đổi vấn đề xác minh lưu trữ thành vấn đề xác minh tính toán. Nếu không có thuộc tính chuỗi này, trình xác thực có thể chọn lọc chỉ lưu trữ các khối mà họ kỳ vọng bị thách thức; với nó, trình xác thực phải xử lý toàn bộ chuỗi để tạo bất kỳ khối mã hóa hợp lệ nào. Sơ đồ làm cho chuỗi phụ thuộc trở nên trực quan và giải thích tại sao các vị trí thách thức tùy ý không thể được trả lời mà không có lưu trữ tuần tự đầy đủ.
