Chúng tôi đang xây dựng một zkVM dựa trên đồ thị trên hệ thống @ziskvm. Mục tiêu của chúng tôi: suy nghĩ lại kiến trúc prover từ những nguyên tắc cơ bản để mở khóa hiệu suất, khả năng di động và bảo mật tốt hơn. 🧵

Việc chứng minh ZKP đang bước vào một kỷ nguyên "tốc độ trước tiên". Hầu như mọi prover hiện nay đều hỗ trợ tăng tốc GPU (CUDA, Metal, v.v.). Nhưng kiến trúc phía sau việc chuyển giao phần cứng cũng quan trọng không kém so với phần cứng thô.

Hiện nay có hai phương pháp chính: - Chế độ HAL: các lệnh gọi hàm giống nhau, nhưng phần cứng khác nhau. - Chế độ Đồ thị: mã hóa toàn bộ quá trình chứng minh dưới dạng đồ thị tính toán, sau đó tối ưu hóa và biên dịch theo từng nền tảng.

Sự phân chia là rõ ràng: - Hệ thống AI → Chế độ Đồ thị - Hầu hết các trình chứng minh ZKP → Chế độ HAL (vì lý do lịch sử, ưu tiên CPU) HAL thì tiện lợi, nhưng che giấu cấu trúc toàn cầu của tính toán.

Chế độ Đồ thị làm cho toàn bộ prover trở nên rõ ràng và có thể kiểm tra, cho phép tối ưu hóa sâu hơn, thực thi đa nền tảng và tăng cường bảo mật & khả năng kiểm toán. Trong bài viết sắp tới, chúng tôi sẽ chia sẻ cách thiết kế này hình thành zkVM dựa trên đồ thị của chúng tôi và những gì nó mở ra. ⚡️