Sự nổi lên của thị trường tăng tốc phần cứng ZK, Cysic có thể trở thành Bit Đại Lục thế hệ tiếp theo

Gần đây, với sự phát triển mạnh mẽ của các dự án ZK Rollup như Scroll, Starknet, phần cứng ZK lại trở thành tâm điểm của thị trường. Ngành công nghiệp cho rằng, với không gian nhu cầu khổng lồ dựa trên công nghệ ZK, mô hình SaaS của các bể khai thác ZK và việc tạo ra ZKP theo thời gian thực có khả năng mở ra một chuỗi ngành mới, những nhà sản xuất phần cứng ZK có năng lực và lợi thế tiên phong có khả năng trở thành Bit tiếp theo.

Trong lĩnh vực tăng tốc phần cứng ZK, Cysic là một trong những dự án được chú ý nhất. Đội ngũ đã từng giành được giải thưởng quan trọng ZPrize và nhận được gần 20 triệu USD tài trợ từ các quỹ đầu tư mạo hiểm hàng đầu như Polychain, ABCDE. Khi mạng thử nghiệm Cysic và bể khai thác ZK sắp ra mắt, sự quan tâm của thị trường đối với nó đang gia tăng.

Quy trình làm việc của hệ thống chứng minh ZK

Quy trình cốt lõi của hệ thống chứng minh ZK bao gồm:

1. Cài đặt vấn đề: Xác định nội dung cần chứng minh
2. Tính toán và CSP: Chuyển đổi nội dung cần chứng minh thành mạch logic và đa thức
3. Chọn hệ thống chứng minh ( như Halo2, Plonk, v.v. ) biên dịch chương trình ZKP
4. Người chứng minh sử dụng chương trình ZKP để tạo ra chứng minh, giao cho người xác minh để xác nhận.

Dự án ZK Rollup sử dụng công nghệ zk-SNARK, nhờ vào sự đơn giản của nó mà chi phí xác minh được tập trung ở phía Prover, nhưng chi phí sinh ZKP cao đã hạn chế ứng dụng quy mô lớn.

Chi phí chính của việc sinh ZKP

Hai loại tính toán tốn tài nguyên nhất trong quá trình tạo ZKP là:

• MSM(Phép nhân đa vô hướng Multi-Scalar Multiplication): Phép nhân đa vô hướng trên đường cong elliptic
• NTT(Biến Đổi Số Thuyết Số): Biến Đổi Fourier Nhanh Trên Trường Hữu Hạn

Hai loại tính toán này chiếm 80-95% thời gian tạo chứng minh. MSM cần nhiều tài nguyên bộ nhớ, NTT liên quan đến việc truy cập bộ nhớ ngẫu nhiên, không thân thiện với phần cứng.

Giải pháp tăng tốc phần cứng ZK

Hiện tại có ba loại phần cứng chính có thể thực hiện tăng tốc ZK:

1. GPU: Phổ biến, ngưỡng phát triển thấp, nhưng hiệu suất năng lượng kém.
2. FPGA: Độ linh hoạt cao, hiệu suất năng lượng tốt, nhưng độ khó phát triển lớn
3. ASIC: hiệu suất cao nhất, tiêu thụ năng lượng thấp nhất, nhưng thời gian phát triển dài, chi phí cao

Chiến lược phát triển của Cysic là:

1. Phát triển SDK dựa trên GPU, tích hợp tài nguyên GPU toàn mạng
2. Sử dụng FPGA để thực hiện tăng tốc phần cứng ZK tùy chỉnh
3. Nghiên cứu phát triển phần cứng DePIN ZK dựa trên ASIC
4. Xây dựng Cysic Network như một bể khai thác ZK và nền tảng SaaS

Cysic Network

Cysic Network như một bể khai thác ZK và nền tảng SaaS, sẽ tích hợp sức mạnh tính toán của Cysic và tài nguyên sức mạnh tính toán từ bên thứ ba. Quy trình làm việc của nó bao gồm:

1. Nhóm dự án ZK gửi nhiệm vụ chứng minh cho Agent
2. Prover chấp nhận nhiệm vụ và tạo ra chứng minh ZK
3. Ủy ban xác thực kiểm tra tính hợp lệ của chứng nhận và bỏ phiếu

Mạng Cysic đã xây dựng chuỗi công khai riêng, sử dụng thuật toán đồng thuận Proof of Compute (PoC).

Bố trí tăng tốc phần cứng của Cysic

Về GPU, SDK CUDA tự phát triển của Cysic nhanh hơn từ 50%-80% so với các khung mã nguồn mở.

Về FPGA, Cysic đã hoàn thành việc triển khai các mô-đun MSM, NTT nhanh nhất thế giới.

Về mặt ASIC, Cysic đã ra mắt hai sản phẩm ZK DePIN:

• ZK Air: Hướng tới người dùng C端, có thể kết nối thiết bị qua cổng Type-C
• ZK Pro: Hướng tới các dự án ZK lớn, công suất tương đương với máy chủ GPU hàng đầu.

Cysic Network sẽ tích hợp những tài nguyên phần cứng này, cung cấp giải pháp tính toán và xác thực cho ngành ZK, hứa hẹn dẫn dắt một đợt bùng nổ mới trong thị trường tính toán ZK.