Giải mã Cysic: Giai đoạn trước thềm trỗi dậy của khai thác ZK và tăng tốc phần cứng
Tuyển chọn TechFlowTuyển chọn TechFlow
Giải mã Cysic: Giai đoạn trước thềm trỗi dậy của khai thác ZK và tăng tốc phần cứng
Cysic sẽ đóng vai trò như thế nào trong việc hiện thực hóa tầm nhìn về việc áp dụng đại trà ZK?
Chuyên sâu báo cáo Web3Tác giả: Nickqiao & Sương Nguyệt, Geeks web3
Vào tháng 4 năm nay, Vitalik đã đến thăm Hội nghị Blockchain Hồng Kông và có bài phát biểu với tựa đề "Reaching the Limits of Protocol Design", trong đó một lần nữa nhấn mạnh tiềm năng của ZK-SNARKs trong lộ trình Danksharding của Ethereum, đồng thời kỳ vọng lớn vào sự hỗ trợ mạnh mẽ từ chip ASIC đối với việc tăng tốc ZK.
Trước đó, đồng sáng lập Scroll Trương Diệp cũng từng chỉ ra rằng không gian ứng dụng ZK trong các lĩnh vực truyền thống có thể còn rộng lớn hơn cả trong Web3, các lĩnh vực như tính toán đáng tin cậy, cơ sở dữ liệu, phần cứng xác minh được, chống làm giả nội dung và zkML đều có nhu cầu rất lớn về ZK. Nếu việc tạo bằng chứng ZK theo thời gian thực có thể triển khai thành công, cả Web3 lẫn ngành công nghiệp truyền thống đều có thể đón nhận những thay đổi mang tính cách mạng. Tuy nhiên, xét về hiệu suất và chi phí kinh tế, hiện tại vẫn còn khá xa mới đạt tới mức độ áp dụng quy mô lớn.
Thực tế, ngay từ năm 2022, các quỹ đầu tư hàng đầu như a16z và Paradigm đã công bố báo cáo công khai, bày tỏ rõ ràng sự coi trọng đối với tăng tốc phần cứng ZK. Paradigm thậm chí khẳng định: thu nhập tương lai của thợ đào ZK có thể sánh ngang với thợ đào Bitcoin hoặc Ethereum, các giải pháp tăng tốc phần cứng dựa trên GPU, FPGA và ASIC sẽ có không gian thị trường khổng lồ. Sau đó, cùng với sự phát triển mạnh mẽ của các ZK Rollup hàng đầu như Scroll và Starknet, tăng tốc phần cứng từng trở thành chủ đề nóng được thị trường săn đón, và sự hâm mộ này ngày càng gia tăng khi các dự án như Cysic chuẩn bị ra mắt.
Chúng ta có lý do để tin rằng, trước nhu cầu khổng lồ về ZK, mô hình bể đào ZK và dịch vụ SaaS tạo bằng chứng ZKP theo thời gian thực có thể mở ra một chuỗi ngành công nghiệp mới. Trên mảnh đất tiềm năng này, các nhà sản xuất phần cứng ZK có năng lực và lợi thế tiên phong hoàn toàn có thể trở thành Bitmain thế hệ tiếp theo, thống trị vùng đất màu mỡ của tăng tốc phần cứng.
Trong lĩnh vực tăng tốc phần cứng, Cysic có thể là một trong những đội ngũ được chú ý nhất. Đội ngũ này từng giành giải thưởng quan trọng từ nền tảng thi đấu công nghệ ZKP nổi tiếng ZPrize, và từ năm 2023 đã đảm nhiệm vai trò cố vấn cho ZPrize. Lộ trình của họ bao gồm bể đào ZK hướng tới doanh nghiệp (ToB) và thiết bị phần cứng ToC ZK-Depin, thu hút sự quan tâm của các quỹ VC hàng đầu như Polychain, ABCDE, OKX Ventures và Hashkey, hoàn thành tổng cộng gần 20 triệu USD tài trợ.
Khi mạng thử nghiệm Cysic sắp ra mắt vào cuối tháng 7 và bể đào ZK sắp được mở cửa, các cộng đồng đang ngày càng sôi nổi thảo luận về Cysic. Bài viết này nhằm giúp nhiều người hiểu rõ hơn về nguyên lý sản phẩm và mô hình kinh doanh của Cysic, đồng thời giới thiệu sơ lược về nguyên lý tăng tốc phần cứng ZK. Trong phần sau, chúng tôi sẽ tóm tắt ngắn gọn các kiến thức liên quan đến Cysic, giúp giảm rào cản tiếp cận cho đông đảo bạn đọc.
Hiểu hệ thống chứng minh ZK qua quy trình làm việc
Hệ thống chứng minh ZK thực ra rất phức tạp, nhưng nếu muốn có cái nhìn sơ bộ đơn giản, có thể phân tích từ góc độ chức năng và quy trình làm việc. Đối với một hệ thống chuyển đổi phép tính thông thường sang dạng ZK, quy trình chính có thể khái quát như sau:
Đầu tiên, chúng ta cần tương tác với hệ thống ZK qua giao diện người dùng, gửi nội dung cần chứng minh. Giao diện này sẽ chuyển đổi định dạng nội dung để hệ thống chứng minh ZK xử lý. Sau đó, hệ thống sử dụng các hệ thống hoặc khuôn khổ chứng minh cụ thể (như Halo2, Plonk...) để tạo Bằng chứng ZK. Quá trình này có thể chia thành các bước sau:
1. Thiết lập vấn đề: Trước hết, chúng ta phải xác định rõ nội dung cần chứng minh là gì. Ví dụ, bên đưa ra chứng minh (Prover) tuyên bố mình nắm giữ/know một dữ liệu nào đó: "Tôi biết một nghiệm N của phương trình F(x)=w", nhưng lại không muốn người khác thấy giá trị N.
2. Số học hóa và CSP: Sau khi Prover gửi nội dung cần chứng minh, hệ thống sẽ xây dựng mô hình toán học/chương trình chuyên biệt để biểu diễn tương đương nội dung đó, rồi chuyển đổi định dạng để hệ thống chứng minh xử lý. Cụ thể, tuyên bố trên "Tôi biết một nghiệm N của phương trình F(x)=w" sẽ được chuyển từ đẳng thức toán học ban đầu sang dạng mạch logic và đa thức.
3. Sau đó, hệ thống sẽ chọn hệ thống chứng minh phù hợp như Halo, Plonk... để biên dịch nội dung đã tạo ở các bước trước thành chương trình ZKP có thể dùng được. Bên đưa ra chứng minh dùng chương trình ZKP này để tạo bằng chứng, sau đó gửi cho bên xác minh kiểm tra.
Những hệ thống ZK như zkEVM thường được dùng trong lớp thứ hai của Ethereum về bản chất là trước tiên biên dịch hợp đồng thông minh thành mã vận hành cấp thấp EVM, sau đó chuyển đổi định dạng từng mã vận hành sang dạng mạch logic/ràng buộc đa thức, rồi chuyển cho hệ thống chứng minh ZK phía sau xử lý tiếp.
Đáng chú ý, hiện nay các giải pháp kỹ thuật ZKP được sử dụng rộng rãi trong blockchain chủ yếu là zk-SNARK (bằng chứng không kiến thức ngắn gọn, không tương tác), trong khi các ZK Rollup chủ yếu tận dụng tính ngắn gọn chứ không phải tính không kiến thức của SNARK. Tính ngắn gọn nghĩa là ZKP chiếm rất ít dung lượng, có thể nén nhiều nội dung xuống vài trăm byte, chi phí xác minh cực kỳ thấp.
Do đó, khối lượng công việc giữa Prover và Verifier là bất đối xứng: chi phí để Prover tạo ZKP rất cao, nhưng chi phí để Verifier xác minh lại rất thấp. Chỉ cần tận dụng tốt sự bất đối xứng này, trong các tình huống "một Prover, nhiều Verifier" sử dụng ZK, toàn bộ chi phí có thể tập trung về phía Prover, giảm thiểu tối đa chi phí cho Verifier. Mô hình này cực kỳ có lợi cho xác minh phi tập trung, đúng như tư duy của lớp thứ hai Ethereum.
Tuy nhiên, mô hình dồn chi phí xác minh lên phía tạo ZK này không phải là "đạn bạc thần kỳ". Đối với các dự án ZK Rollup, chi phí cao để tạo ZKP cuối cùng sẽ lại được chuyển sang trải nghiệm người dùng (UX) và phí giao dịch, điều này không thuận lợi cho sự phát triển lâu dài của ZK Rollup.
Dù ZK có tiềm năng lớn trong các kịch bản xác minh phi tin cậy và phi tập trung, do bị giới hạn bởi nút cổ chai về thời gian tạo, hiện tại dù là zkEVM, zkVM, ZK Rollup hay cầu nối ZK đều chưa có cơ sở kinh tế để áp dụng quy mô lớn.
Trước thực trạng đó, các dự án tăng tốc ZK như Cysic, Ingonyama, Irreducible lần lượt ra đời, thử nghiệm theo nhiều hướng khác nhau nhằm giảm chi phí tạo ZKP. Trong phần sau, chúng tôi sẽ giới thiệu sơ lược từ góc độ kỹ thuật về chi phí chính trong việc tạo ZKP và các phương pháp tăng tốc, cũng như lý do vì sao Cysic có tiềm năng to lớn trong lĩnh vực tăng tốc ZK.
Chi phí tính toán: MSM và NTT
Nhiều người đều biết rằng thời gian tạo bằng chứng của Prover trong ZKP rất lớn. Trong giao thức ZK-SNARK, thường xảy ra tình huống: Verifier chỉ mất một giây để xác minh bằng chứng, nhưng việc tạo bằng chứng có thể khiến Prover mất nửa ngày hoặc cả ngày. Để sử dụng hiệu quả chứng minh ZKP trong tính toán, cần chuyển đổi định dạng tính toán từ chương trình cổ điển sang định dạng thân thiện với ZK.
Hiện nay có hai cách để thực hiện điều này: một là dùng các khuôn khổ hệ thống chứng minh để viết mạch (ví dụ như Halo2); hai là dùng ngôn ngữ lập trình chuyên biệt (DSL) như Cairo hoặc Circom để chuyển đổi phép tính sang dạng trung gian, sau đó gửi cho hệ thống chứng minh. Hệ thống chứng minh sẽ tạo bằng chứng ZK dựa trên mạch hoặc dạng trung gian được biên dịch từ DSL.
Phép toán càng phức tạp thì thời gian tạo bằng chứng càng dài. Ngoài ra, một số thao tác vốn dĩ không thân thiện với ZK, việc thực hiện chúng cần thêm công sức. Ví dụ, hàm băm SHA hoặc Keccak không thân thiện với ZKP, việc sử dụng các hàm này sẽ kéo dài thời gian tạo bằng chứng. Ngay cả những thao tác có chi phí thực hiện rất thấp trên máy tính cổ điển cũng có thể không thân thiện với ZKP.
Bỏ qua các tác vụ tính toán không thân thiện với ZK, mặc dù quá trình tạo bằng chứng ZK có thể khác nhau tùy theo hệ thống chứng minh được chọn, nhưng điểm nghẽn về bản chất là tương tự nhau. Trong việc tạo bằng chứng ZK, có hai tác vụ tính toán tiêu tốn nhiều tài nguyên nhất: MSM (Multi-Scalar Multiplication) và NTT (Number Theoretic Transform). Hai tác vụ này có thể chiếm từ 80-95% thời gian tạo bằng chứng, tùy thuộc vào sơ đồ cam kết ZKP và cách triển khai cụ thể.
MSM chủ yếu xử lý phép nhân vô hướng đa biến trên đường cong elliptic, trong khi NTT là FFT (biến đổi Fourier nhanh) trên trường hữu hạn, dùng để tăng tốc xử lý phép nhân đa thức. Việc sử dụng các tổ hợp giải pháp khác nhau sẽ dẫn đến tỷ lệ tải FFT/MSM khác nhau.
Lấy ví dụ Stark, PCS (Sơ đồ Cam kết Đa thức) của nó dùng FRI, một loại cam kết dựa trên hàm băm, thay vì dùng đường cong elliptic như KZG hoặc IPA, do đó hoàn toàn không có tính toán MSM. Trong bảng dưới đây, vị trí càng cao nghĩa là cần càng nhiều phép toán FFT, vị trí càng thấp thì cần càng nhiều phép toán MSM.
Các phương án tối ưu
Do phép toán MSM liên quan đến truy cập bộ nhớ có thể dự đoán, tuy có thể song song hóa mạnh mẽ nhưng lại tiêu tốn rất nhiều tài nguyên bộ nhớ. Ngoài ra, MSM còn gặp thách thức về khả năng mở rộng, ngay cả khi đã song song hóa, tốc độ vẫn có thể chậm, do đó, dù MSM có thể tăng tốc trên phần cứng, nhưng lại cần bộ nhớ khổng lồ và tài nguyên tính toán song song.
NTT thường liên quan đến truy cập bộ nhớ ngẫu nhiên, khiến nó không thân thiện với phần cứng, đồng thời khó xử lý trên cơ sở hạ tầng phân tán, bởi đặc điểm truy cập ngẫu nhiên của NTT, nếu chạy trong môi trường phân tán, chắc chắn phải truy cập dữ liệu từ các nút khác, một khi liên quan đến tương tác mạng, hiệu suất sẽ giảm mạnh.
Do đó, việc truy cập dữ liệu và di chuyển dữ liệu trở thành nút cổ chai chính, giới hạn khả năng song song hóa của phép toán NTT. Phần lớn công việc tăng tốc NTT tập trung vào quản lý cách thức tương tác giữa tính toán và bộ nhớ.
Thực tế, cách đơn giản nhất để giải quyết nút cổ chai hiệu suất của MSM và NTT là loại bỏ hoàn toàn các thao tác này. Một số thuật toán mới được đề xuất, ví dụ như Hyperplonk, đã sửa đổi Plonk để loại bỏ thao tác NTT. Điều này khiến Hyperplonk dễ tăng tốc hơn, nhưng lại tạo ra nút cổ chai mới như giao thức sumcheck có chi phí tính toán cao. Hoặc như thuật toán STARK, không cần MSM nhưng lại tạo ra lượng lớn phép tính băm do giao thức FRI.
Tăng tốc phần cứng ZK và mục tiêu cuối cùng của Cysic
Dù tối ưu ở cấp độ phần mềm và thuật toán rất quan trọng và có giá trị, nhưng tồn tại giới hạn rõ ràng. Để tối ưu hiệu quả tạo ZKP một cách đầy đủ, bắt buộc phải dùng tăng tốc phần cứng, giống như ASIC và GPU cuối cùng thống trị thị trường khai thác BTC và ETH.
Vấn đề đặt ra là: phần cứng nào là tốt nhất để tăng tốc ZKP? Hiện nay có nhiều phần cứng có thể thực hiện tăng tốc ZK như GPU, FPGA hay ASIC, tất nhiên mỗi loại đều có ưu nhược điểm riêng.
Chúng ta có thể so sánh các phần cứng này như sau:
Trước hết, hãy dùng một ví dụ đơn giản để minh họa sự khác biệt về phát triển giữa chúng. Ví dụ, giờ ta muốn thực hiện một phép nhân song song đơn giản:
-
Trên GPU, nhờ API do CUDA SDK cung cấp, chúng ta có thể phát triển như viết code gốc, từ đó đạt được khả năng tính toán song song;
-
Trên FPGA, chúng ta cần học lại ngôn ngữ mô tả phần cứng, dùng ngôn ngữ này để điều khiển kết nối ở cấp độ phần cứng nhằm thực hiện thuật toán song song;
-
Trên ASIC, trong giai đoạn thiết kế chip, cách bố trí kết nối transistor đã được cố định ở cấp độ phần cứng, sau đó không thể thay đổi.
Các giải pháp này đều có ưu nhược điểm riêng, phù hợp với các giai đoạn phát triển khác nhau của赛道 ZK. Cysic hướng tới trở thành giải pháp cuối cùng cho tăng tốc phần cứng ZK, với chiến lược từng bước như sau:
-
Phát triển SDK dựa trên GPU để cung cấp giải pháp cho các ứng dụng ZK, đồng thời tích hợp toàn bộ tài nguyên GPU trên mạng;
-
Tận dụng tính linh hoạt và sự cân bằng của FPGA để nhanh chóng hiện thực hóa tăng tốc phần cứng ZK tùy chỉnh;
-
Tự nghiên cứu và phát triển phần cứng ZK Depin dựa trên ASIC;
-
Cysic Network sẽ đóng vai trò nền tảng SAAS/bể đào, tích hợp toàn bộ sức mạnh tính toán từ ZK Depin và GPU, cung cấp giải pháp sức mạnh tính toán và xác minh cho toàn ngành ZK.
Tiếp theo, hãy cùng tìm hiểu sâu hơn vào từng phân khúc để hiểu rõ sự khác biệt giữa các giải pháp tăng tốc ZK và tư duy phát triển của Cysic.
Bể đào ZK và nền tảng SaaS: Cysic Network
Thực tế, dù là Scroll hay Polygon zkEVM, các ZK Rollup nổi tiếng đều từng nêu rõ khái niệm "Prover phi tập trung" trong lộ trình của mình, thực chất chính là xây dựng bể đào ZK. Cách tiếp cận theo thị trường này giúp các dự án ZK Rollup giảm gánh nặng, đồng thời khuyến khích thợ đào và người vận hành bể đào không ngừng tối ưu giải pháp tăng tốc ZK.
Trong lộ trình của Cysic, đã nêu rõ kế hoạch về bể đào ZK và nền tảng SaaS mang tên Cysic Network. Nó không chỉ tích hợp sức mạnh tính toán tự có của Cysic mà còn hấp thụ tài nguyên tính toán bên thứ ba thông qua cơ chế khai thác, bao gồm GPU rảnh rỗi và thiết bị zk DePIN trên tay người dùng phổ thông.
Sơ đồ luồng công việc xác minh như sau:
-
Các dự án zk gửi nhiệm vụ tạo bằng chứng cho đại lý (Agent), người này có nhiệm vụ chuyển nhiệm vụ chứng minh tới mạng xác minh. Ban đầu các Agent này sẽ do Cysic vận hành, sau này sẽ giới thiệu cơ chế thế chấp tài sản để bất kỳ ai cũng có thể trở thành Agent;
-
-
Prover nhận nhiệm vụ chứng minh và dùng phần cứng để tạo bằng chứng ZK. Prover cần thế chấp Token để tham gia nhận nhiệm vụ, sau khi hoàn thành sẽ nhận được phần thưởng;
-
-
Ủy ban xác minh chịu trách nhiệm kiểm tra tính hợp lệ của bằng chứng do Prover tạo ra và bỏ phiếu, khi đạt được số phiếu nhất định thì bằng chứng được coi là hợp lệ. Người xác minh tham gia ủy ban bằng cách thế chấp Token, tham gia bỏ phiếu và nhận phần thưởng. Quá trình này có thể kết hợp khái niệm AVS của EigenLayer, tái sử dụng cơ sở hạ tầng Restaking hiện có.
Quy trình tương tác chi tiết như sau:
Thực ra, trong quy trình trên, mọi việc từ thế chấp tài sản, phân phối phần thưởng đến gửi nhiệm vụ tính toán đều cần dựa vào một nền tảng chuyên biệt, điều này đòi hỏi một blockchain làm cơ sở chuyên dụng.
Vì vậy, Cysic Network đã xây dựng một chuỗi công khai riêng biệt, sử dụng một thuật toán đồng thuận độc đáo gọi là Proof of Compute (PoC), nguyên lý cơ bản dựa trên hàm VRF và hiệu suất lịch sử của Prover (như tính sẵn sàng thiết bị, số lần nộp bằng chứng, tỷ lệ đúng của bằng chứng...) để lựa chọn người tạo khối phụ trách tạo khối (lưu ý: khối ở đây dùng để ghi thông tin thiết bị và phân phối phần thưởng Token).
Tất nhiên, ngoài bể đào ZK và nền tảng SaaS, Cysic cũng đã đầu tư mạnh vào các giải pháp tăng tốc ZK dựa trên các phần cứng khác nhau. Tiếp theo, hãy tìm hiểu lần lượt thành quả của họ trên ba con đường GPU, FPGA và ASIC.
GPU, FPGA và ASIC
Mấu chốt của tăng tốc phần cứng ZK nằm ở việc song song hóa tối đa các phép toán then chốt. Xét về đặc điểm chức năng phần cứng, CPU để đạt được tính linh hoạt và tính phổ quát cao nhất, phần lớn diện tích chip dành cho chức năng điều khiển và bộ nhớ đệm các cấp, dẫn đến khả năng tính toán song song yếu.
Trong GPU, tỷ lệ diện tích chip dùng cho tính toán tăng mạnh, cho phép hỗ trợ xử lý song song quy mô lớn. Hiện nay GPU đã rất phổ biến, các thư viện như Nvidia Cuda giúp lập trình viên tận dụng tính song song của GPU mà không cần hiểu biết về phần cứng nền tảng, thông qua CUDA SDK có thể đóng gói thư viện ZK CUDA để tăng tốc phép toán MSM và NTT.
FPGA bao gồm một mảng các đơn vị xử lý nhỏ, để lập trình FPGA cần dùng ngôn ngữ mô tả phần cứng chuyên biệt, sau đó biên dịch thành tổ hợp mạch transistor. Như vậy, FPGA thực chất dùng mạch transistor trực tiếp hiện thực thuật toán cụ thể, không cần qua biên dịch hệ thống lệnh. Tính tùy chỉnh và linh hoạt này vượt trội hơn hẳn GPU.
Hiện nay giá FPGA khoảng một phần ba GPU, và hiệu suất năng lượng có thể cao hơn GPU hơn mười lần. Lợi thế hiệu suất năng lượng rõ rệt này một phần do GPU cần kết nối với thiết bị chủ, thường tiêu thụ rất nhiều điện. Có thể nói, FPGA có thể tăng thêm nhiều mô-đun tính toán mà không làm tăng tiêu thụ năng lượng để đáp ứng nhu cầu MSM và NTT. Điều này khiến FPGA đặc biệt phù hợp với các kịch bản chứng minh ZK đòi hỏi mật độ tính toán cao, băng thông dữ liệu lớn và thời gian phản hồi thấp.
Tuy nhiên, vấn đề lớn nhất của FPGA là rất ít lập trình viên có kinh nghiệm lập trình, đối với các dự án ZK, việc tổ chức một đội vừa có chuyên môn mật mã học, vừa có chuyên môn kỹ thuật FPGA là cực kỳ khó khăn.
ASIC về cơ bản là dùng phần cứng để hiện thực một chương trình cụ thể, một khi thiết kế xong, phần cứng không thể thay đổi, do đó chương trình mà ASIC có thể thực hiện cũng không thể thay đổi, chỉ phục vụ cho nhiệm vụ cụ thể. Những ưu điểm tăng tốc phần cứng về MSM và NTT mà FPGA có được, ASIC cũng đều có. Vì được thiết kế mạch chuyên dụng, ASIC là giải pháp hiệu suất cao nhất và tiêu thụ năng lượng thấp nhất trong tất cả các phương án.
Đối với các mạch ZK chính hiện nay, Cysic mong muốn đạt tốc độ thời gian chứng minh trong 1 - 5 giây, và chỉ có ASIC mới có thể đạt được mục tiêu này.
Dù những ưu điểm này nghe có vẻ rất hấp dẫn, nhưng công nghệ ZK đang phát triển rất nhanh, trong khi chu kỳ thiết kế và sản xuất ASIC thường mất 1-2 năm, chi phí lên tới 10-20 triệu USD. Vì vậy, phải đợi công nghệ ZK đủ ổn định mới có thể sản xuất quy mô lớn, tránh tình trạng chip sản xuất ra nhanh chóng lỗi thời.
Trước thực trạng đó, trong cả ba lĩnh vực GPU, FPGA và ASIC, Cysic đều đã đầu tư đầy đủ;
Ở giải pháp tăng tốc GPU, cùng với sự ra đời của các hệ thống chứng minh ZK mới, Cysic đã thích nghi chúng thông qua SDK tăng tốc CUDA tự phát triển, đồng thời thông qua cách tập hợp nguồn lực cộng đồng, đã kết nối hàng trăm nghìn card đồ họa tính toán đỉnh cao trong mạng lưới tính toán GPU của Cysic. Đồng thời, SDK CUDA của Cysic nhanh hơn các framework mã nguồn mở mới nhất từ 50%-80% trở lên.
Với FPGA, Cysic thông qua giải pháp tự phát triển đã hoàn thành việc hiện thực nhanh nhất thế giới các module MSM, NTT, Poseidon Merkle tree, bao phủ phần lớn tính toán ZK, và giải pháp này đã được kiểm chứng nguyên mẫu qua nhiều dự án ZK hàng đầu.
SolarMSM tự phát triển của Cysic có thể hoàn thành phép toán MSM quy mô 2^30 trong 0,195 giây, SolarNTT hoàn thành phép toán NTT quy mô 2^30 trong 0,218 giây, là kết quả tăng tốc phần cứng FPGA công khai nhanh nhất hiện nay.
Trong lĩnh vực ASIC, dù ứng dụng quy mô lớn của ZK ASIC vẫn còn một khoảng cách nhất định, nhưng Cysic đã sớm đầu tư vào赛道 này và ra mắt chip và thiết bị ZK DePIN tự phát triển.
Để thu hút người dùng cá nhân (C-end) và đáp ứng yêu cầu về hiệu suất và chi phí của các dự án ZK khác nhau, Cysic sẽ ra mắt hai sản phẩm phần cứng ZK: ZK Air và ZK Pro.
ZK Air có kích thước tương đương pin sạc dự phòng hoặc bộ sạc laptop, người dùng thông thường có thể kết nối trực tiếp qua cổng Type-C vào laptop, iPad hay thậm chí điện thoại, cung cấp sức mạnh tính toán cho các dự án ZK cụ thể và nhận phần thưởng. Hiện tại, sức mạnh tính toán của ZK Air vẫn vượt qua card đồ họa tiêu dùng, có thể tăng tốc các nhiệm vụ tạo bằng chứng ZK quy mô nhỏ.
ZK Pro tương tự máy đào truyền thống, sức mạnh tính toán đạt hiệu quả tương đương máy chủ GPU với nhiều card đồ họa tiêu dùng đỉnh cao kết nối, có thể tăng tốc mạnh mẽ việc tạo bằng chứng ZK, phù hợp với các dự án ZK lớn như ZK-Rollup và ZKML (học máy không kiến thức).
Thông qua hai thiết bị này, Cysic cuối cùng sẽ xây dựng một mạng ZK-DePIN ổn định và đáng tin cậy. Hiện hai thiết bị này vẫn đang trong giai đoạn nghiên cứu phát triển, dự kiến ra mắt vào năm 2025.
Ngoài ra, thông qua Cysic Network, người dùng cá nhân có thể tham gia thị trường tăng tốc phần cứng zk với ngưỡng rất thấp, cộng với nhu cầu lớn về sức mạnh tính toán từ các dự án ZK, điều này có thể khiến thị trường lại bùng nổ như phong trào khai thác Bitcoin trước đây, quy mô thị trường tính toán ZK có thể lại đón nhận sự tăng trưởng bùng nổ.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@godrealmx
