Phác thảo giao thức PoRep và PoSt
Ngữ cảnh
Hình 4 kết thúc Phần 3.4 (PoRep và PoSt thực tế) và trình bày danh sách thuật toán đầy đủ, từng bước cho cả giao thức PoRep và PoSt của Filecoin. Nó được tham chiếu rõ ràng từ Phần 3.4.3 và 3.4.4 là bản phác thảo giao thức chính thức cho các triển khai thực tế. Chú thích ghi: 'Bản phác thảo giao thức Bằng chứng Sao chép và Bằng chứng Thời-Không gian.'
Nội dung hình này
Nửa trái của hình trình bày giao thức PoRep Filecoin với ba thuật toán. Setup nhận cặp khóa của bên chứng minh và dữ liệu D, áp dụng thao tác Seal chậm để tạo bản sao duy nhất, tính gốc Merkle của nó, và tạo bằng chứng zk-SNARK chứng minh sao chép đúng. Prove nhận một thách thức ngẫu nhiên, tính đường đi Merkle từ gốc đến lá bị thách thức, và xuất ra bằng chứng. Verify kiểm tra cả bằng chứng seal (xác nhận tạo bản sao đúng) và bằng chứng lưu trữ (xác nhận sở hữu lá bị thách thức). Nửa phải trình bày giao thức PoSt Filecoin: Setup ủy quyền cho PoRep.Setup; Prove lặp t lần, suy ra thách thức mới và tổ hợp bằng chứng đệ quy; Verify kiểm tra bằng chứng seal và bằng chứng PoSt cuối cùng dựa trên tham số thời gian t.
Tầm quan trọng
Hình 4 là đặc tả chính thức chứng minh rằng bằng chứng lưu trữ của Filecoin có thể xác minh công khai mà không cần bên xác minh đáng tin cậy và chống lại các tấn công sybil, thuê ngoài và tạo giả. Bằng cách kết hợp thao tác Seal chậm với tổ hợp zk-SNARK đệ quy, giao thức đạt được bằng chứng ngắn gọn, không tương tác mà bất kỳ người tham gia mạng nào cũng có thể xác minh từ chuỗi khối, làm cho hệ thống có thể kiểm toán và tương thích khuyến khích.
