TechFlow tin tức, ngày 20 tháng 10, sáng nay, nhà sáng lập Ethereum Vitalik Buterin đã đăng bài giới thiệu về giao thức GKR. Giao thức GKR (Goldwasser-Kalai-Rothblum) đang trở thành công nghệ cốt lõi của các hệ thống chứng minh kiến thức không (zero-knowledge proof) hiệu suất cao. Nghiên cứu mới nhất cho thấy, bằng cách loại bỏ các thao tác cam kết ở tầng trung gian và chỉ thực hiện cam kết tại đầu vào và đầu ra, GKR có thể giảm chi phí lý thuyết từ gấp 100 lần phương pháp STARK truyền thống xuống còn khoảng 15 lần, thậm chí trong thực tế triển khai còn dưới 10 lần. Giao thức này đặc biệt phù hợp với các mô hình tính toán nhiều lớp như hàm băm Poseidon và mạng thần kinh nhân tạo, công nghệ cốt lõi "sumcheck" của nó sử dụng tổ hợp tuyến tính ngẫu nhiên để đệ quy đơn giản hóa các vấn đề đa chiều. Mặc dù bản thân GKR không cung cấp tính chất kiến thức không, nhưng có thể kết hợp với ZK-SNARK hoặc ZK-STARK, và đã trở thành nền tảng công nghệ then chốt cho việc chứng minh ZK-EVM thời gian thực và xác minh các mô hình học máy quy mô lớn.
Chuyên sâu báo cáo Web3
Tôi muốn đăng bài
Yêu cầu phỏng vấn
Theo dõi chúng tôi
Cảnh báo rủi ro: mọi nội dung trên website này không cấu thành tư vấn đầu tư và chúng tôi không cung cấp bất kỳ dịch vụ tín hiệu hay dẫn dắt giao dịch nào. Theo thông báo của PBoC và 10 bộ ngành về việc tăng cường phòng ngừa rủi ro đầu cơ tiền mã hóa, xin hãy nâng cao ý thức rủi ro. Liên hệ: [email protected] Mã ICP: 琼ICP备2022009338号




