Tăng tốc phần cứng ZK: Cysic có thể trở thành Bit tiếp theo không?

Công nghệ ZK thể hiện tiềm năng to lớn trong các lĩnh vực mở rộng Ethereum và tính toán đáng tin cậy, nhưng hiện tại hiệu suất tạo ZKP thấp cản trở việc ứng dụng quy mô lớn. Để giải quyết vấn đề này, giải pháp tăng tốc phần cứng ZK đã ra đời, Cysic là một trong những cái tên nổi bật.

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 hóa và CSP: Chuyển đổi nội dung cần chứng minh thành mô hình toán học
3. Chọn hệ thống chứng minh ( như Halo2, Plonk, v.v. ) để tạo 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, người xác minh thực hiện việc xác minh.

Thời gian tạo ZKP mất lâu nhưng xác minh nhanh, sự không đối xứng này có lợi cho xác minh phi tập trung, nhưng cũng mang lại chi phí cao.

Chi phí chính của ZKP được tạo ra

Hai nhiệm vụ tính toán tiêu tốn tài nguyên nhất trong quá trình tạo ZKP là MSM và NTT, chiếm 80-95% tổng thời gian:

• MSM: Xử lý nhân vô hướng đa trị trên đường cong elip
• NTT: Thực hiện biến đổi Fourier nhanh trên trường hữu hạn

MSM cần một lượng lớn bộ nhớ và tài nguyên tính toán song song, trong khi NTT bị hạn chế bởi việc truy cập bộ nhớ ngẫu nhiên.

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

Hiện tại chủ yếu có ba loại giải pháp tăng tốc phần cứng: GPU, FPGA và ASIC.

• GPU: Phổ biến, dễ phát triển
• FPGA: linh hoạt, hiệu suất cao, nhưng độ khó phát triển lớn
• ASIC: hiệu suất cao nhất, nhưng thời gian phát triển dài, chi phí cao

Bố cục tăng tốc ZK của Cysic

Cysic đã thực hiện bố trí ở nhiều cấp độ:

1. Cysic Network: Hồ bơi ZK và nền tảng SaaS
   • Tích hợp tài nguyên sức mạnh tính toán tự có và của bên thứ ba
   • Sử dụng cơ chế đồng thuận Proof of Compute

2. Tăng tốc GPU:
   • SDK tăng tốc CUDA tự nghiên cứu
   • Tập hợp nguồn tài nguyên GPU trong cộng đồng lớn.

3. Giải pháp FPGA:
   • Thực hiện MSM, NTT và các mô-đun nhanh nhất toàn cầu
   • Hiệu suất của SolarMSM và SolarNTT vượt trội

4. Bố trí ASIC:
   • Ra mắt hai sản phẩm phần cứng ZK Air và ZK Pro
   • Xây dựng mạng ZK-DePIN

Thông qua việc bố trí đa chiều, Cysic có khả năng trở thành người dẫn đầu trong lĩnh vực phần cứng tăng tốc ZK, mở đường cho việc áp dụng quy mô lớn của công nghệ ZK.