Người tiên phong trong lĩnh vực tăng tốc phần cứng ZK: Giải mã tầm nhìn và bố cục của Cysic
Gần đây, người sáng lập Ethereum Vitalik đã nhấn mạnh tầm quan trọng của ZK-SNARKs trong lộ trình Danksharding của Ethereum tại Hội nghị Blockchain Hồng Kông và chỉ ra tiềm năng to lớn của chip ASIC trong việc tăng tốc ZK. Thực tế, công nghệ ZK có khả năng mang lại những thay đổi mang tính cách mạng cho Web3 và các ngành truyền thống, nhưng hiện tại, hiệu suất sinh ra của chứng minh ZK và chi phí kinh tế vẫn là những yếu tố chính hạn chế việc áp dụng quy mô lớn của nó.
Để giải quyết vấn đề này, một số dự án tăng tốc ZK đã ra đời. Trong đó, Cysic với thành tích xuất sắc trong cuộc thi ZPrize và nền tảng tài chính vững mạnh đã trở thành tâm điểm chú ý của thị trường. Bài viết này sẽ đi sâu vào nguyên lý sản phẩm, mô hình kinh doanh của Cysic cũng như nguyên lý cơ bản của tăng tốc phần cứng ZK.
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:
Thiết lập vấn đề: xác định nội dung cần chứng minh
Toán học hóa và CSP: Chuyển nội dung cần chứng minh thành mạch logic và dạng đa thức
Chọn hệ thống chứng minh phù hợp ( như Halo, Plonk, v.v. ) tạo ra chương trình ZKP
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 kiểm tra.
Hiện nay, công nghệ zk-SNARK được sử dụng rộng rãi trong blockchain, chủ yếu vì tính đơn giản của nó chứ không phải vì tính không tiết lộ thông tin. Đặc điểm của zk-SNARK là chi phí tạo chứng cứ cao nhưng chi phí xác minh thấp, sự không đối xứng này khiến nó rất phù hợp với các tình huống xác minh phi tập trung.
Tuy nhiên, chi phí cao để tạo ra ZKP cuối cùng sẽ được chuyển giao cho trải nghiệm người dùng và phí giao dịch, hạn chế việc áp dụng rộng rãi công nghệ ZK. Để giải quyết vấn đề này, một số dự án tăng tốc ZK như Cysic, Ingonyama, v.v., đã ra đời nhằm cố gắng giảm chi phí tạo ra ZKP từ những góc độ khác nhau.
Các nút thắt chính trong tính toán được tạo ra bởi ZKP
Trong quá trình tạo ZKP, hai nhiệm vụ tiêu tốn tài nguyên tính toán nhiều nhất là phép nhân đa số nguyên MSM( và biến đổi số học NTT), chiếm 80-95% thời gian tạo chứng.
MSM chủ yếu được sử dụng cho các phép tính trên đường cong ellip, có thể được song song hóa lớn nhưng cần tiêu tốn nhiều bộ nhớ. NTT được sử dụng để tăng tốc phép nhân đa thức, 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.
Phương pháp tối ưu hóa hai phép tính này bao gồm:
Tối ưu hóa thuật toán: như Hyperplonk và các thuật toán mới khác cố gắng loại bỏ thao tác NTT
Tăng tốc phần cứng: Sử dụng GPU, FPGA hoặc ASIC để nâng cao hiệu suất tính toán
Chiến lược tăng tốc ZK của Cysic
Chiến lược phát triển của Cysic được chia thành bốn giai đoạn:
Phát triển SDK dựa trên GPU, cung cấp giải pháp cho ứng dụng ZK và tích hợp tài nguyên GPU trên toàn mạng.
Sử dụng FPGA để thực hiện tăng tốc phần cứng ZK tùy chỉnh
Nghiên cứu và phát triển phần cứng ZK Depin dựa trên ASIC
Xây dựng Mạng Cysic, như một nền tảng SAAS/kho mỏ tích hợp các loại tài nguyên ZK tính toán.
( Mạng Cysic: Hồ bơi ZK và nền tảng SaaS
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:
Đại diện dự án ZK nộp nhiệm vụ chứng minh
Prover nhận nhiệm vụ và tạo chứng minh ZK
Ủy ban xác thực kiểm tra tính hợp lệ của chứng thư và bỏ phiếu
Cysic Network còn xây dựng một chuỗi công khai riêng, sử dụng thuật toán đồng thuận Proof of Compute )PoC###.
( giải pháp GPU, FPGA và ASIC
Về mặt tăng tốc GPU, SDK CUDA tự nghiên cứu của Cysic nhanh hơn từ 50%-80% so với các framework mã nguồn mở.
Trong lĩnh vực FPGA, Cysic đã triển khai MSM, NTT và các mô-đun nhanh nhất thế giới. SolarMSM và SolarNTT của họ thể hiện hiệu suất xuất sắc trong tính toán quy mô lớn.
Về mặt ASIC, Cysic đang phát triển hai sản phẩm: ZK Air dành cho người dùng thông thường và ZK Pro dành cho các dự án lớn. Hai thiết bị này dự kiến sẽ ra mắt vào năm 2025, giúp xây dựng mạng ZK-DePIN ổn định và đáng tin cậy.
Với sự phát triển của Cysic Network và sự phổ biến của phần cứng ZK, lĩnh vực tính toán ZK có thể chứng kiến một cơn sốt tương tự như khai thác Bitcoin, quy mô thị trường có khả năng đạt được mức tăng trưởng bùng nổ.
![ZK khai thác sắp nổi lên? Một bài viết giải thích Cysic])https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp###
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
9 thích
Phần thưởng
9
6
Chia sẻ
Bình luận
0/400
RebaseVictim
· 10giờ trước
Đồ cứng đắt quá, làm cái gì vậy?
Xem bản gốcTrả lời0
CafeMinor
· 10giờ trước
Ngồi ghế nhỏ ở hàng đầu, người chơi ZK
Xem bản gốcTrả lời0
DaoDeveloper
· 10giờ trước
có vẻ như cuối cùng chúng ta cũng đang thu hẹp khoảng trống tính toán zk... chiến lược asic của họ là vững chắc
Cysic: Người dẫn đầu trong việc tăng tốc phần cứng trong lĩnh vực ZK, từ GPU đến ASIC.
Người tiên phong trong lĩnh vực tăng tốc phần cứng ZK: Giải mã tầm nhìn và bố cục của Cysic
Gần đây, người sáng lập Ethereum Vitalik đã nhấn mạnh tầm quan trọng của ZK-SNARKs trong lộ trình Danksharding của Ethereum tại Hội nghị Blockchain Hồng Kông và chỉ ra tiềm năng to lớn của chip ASIC trong việc tăng tốc ZK. Thực tế, công nghệ ZK có khả năng mang lại những thay đổi mang tính cách mạng cho Web3 và các ngành truyền thống, nhưng hiện tại, hiệu suất sinh ra của chứng minh ZK và chi phí kinh tế vẫn là những yếu tố chính hạn chế việc áp dụng quy mô lớn của nó.
Để giải quyết vấn đề này, một số dự án tăng tốc ZK đã ra đời. Trong đó, Cysic với thành tích xuất sắc trong cuộc thi ZPrize và nền tảng tài chính vững mạnh đã trở thành tâm điểm chú ý của thị trường. Bài viết này sẽ đi sâu vào nguyên lý sản phẩm, mô hình kinh doanh của Cysic cũng như nguyên lý cơ bản của tăng tốc phần cứng ZK.
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:
Hiện nay, công nghệ zk-SNARK được sử dụng rộng rãi trong blockchain, chủ yếu vì tính đơn giản của nó chứ không phải vì tính không tiết lộ thông tin. Đặc điểm của zk-SNARK là chi phí tạo chứng cứ cao nhưng chi phí xác minh thấp, sự không đối xứng này khiến nó rất phù hợp với các tình huống xác minh phi tập trung.
Tuy nhiên, chi phí cao để tạo ra ZKP cuối cùng sẽ được chuyển giao cho trải nghiệm người dùng và phí giao dịch, hạn chế việc áp dụng rộng rãi công nghệ ZK. Để giải quyết vấn đề này, một số dự án tăng tốc ZK như Cysic, Ingonyama, v.v., đã ra đời nhằm cố gắng giảm chi phí tạo ra ZKP từ những góc độ khác nhau.
Các nút thắt chính trong tính toán được tạo ra bởi ZKP
Trong quá trình tạo ZKP, hai nhiệm vụ tiêu tốn tài nguyên tính toán nhiều nhất là phép nhân đa số nguyên MSM( và biến đổi số học NTT), chiếm 80-95% thời gian tạo chứng.
MSM chủ yếu được sử dụng cho các phép tính trên đường cong ellip, có thể được song song hóa lớn nhưng cần tiêu tốn nhiều bộ nhớ. NTT được sử dụng để tăng tốc phép nhân đa thức, 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.
Phương pháp tối ưu hóa hai phép tính này bao gồm:
Chiến lược tăng tốc ZK của Cysic
Chiến lược phát triển của Cysic được chia thành bốn giai đoạn:
( Mạng Cysic: Hồ bơi ZK và nền tảng SaaS
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:
Cysic Network còn xây dựng một chuỗi công khai riêng, sử dụng thuật toán đồng thuận Proof of Compute )PoC###.
( giải pháp GPU, FPGA và ASIC
Về mặt tăng tốc GPU, SDK CUDA tự nghiên cứu của Cysic nhanh hơn từ 50%-80% so với các framework mã nguồn mở.
Trong lĩnh vực FPGA, Cysic đã triển khai MSM, NTT và các mô-đun nhanh nhất thế giới. SolarMSM và SolarNTT của họ thể hiện hiệu suất xuất sắc trong tính toán quy mô lớn.
Về mặt ASIC, Cysic đang phát triển hai sản phẩm: ZK Air dành cho người dùng thông thường và ZK Pro dành cho các dự án lớn. Hai thiết bị này dự kiến sẽ ra mắt vào năm 2025, giúp xây dựng mạng ZK-DePIN ổn định và đáng tin cậy.
Với sự phát triển của Cysic Network và sự phổ biến của phần cứng ZK, lĩnh vực tính toán ZK có thể chứng kiến một cơn sốt tương tự như khai thác Bitcoin, quy mô thị trường có khả năng đạt được mức tăng trưởng bùng nổ.
![ZK khai thác sắp nổi lên? Một bài viết giải thích Cysic])https://img-cdn.gateio.im/webp-social/moments-dec45f9974aa0e59204a4ffe6378b865.webp###