Vitalik phát hành bài hướng dẫn GKR: Giao thức “batch × layer” hỗ trợ chứng minh ZK siêu nhanh
ChainCatcher đưa tin, Vitalik Buterin vừa đăng tải một bài viết mới, giải thích chi tiết về giao thức GKR (Goldreich–Kahan–Rothblum) được sử dụng để tăng tốc chứng minh ZK, thích ứng với cấu trúc tính toán “batch × multi-layer”, giúp giảm đáng kể số lượng cam kết ở các lớp trung gian, chỉ thực hiện cam kết đối với đầu vào và đầu ra.
Bài viết lấy ví dụ về hàm băm Poseidon2, giải thích chi tiết quy trình chứng minh đệ quy lấy sumcheck làm cốt lõi, đồng thời đưa ra các phương pháp tối ưu hóa (Gruen’s trick, xử lý hàng loạt tuyến tính, chỉ lập phương phần tử đầu tiên của một số vòng), trong các trường hợp cam kết đa thức có thể kết hợp với BaseFold hoặc FRI. Tác giả cho biết chi phí thực tế thấp hơn khoảng 100 lần so với lý thuyết của STARK truyền thống, chi phí ở cấp độ từng con số là khả thi, đồng thời lưu ý rằng thử thách Fiat–Shamir cần đề phòng rủi ro có thể dự đoán được trong mạch.
Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.
Bạn cũng có thể thích
Một người dùng tại Bắc Carolina bị đánh cắp ví lạnh, thiệt hại khoảng 3 triệu đô la Mỹ XRP
Trump phát hành video AI khiêu khích những người biểu tình chống Trump "No Kings"

Thịnh hành
ThêmGiá tiền điện tử
Thêm








