Một trong những hệ thống AI mạnh mẽ nhất mà bạn sẽ ngạc nhiên khi nghe đến sẽ tham gia vào dịch vụ lưu trữ đám mây Cysic...!
Đó là ai? Hãy đoán trong phần bình luận (có thể có quà tặng..)
HAL->Đề xuất chuyển đổi hệ thống ưu tiên đồ thị 🔥
Chúng tôi đã lập luận rằng trong phần đầu tiên của bộ ba zkVM,
nên chuyển đổi HAL (tầng trừu tượng phần cứng) hiện tại thành một hệ thống chứng minh dựa trên đồ thị.
Và dữ liệu thực tế về điều này đã được công bố.
Chúng tôi đã thử nghiệm Venus (hệ thống backend dựa trên đồ thị) trên Zisk với GPU và FPGA (chip đặc biệt).
Chúng tôi đã xem xét lại ý tưởng phần cứng ZK ban đầu.
Các con số kết quả cho thấy như dưới đây.
Prover ZK thế hệ tiếp theo của Cysic: Graph-First 🔥
Hệ thống chứng minh ZK hầu hết đều chia sẻ những giả định kiến trúc chung mà không ai nghi ngờ
Chúng ta coi hàm Prove() như một hộp đen hoàn toàn
Phần cứng không bao giờ nhìn thấy toàn bộ phép toán cùng một lúc, mà chỉ nhìn thấy một kernel tại một thời điểm
Tên của giả định này là HAL
Để tôi nói cho bạn biết tại sao Cysic đã thay thế HAL!