Nguồn liên kết: https://x.com/Zypher_Network/status/1871383005505396853
Từ Goth16 đến Plonk, toàn ngành công nghiệp zk luôn nỗ lực thiết kế các hệ thống chứng minh hiệu quả hơn. Tuy nhiên, việc đánh giá khách quan hiệu suất của một hệ thống chứng minh zk vẫn luôn là một vấn đề phức tạp, vì hiện vẫn chưa có tiêu chuẩn đo lường thống nhất. Vào tháng 7 năm nay, StareWare đã phát hành hệ thống chứng minh thế hệ tiếp theo Stwo, thông qua việc giới thiệu chỉ số Số lượng giao dịch trên mỗi giây (HPPS), có thể đo lường trực tiếp hiệu suất của hệ thống. Kết quả kiểm tra cho thấy, Stwo có thể chứng minh 620.000 hàm băm Poseidon2 mỗi giây trên một chiếc máy tính xách tay M3, được coi là hệ thống chứng minh nhanh nhất. Tuy nhiên, kỷ lục này đã nhanh chóng bị phá vỡ. Vào tháng 8, Expander đã công bố báo cáo chuẩn mới nhất, cho biết trên máy AMD Ryzen 7950X3D, Expander có thông lượng lên đến 2.160.000 HHPS, vượt xa 960.000 HHPS của Stwo, trở thành Prover nhanh nhất thế giới.
Zypher Network là một nền tảng Gamefi toàn diện do AI Agents và công nghệ ZKP dẫn dắt, luôn theo dõi sát sao sự phát triển của ngành và tích cực đưa vào các hệ thống chứng minh hiệu quả hơn. Các hệ thống chứng minh hiệu quả hơn không chỉ có thể cải thiện đáng kể trải nghiệm người dùng, mà còn mở ra vô số khả năng để xây dựng các ứng dụng phi tập trung có hiệu suất cao trên chuỗi. Hiện tại, chúng tôi đang hợp tác chặt chẽ với Polyhedra Network - nhà phát minh của Expander, tích cực khám phá việc sử dụng Expander để xây dựng nền tảng phi tập trung thế hệ tiếp theo trên chuỗi, mang lại nguồn năng lượng sáng tạo không ngừng cho hệ sinh thái Gamefi toàn diện. Với tư cách là nhà tiên phong trong lĩnh vực nghiên cứu và ứng dụng Bằng chứng không tri thức, Polyhedra đã xây dựng nền tảng công nghệ tin cậy và có thể mở rộng cho các hệ thống AI và blockchain thông qua EXPchainLayer1 của họ.
Expander là gì
Hầu hết các SNARK sử dụng đa thức một biến, chủ yếu do các lời cam kết đa thức (như KZG, FRI) nền tảng của chúng quyết định, và các lời cam kết đa thức thường là điểm nghẽn về hiệu suất của SNARK. Trong những năm gần đây, một số hệ thống chứng minh mới đã xuất hiện, ví dụ như các phương án dựa trên GKR + sumcheck, thông qua việc sử dụng khéo léo các đa thức nhiều biến, đã giảm đáng kể độ phức tạp của bên chứng minh.
Giao thức GKR được đề xuất vào năm 2008 và được Libra cải tiến, đề xuất phương án chứng minh không tri thức đầu tiên có thời gian chứng minh nghiêm ngặt tuyến tính. Dựa trên nền tảng này, nhóm tác giả của Libra - Polyhedra, đã phát triển hệ thống chứng minh Expander. Hệ thống này kết hợp giao thức GKR hiệu quả với các lời cam kết đa thức nhiều biến (như Orion và Brakedown), khiến cho việc tính toán của bên chứng minh chỉ liên quan đến các phép tính băm và phép toán trên miền tuyến tính với kích thước của đa thức. Hệ thống chứng minh này không yêu cầu tính toán FFT, do đó có thể sử dụng các miền nhỏ phổ biến hiện nay, điều này cũng có nghĩa là chi phí của Prover thấp hơn và tương thích phần cứng tốt hơn. Expander hiện chủ yếu hỗ trợ các miền sau:
Viết mạch GKR tương đối phức tạp, vì vậy Expander cung cấp trình biên dịch mạch ECC, cho phép chuyển đổi mạch được viết bằng gnark thành mạch phân cấp, sau đó sử dụng Prover Expander để chứng minh, toàn bộ quy trình phát triển như sau:
Tìm hiểu sâu về giao thức GKR
Quy trình giao thức đầy đủ như sau, với:
Giải pháp của Zypher
Expander có hiệu suất vượt trội, đặc biệt là trong lĩnh vực AI. Theo thông tin, Expander có thể sử dụng CPU hiệu suất cao để nhanh chóng tạo ra bằng chứng cho mô hình Llama-3 với 8 tỷ tham số trong vài phút, thành tựu này rất đáng chú ý và mở ra con đường cho việc ứng dụng AI Agents.
Zypher Network là một nền tảng Gamefi toàn diện do AI Agents và công nghệ ZKP dẫn dắt, đang sử dụng AI Agents để tạo ra các nhân vật phi người chơi thông minh, đối thủ và các Boss game mạnh mẽ, thực hiện đào tạo nhân vật hàng ngày và tự động hóa các trận PvP.
Với Expander, một mặt Zypher có thể thực hiện các AI Agents phức tạp hơn và tạo ra bằng chứng nhanh hơn với ít tài nguyên tính toán hơn; mặt khác, Zypher có thể kiểm tra hành vi của AI agent và người chơi hiệu quả hơn, đảm bảo an ninh và công bằng của hệ thống, từ đó nâng Gamefi phi tập trung lên một tầm cao mới, mang lại trải nghiệm người dùng tốt hơn.
