Vitalik Buterin công bố hướng dẫn GKR: giao thức "layer batch" hỗ trợ chứng minh ZK siêu nhanh
Theo tin tức từ Hashi Chain, Vitalik Buterin đã viết một bài báo gần đây, giải thích chi tiết cách thức áp dụng giao thức GKR (Goldreich–Kahan–Rothblum) để tăng tốc độ chứng minh ZK, và áp dụng cho cấu trúc tính toán "lô×đa tầng", giảm đáng kể cam kết giữa các lớp, chỉ cam kết cho đầu vào và đầu ra. Bài viết sử dụng hàm băm Poseidon2 làm ví dụ, phân tích sâu quy trình chứng minh đệ quy với sumcheck là cốt lõi, và đề xuất các phương án tối ưu (kỹ thuật Gruen, xử lý lô tuyến tính, phần vòng chỉ yếu tố lập phương đầu tiên). Những tối ưu này có thể kết hợp với BaseFold hoặc FRI trong các kịch bản cam kết đa thức. Tác giả chỉ ra rằng 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 số đơn có thể đạt được, và cảnh báo về nguy cơ có thể dự đoán trong mạch của thách thức Fiat–Shamir.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Vitalik Buterin công bố hướng dẫn GKR: giao thức "layer batch" hỗ trợ chứng minh ZK siêu nhanh
Theo tin tức từ Hashi Chain, Vitalik Buterin đã viết một bài báo gần đây, giải thích chi tiết cách thức áp dụng giao thức GKR (Goldreich–Kahan–Rothblum) để tăng tốc độ chứng minh ZK, và áp dụng cho cấu trúc tính toán "lô×đa tầng", giảm đáng kể cam kết giữa các lớp, chỉ cam kết cho đầu vào và đầu ra. Bài viết sử dụng hàm băm Poseidon2 làm ví dụ, phân tích sâu quy trình chứng minh đệ quy với sumcheck là cốt lõi, và đề xuất các phương án tối ưu (kỹ thuật Gruen, xử lý lô tuyến tính, phần vòng chỉ yếu tố lập phương đầu tiên). Những tối ưu này có thể kết hợp với BaseFold hoặc FRI trong các kịch bản cam kết đa thức. Tác giả chỉ ra rằng 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 số đơn có thể đạt được, và cảnh báo về nguy cơ có thể dự đoán trong mạch của thách thức Fiat–Shamir.
#Cryptocurrency #Blockchain #Ethereum #ZKProofs #VitalikButerin