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!