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
ETH0.22%
Xem bản gốc
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.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
0/400
Không có bình luận
  • Ghim
Giao dịch tiền điện tử mọi lúc mọi nơi
qrCode
Quét để tải xuống ứng dụng Gate
Cộng đồng
Tiếng Việt
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)