Vitalik phát hành bài viết hướng dẫn GKR: giao thức "lớp batch" hỗ trợ chứng minh ZK siêu nhanh

GateNews

PANews 10 tháng 10, Vitalik Buterin vừa viết bài, giải thích chi tiết về giao thức GKR (Goldreich–Kahan–Rothblum) được sử dụng để tăng tốc ZK chứng minh, thích ứng với cấu trúc tính toán “tập hợp × nhiều lớp”, giảm đáng kể cam kết của các lớp trung gian, chỉ cam kết đối với đầu vào và đầu ra. Bài viết lấy hàm băm Poseidon2 làm ví dụ, giải thích chi tiết quy trình chứng minh đệ quy với sumcheck là trung tâm, và đưa ra các tối ưu hóa (mẹo Gruen, xử lý theo lô tuyến tính, phần vòng chỉ yếu tố lập phương đầu tiên), có thể kết hợp BaseFold hoặc FRI trong các kịch bản cam kết đa thức. Tác giả cho biết chi phí thực tế thấp hơn khoảng 100 lần giá trị lý thuyết của STARK truyền thống, chi phí ở mức đơn số có thể kỳ vọng, và nhắc nhở rằng thách thức Fiat–Shamir cần đề phòng rủi ro dự đoán được trong mạch.

Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo Tuyên bố miễn trừ trách nhiệm.
Bình luận
0/400
Không có bình luận