Tăng tốc phần cứng ZK: Tham vọng tối thượng của Cysic
Gần đây, công nghệ ZK được chú ý đặc biệt trong lĩnh vực Web3. Vitalik đã nhấn mạnh tầm quan trọng của ZK-SNARKs trong việc mở rộng Ethereum tại hội nghị blockchain ở Hồng Kông và lạc quan về tiềm năng của chip ASIC trong việc tăng tốc ZK. Thực tế, ngay từ năm 2022, các VC hàng đầu đã bày tỏ sự quan tâm đối với việc tăng tốc phần cứng ZK, Paradigm thậm chí dự đoán rằng thu nhập của thợ mỏ ZK có thể sánh ngang với thợ mỏ Bitcoin hoặc Ethereum.
Với sự phát triển mạnh mẽ của các dự án ZK Rollup như Scroll, tăng tốc phần cứng đã trở thành điểm nóng trên thị trường. Ngành công nghiệp hiện đang phổ biến quan điểm rằng, với nhu cầu khổng lồ về ZK, mô hình SaaS tạo ra ZKP theo thời gian thực từ các hồ bơi ZK có thể mở ra chuỗi ngành công nghiệp mới, các nhà sản xuất phần cứng ZK có tiềm lực có khả năng trở thành Bitmain tiếp theo.
Trong số nhiều dự án tăng tốc ZK, Cysic đang thu hút sự chú ý. Đội ngũ này đã từng giành được giải thưởng quan trọng ZPrize và nhận gần 20 triệu USD từ các quỹ đầu tư hàng đầu như Polychain. Khi mạng thử nghiệm của Cysic sắp ra mắt, các cuộc thảo luận trên thị trường ngày càng sôi nổi. Bài viết này sẽ giới thiệu ngắn gọn về nguyên lý sản phẩm và mô hình kinh doanh của Cysic, cũng như phổ cập kiến thức về 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
Hệ thống chứng minh ZK mặc dù phức tạp, nhưng có thể được hiểu đơn giản từ góc độ chức năng và quy trình làm việc:
Thông qua việc gửi nội dung cần chứng minh từ phía trước, hệ thống thực hiện chuyển đổi định dạng.
Sử dụng hệ thống chứng minh cụ thể ( như Halo2, Plonk ) để tạo ra ZK Proof
Các bước cụ thể bao gồm thiết lập vấn đề, toán học hóa và CSP, biên dịch thành chương trình ZKP, v.v.
Cần lưu ý rằng hiện nay, công nghệ blockchain chủ yếu sử dụng zk-SNARK, ZK Rollup chủ yếu tận dụng tính đơn giản của nó hơn là tính không biết. Đặc điểm của SNARK là chi phí tạo chứng minh của Prover cao, nhưng chi phí xác minh của Verifier thấp, sự bất đối xứng này thuận lợi cho việc xác minh phi tập trung, và Layer 2 của Ethereum chính là dựa trên tư duy này.
Tuy nhiên, việc chuyển giao chi phí xác minh cho phía sinh ZK không phải là một giải pháp hoàn hảo. Đối với các dự án ZK Rollup, chi phí sinh ZKP cao cuối cùng sẽ ảnh hưởng đến trải nghiệm người dùng và phí giao dịch. Do đó, giảm chi phí sinh ZKP trở thành ưu tiên hàng đầu, đây cũng là điểm khởi đầu của các dự án tăng tốc ZK như Cysic.
Chi phí chính của ZKP
Trong quá trình tạo ra ZKP, phần tốn nhiều tài nguyên tính toán nhất là MSM(Multiplication đa số ) và NTT(Biến đổi lý thuyết số). Hai nhiệm vụ này chiếm từ 80-95% thời gian tạo chứng.
MSM chủ yếu thực hiện phép nhân vô hướng đa chiều trên đường cong elip, trong khi NTT là FFT trên trường hữu hạn. Sự kết hợp của các phương án khác nhau sẽ mang lại tỷ lệ tải FFT/MSM khác nhau. Ví dụ, Stark sử dụng cam kết FRI dựa trên băm, hoàn toàn không có tính toán MSM.
Cách đơn giản nhất để tối ưu hóa hiệu suất MSM và NTT là loại bỏ hoàn toàn những thao tác này. Một số thuật toán mới như Hyperplonk đã sửa đổi Plonk, loại bỏ các thao tác NTT. Thuật toán STARK không cần MSM, nhưng lại giới thiệu một lượng lớn tính toán băm.
Chiến lược phát triển của phần cứng tăng tốc ZK và Cysic
Mặc dù tối ưu hóa phần mềm và thuật toán là rất quan trọng, nhưng vẫn có những hạn chế. Để nâng cao hiệu suất tạo ra ZKP một cách tối đa, cần sử dụng tăng tốc phần cứng. Hiện tại, phần cứng có thể được sử dụng để tăng tốc ZK bao gồm GPU, FPGA và ASIC, mỗi loại đều có ưu nhược điểm riêng.
Cysic cam kết trở thành giải pháp tối ưu cho tăng tốc phần cứng ZK, chiến lược từng bước của nó là:
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.
Sử dụng FPGA để triển khai tăng tốc phần cứng ZK tùy chỉnh nhanh chóng
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, tích hợp tất cả tài nguyên tính toán, cung cấp giải pháp tính toán và xác thực cho ngành ZK.
Mạng Cysic: Bể khai thác ZK và nền tảng SaaS
Kế hoạch Cysic Network không chỉ tích hợp sức mạnh tính toán riêng mà còn sẽ thu hút tài nguyên tính toán từ bên thứ ba thông qua các động lực khai thác. Quy trình làm việc của nó bao gồm:
Bên dự án nộp chứng minh nhiệm vụ cho Agent
Prover chấp nhận nhiệm vụ và tạo ra chứng minh ZK
Ủ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 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ề khả năng tăng tốc GPU, Cysic dựa trên SDK CUDA tự phát triển để tương thích với các hệ thống chứng minh ZK mới, mạng sức mạnh GPU của họ đã kết nối hàng trăm nghìn card đồ họa hàng đầu. SDK CUDA của Cysic nhanh hơn từ 50% đến 80% so với các khung mã nguồn mở mới nhất.
Về FPGA, Cysic đã hoàn thành việc triển khai các mô-đun MSM, NTT và cây Merkle Poseidon nhanh nhất thế giới. SolarMSM và SolarNTT của họ đạt 0,195 giây và 0,218 giây tương ứng trong tính toán quy mô 2^30, hiệu suất tốt nhất.
Trong lĩnh vực ASIC, Cysic đã triển khai và ra mắt hai sản phẩm DePIN ZK: ZK Air và ZK Pro. ZK Air phù hợp với người dùng bình thường, có thể kết nối với laptop và các thiết bị khác để cung cấp hỗ trợ tính toán. ZK Pro tương tự như máy khai thác truyền thống, có sức mạnh tính toán tương đương với nhiều máy chủ GPU hàng đầu, phù hợp cho các dự án ZK lớn.
Thông qua các bố cục này, Cysic nhằm xây dựng một mạng ZK-DePIN ổn định và đáng tin cậy, cung cấp cơ hội tham gia với ngưỡng thấp cho người dùng cuối, thúc đẩy thị trường tính toán ZK bùng nổ một lần nữa.
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.
11 thích
Phần thưởng
11
9
Chia sẻ
Bình luận
0/400
ForumLurker
· 07-11 05:42
zk hoa mỹ chỉ là được chơi cho Suckers
Xem bản gốcTrả lời0
HodlBeliever
· 07-11 01:27
Gợi ý cấu hình 5% vị thế quan sát
Xem bản gốcTrả lời0
MoneyBurnerSociety
· 07-08 19:44
Thông tin tốt, tôi lại lỗ tiền rồi
Xem bản gốcTrả lời0
SchrodingersPaper
· 07-08 06:52
又一张科技饼...坐等团队 chơi đùa với mọi người xong rồi Rug Pull
Xem bản gốcTrả lời0
MultiSigFailMaster
· 07-08 06:50
Cái này có chút mạnh mẽ ha Khả năng tính toán tài nguyên nghiền nát rồi.
Xem bản gốcTrả lời0
SurvivorshipBias
· 07-08 06:46
zk thiên hạ đệ nhất! Cùng nhau làm!
Xem bản gốcTrả lời0
MetaverseVagabond
· 07-08 06:42
Chỉ nói ai sẽ thanh toán, không phải đều dựa vào việc huy động vốn để đốt tiền sao?
Cysic: Tạo ra giải pháp tối ưu tăng tốc phần cứng ZK
Tăng tốc phần cứng ZK: Tham vọng tối thượng của Cysic
Gần đây, công nghệ ZK được chú ý đặc biệt trong lĩnh vực Web3. Vitalik đã nhấn mạnh tầm quan trọng của ZK-SNARKs trong việc mở rộng Ethereum tại hội nghị blockchain ở Hồng Kông và lạc quan về tiềm năng của chip ASIC trong việc tăng tốc ZK. Thực tế, ngay từ năm 2022, các VC hàng đầu đã bày tỏ sự quan tâm đối với việc tăng tốc phần cứng ZK, Paradigm thậm chí dự đoán rằng thu nhập của thợ mỏ ZK có thể sánh ngang với thợ mỏ Bitcoin hoặc Ethereum.
Với sự phát triển mạnh mẽ của các dự án ZK Rollup như Scroll, tăng tốc phần cứng đã trở thành điểm nóng trên thị trường. Ngành công nghiệp hiện đang phổ biến quan điểm rằng, với nhu cầu khổng lồ về ZK, mô hình SaaS tạo ra ZKP theo thời gian thực từ các hồ bơi ZK có thể mở ra chuỗi ngành công nghiệp mới, các nhà sản xuất phần cứng ZK có tiềm lực có khả năng trở thành Bitmain tiếp theo.
Trong số nhiều dự án tăng tốc ZK, Cysic đang thu hút sự chú ý. Đội ngũ này đã từng giành được giải thưởng quan trọng ZPrize và nhận gần 20 triệu USD từ các quỹ đầu tư hàng đầu như Polychain. Khi mạng thử nghiệm của Cysic sắp ra mắt, các cuộc thảo luận trên thị trường ngày càng sôi nổi. Bài viết này sẽ giới thiệu ngắn gọn về nguyên lý sản phẩm và mô hình kinh doanh của Cysic, cũng như phổ cập kiến thức về 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
Hệ thống chứng minh ZK mặc dù phức tạp, nhưng có thể được hiểu đơn giản từ góc độ chức năng và quy trình làm việc:
Cần lưu ý rằng hiện nay, công nghệ blockchain chủ yếu sử dụng zk-SNARK, ZK Rollup chủ yếu tận dụng tính đơn giản của nó hơn là tính không biết. Đặc điểm của SNARK là chi phí tạo chứng minh của Prover cao, nhưng chi phí xác minh của Verifier thấp, sự bất đối xứng này thuận lợi cho việc xác minh phi tập trung, và Layer 2 của Ethereum chính là dựa trên tư duy này.
Tuy nhiên, việc chuyển giao chi phí xác minh cho phía sinh ZK không phải là một giải pháp hoàn hảo. Đối với các dự án ZK Rollup, chi phí sinh ZKP cao cuối cùng sẽ ảnh hưởng đến trải nghiệm người dùng và phí giao dịch. Do đó, giảm chi phí sinh ZKP trở thành ưu tiên hàng đầu, đây cũng là điểm khởi đầu của các dự án tăng tốc ZK như Cysic.
Chi phí chính của ZKP
Trong quá trình tạo ra ZKP, phần tốn nhiều tài nguyên tính toán nhất là MSM(Multiplication đa số ) và NTT(Biến đổi lý thuyết số). Hai nhiệm vụ này chiếm từ 80-95% thời gian tạo chứng.
MSM chủ yếu thực hiện phép nhân vô hướng đa chiều trên đường cong elip, trong khi NTT là FFT trên trường hữu hạn. Sự kết hợp của các phương án khác nhau sẽ mang lại tỷ lệ tải FFT/MSM khác nhau. Ví dụ, Stark sử dụng cam kết FRI dựa trên băm, hoàn toàn không có tính toán MSM.
Cách đơn giản nhất để tối ưu hóa hiệu suất MSM và NTT là loại bỏ hoàn toàn những thao tác này. Một số thuật toán mới như Hyperplonk đã sửa đổi Plonk, loại bỏ các thao tác NTT. Thuật toán STARK không cần MSM, nhưng lại giới thiệu một lượng lớn tính toán băm.
Chiến lược phát triển của phần cứng tăng tốc ZK và Cysic
Mặc dù tối ưu hóa phần mềm và thuật toán là rất quan trọng, nhưng vẫn có những hạn chế. Để nâng cao hiệu suất tạo ra ZKP một cách tối đa, cần sử dụng tăng tốc phần cứng. Hiện tại, phần cứng có thể được sử dụng để tăng tốc ZK bao gồm GPU, FPGA và ASIC, mỗi loại đều có ưu nhược điểm riêng.
Cysic cam kết trở thành giải pháp tối ưu cho tăng tốc phần cứng ZK, chiến lược từng bước của nó là:
Mạng Cysic: Bể khai thác ZK và nền tảng SaaS
Kế hoạch Cysic Network không chỉ tích hợp sức mạnh tính toán riêng mà còn sẽ thu hút tài nguyên tính toán từ bên thứ ba thông qua các động lực khai thác. Quy trình làm việc của nó bao gồm:
Mạng Cysic đã 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ề khả năng tăng tốc GPU, Cysic dựa trên SDK CUDA tự phát triển để tương thích với các hệ thống chứng minh ZK mới, mạng sức mạnh GPU của họ đã kết nối hàng trăm nghìn card đồ họa hàng đầu. SDK CUDA của Cysic nhanh hơn từ 50% đến 80% so với các khung mã nguồn mở mới nhất.
Về FPGA, Cysic đã hoàn thành việc triển khai các mô-đun MSM, NTT và cây Merkle Poseidon nhanh nhất thế giới. SolarMSM và SolarNTT của họ đạt 0,195 giây và 0,218 giây tương ứng trong tính toán quy mô 2^30, hiệu suất tốt nhất.
Trong lĩnh vực ASIC, Cysic đã triển khai và ra mắt hai sản phẩm DePIN ZK: ZK Air và ZK Pro. ZK Air phù hợp với người dùng bình thường, có thể kết nối với laptop và các thiết bị khác để cung cấp hỗ trợ tính toán. ZK Pro tương tự như máy khai thác truyền thống, có sức mạnh tính toán tương đương với nhiều máy chủ GPU hàng đầu, phù hợp cho các dự án ZK lớn.
Thông qua các bố cục này, Cysic nhằm xây dựng một mạng ZK-DePIN ổn định và đáng tin cậy, cung cấp cơ hội tham gia với ngưỡng thấp cho người dùng cuối, thúc đẩy thị trường tính toán ZK bùng nổ một lần nữa.