Cysic sẽ đẩy nhanh sự xuất hiện của trò chơi ZK cuối cùng. Viết bởi: Peng SUN, Tin tức tầm nhìn xa Bạn đã bao giờ nghĩ rằng PoW sẽ quay trở lại Ethereum chưa? Thông qua Cysic, tôi đã nhìn thấy những khả năng. Vào tháng 5 năm ngoái, Vitalik đã phát biểu tại Montenegro rằng “trong 10 năm tới, zk-SNARK với ZK là công nghệ cơ bản sẽ quan trọng như blockchain”, đánh dấu sự lựa chọn ZK của Ethereum. Một năm sau, Vitalik đặt chân đến Hồng Kông và một lần nữa tuyên bố rằng ZK là tương lai của Ethereum, đồng thời chỉ ra rằng việc tăng tốc phần cứng là hướng đi để vượt qua nút thắt cổ chai của zk-SNARK. Các cuộc thảo luận về khả năng tăng tốc ZKP đã có từ lâu, giới học thuật cũng như ngành công nghiệp đang nghiên cứu cách tối ưu hóa thuật toán ZK để tăng tốc. Nhưng như một giải pháp khác, khả năng tăng tốc phần cứng sẽ chỉ thu hút sự chú ý vào năm 2022. Năm nay có thể là năm đầu tiên của chương trình tăng tốc phần cứng ZKP , nền tảng cạnh tranh công nghệ ZKP tăng tốc phần cứng có chất lượng cao nhất và công nghệ tiên tiến nhất trong lĩnh vực mật mã không kiến ​​thức do Aleo dẫn đầu, đã chính thức ra mắt. , " Tại sao chúng tôi lạc quan về khả năng tăng tốc phần cứng bằng chứng không có kiến ​​thức " của IOSG lần lượt được xuất bản. Tác giả nhận thấy rằng một số người nói rằng "thuật toán là chưa đủ, phần cứng sẽ bù đắp cho nó." Lời nói của họ tỏ ra coi thường khả năng tăng tốc phần cứng, nhưng như ZPrize đã nói: Mặc dù xét về mặt phần mềm và thuật toán, mật mã không có kiến ​​thức đã làm rất tốt. tiến bộ trong vài năm qua, nhưng tăng tốc phần cứng luôn là hướng đi mà ít người khám phá. Nhiều người quên rằng công nghệ mật mã hiện đại chỉ trở nên thực tế khi nó được triển khai nguyên bản trong CPU. Tăng tốc phần cứng không nhất thiết có nghĩa là ASIC, nó cũng có nghĩa là những cách mới để tối ưu hóa GPU, CPU, FPGA và thiết bị di động (riêng lẻ hoặc kết hợp) để tạo ra bằng chứng không có kiến ​​thức nhanh hơn. Hầu hết mọi người đã bắt đầu đối mặt với thực tế rằng khả năng tăng tốc phần cứng ZKP không thể tách rời khỏi PoSW của Aleo vào năm 2023, điều này đưa ra các khuyến khích kinh tế cho các tính toán MSM và NTT. Nhân vật chính của câu chuyện ngày hôm nay không phải là Aleo mà là Cysic, lớp tạo bằng chứng ZK thời gian thực cung cấp một bộ giải pháp hoàn chỉnh cho GPU, FPGA và ASIC. Họ sẽ phát hành hai thiết bị ZK DePIN, ZK Air và ZK Pro, đồng thời sẽ bắt đầu bán trước các máy khai thác trong tương lai gần. Có thể nói, Cysic không chỉ là nhà cung cấp dịch vụ cho bên B mà còn đảm nhận nhu cầu sức mạnh tính toán của tất cả các kịch bản tính toán ZK. Khả năng thích ứng của nó với các thuật toán ZK khác nhau cho phép nó xây dựng mạng DePIN và mở các dịch vụ bên B cho người dùng bên C với sức mạnh tính toán khác nhau. Nói cách khác, bất kỳ ai cũng có thể vào mạng Cysic Càng nhiều người dùng tham gia thì khả năng tính toán càng cao và bằng chứng ZK sẽ càng nhanh. Cuối cùng, ZK đã trở nên phổ biến và hòa nhập vào cuộc sống hàng ngày. Câu chuyện này quá hấp dẫn Tác giả chưa bao giờ nghĩ rằng khả năng tăng tốc phần cứng ZKP ngoài tầm với thực sự có thể gần gũi với người bình thường đến vậy! Hôm nay, Foresight News sẽ đi sâu vào khả năng tăng tốc phần cứng ZKP, các tính năng của Cysic và các sản phẩm phần cứng của nó cũng như cơ sở hạ tầng mạng DePIN để xem chính xác Cysic muốn làm gì và tiềm năng thị trường của nó là gì?

Cysic là lớp xác minh và tạo bằng chứng ZK theo thời gian thực được thành lập vào tháng 8 năm 2022. Nó cung cấp Dịch vụ điện toán ZK (ZK-CaaS) dựa trên các chip ASIC, FPGA và GPU tự phát triển. Vào tháng 2 năm 2023, Cysic đã hoàn thành vòng tài trợ hạt giống trị giá 6 triệu đô la Mỹ, do Polychain Capital dẫn đầu, với sự tham gia của HashKey, SNZ Holding, ABCDE, A&T Capital và Web3.com Foundation. Vào tháng 10 cùng năm, Cysic đã giành được giải nhất ZPrize "Đánh bại người giỏi nhất (FPGA/GPU)" cho FPGA của mình. Đội ngũ sáng lập Cysic có nền tảng phi thường và sức mạnh vững chắc. Lianchuang Leo Fan chịu trách nhiệm nghiên cứu mật mã và kiến ​​trúc hệ thống Cysic. Sau khi nhận bằng thạc sĩ về khoa học máy tính tại Học viện Khoa học Trung Quốc, anh đến Đại học Cornell để theo đuổi bằng Tiến sĩ về khoa học máy tính. Khi còn đi học, anh cũng từng là nhà nghiên cứu tại IC3, Yahoo, Bell Labs và IBM. Sau khi tốt nghiệp, Leo gia nhập Algorand và chịu trách nhiệm nghiên cứu mật mã. Hiện tại, ông còn là trợ lý giáo sư tại Khoa Khoa học Máy tính tại Đại học Rutgers. Lianchuang Bowen Huang nhận bằng thạc sĩ tại Đại học Yale sau khi bỏ học tiến sĩ tại Đại học Yale. Hiện tại, anh chịu trách nhiệm chính về quản lý chip và chuỗi cung ứng tại Cysic. Trước đây, ông làm kỹ sư nghiên cứu tại Viện Công nghệ Máy tính, Viện Hàn lâm Khoa học Trung Quốc. Dựa trên sự nhạy bén về mật mã và tăng tốc phần cứng, trước năm 2022, họ đã nhận ra rằng ZK là giải pháp mở rộng tối ưu cho toàn bộ ngành công nghiệp blockchain và tăng tốc phần cứng là con đường kỹ thuật tất yếu để đạt được giải pháp cuối cùng này. Hiện tại, trường ZK chủ yếu bị chi phối bởi hai hệ thống chứng minh là zk-SNARK và zk-STARK. Trong số đó, Zcash, Scroll, Taiko, Mina, Aztec, Manta, Anoma, v.v. đều sử dụng zk-SNARK, trong khi Starknet, StarkEx, zkSync (đã chuyển sang Boojum), v.v. đều sử dụng zk-STARK. Ngoài ra, còn có các dự án ZK như giao thức dữ liệu lịch sử Ethereum Axiom và nhà phát triển công nghệ ZK Nil Foundation. Theo ước tính của Cysic, hiện có hơn 50 dự án ZK hàng đầu trên thị trường với tổng giá trị thị trường hơn 100 tỷ đồng và tổng giá trị của lộ trình ứng dụng ZKP đã vượt quá 15 tỷ đô la Mỹ. Trong hai năm qua, đường đua ZK đã bị chỉ trích vì thời gian tạo thử nghiệm kéo dài và nhu cầu tài nguyên cao. Lấy Scroll làm ví dụ, nó sử dụng GPU để tạo bằng chứng ZK mất ít nhất 1 giờ và hơn 280GB RAM. Hai điều này không chỉ cản trở việc áp dụng ZKP trên quy mô lớn mà còn trì hoãn tiến trình thương mại hóa Ethereum. Mặc dù STARK có thời gian tạo bằng chứng nhanh hơn SNARK nhưng cả hai đều yêu cầu sử dụng khả năng tăng tốc phần cứng để tăng tốc độ bằng chứng từ vài giờ lên vài giây. Tầm nhìn của ZKP là sản xuất các khối cùng lúc với Ethereum. Nếu không thể khắc phục được nút thắt cổ chai thì “bằng chứng thời gian thực” về ZK mà Vitalik mong đợi sẽ không thành hiện thực. Mặt khác, mặc dù Ethereum Foundation coi ZK là tương lai của việc mở rộng nhưng thị phần của ZK Rollup trong lĩnh vực Ethereum L2 là không thuyết phục. Hiện tại, 5 L2 hàng đầu trong TVL đều sử dụng Optimism Rollup và thị phần của ZK Rollup chỉ chiếm 8,5%. Dự án ZK Rollup duy nhất có giá trị thị trường hơn 1 tỷ đô la Mỹ là Starknet, và điều này phần lớn là do dự kiến ​​sẽ có các khuyến khích sinh thái và airdrop. Vì định giá của đường đua ZK rất cao nên nếu khả năng tăng tốc phần cứng có thể giải quyết được hầu hết những khó khăn hiện tại thì tiềm năng thị trường sẽ hiện rõ.

Cysic có tham vọng lớn. Mục tiêu cuối cùng của họ là cung cấp một bộ giải pháp tăng tốc phần cứng GPU + ASIC hoàn chỉnh, nhắm đến nhu cầu sức mạnh tính toán của tất cả các kịch bản điện toán ZK như ZK Rollup, zkML và ZK Bridge. Trong quá trình chuyển đổi, Cysic đã tự phát triển phần cứng tăng tốc FPGA trong năm qua, có thể bao gồm nhiều hệ thống chứng minh như Halo2, RapidSnark và Plonky2x, tính linh hoạt và linh hoạt của nó là chưa từng có và thị trường kinh doanh là một biển sao. .

Sau khi giới thiệu tiềm năng thị trường của khả năng tăng tốc phần cứng Cysic và ZKP, chúng ta hãy quay lại và xem chính xác phần cứng ZKP muốn tăng tốc là gì. Về cơ bản, điều mà phần cứng muốn tăng tốc là tính toán bằng chứng ZK. Bất cứ khi nào có liên quan đến tính toán, đó là một cuộc cạnh tranh về sức mạnh tính toán. Đây là lý do tại sao tôi nghĩ ZKP đang đưa PoW trở lại Ethereum. Nhưng từ góc độ vi mô hơn, phần cứng ZKP muốn tăng tốc những khía cạnh tính toán nào? Ở đây, tác giả sẽ lấy hệ thống chứng minh zk-SNARKs làm ví dụ để giải thích quá trình từ “số học hóa” đến tạo và xác minh bằng chứng. Trước hết, mọi hành vi giao dịch của người dùng trên chuỗi sẽ được đóng gói vào danh sách tổng hợp ngoài chuỗi, do đó hành vi giao dịch và khối lượng giao dịch sẽ xác định độ phức tạp của mạch và bằng chứng ZK. Thứ hai, khi dữ liệu giao dịch được gửi đi, nó sẽ bước vào quá trình "số học". Cái gọi là "số học hóa" là xây dựng những dữ liệu này thành mạch ZK và chuyển nó thành công thức toán học ở dạng đa thức. Tương tự như việc phát triển chương trình thông thường, hệ thống chứng minh ZK cũng được chia thành "front-end" và "back-end". "Front-end" có nghĩa là nhiều dữ liệu giao dịch khác nhau cần được xây dựng thành vectơ, ma trận và các mạch khác thông qua các ngôn ngữ ràng buộc như R1CS và PLONK và được chuyển đổi thành nhiều đa thức. Cách hiểu phổ biến là chuyển đổi sơ đồ mạch thành công thức toán học để biểu diễn. , và có thể được xử lý thông qua các công thức toán học. Mạch cung cấp hướng dẫn và quá trình này là quá trình "số học hóa". Khối lượng giao dịch càng phức tạp và cao thì kích thước của mạch càng lớn và bậc của đa thức càng cao. Trên cơ sở số học, cần xây dựng “phần phụ trợ” của hệ thống chứng minh ZK và sử dụng chúng để tạo ra các bằng chứng không có kiến ​​thức. Hình bên dưới cho thấy thành phần của hệ thống chứng minh zk-SNARKs (Justin Thaler tin rằng zk-STARK là zk-SNARK dựa trên Fri), bao gồm PIOP và PSC. PIOP phổ biến bao gồm PLONK và GKR, và PSC (sơ đồ cam kết đa thức) phổ biến bao gồm FRI và KZG. Nói chung, PLONK + IPA có thể xây dựng phiên bản Zcash của hệ thống chứng minh Halo2, PLONK + KZG có thể xây dựng phiên bản PSE/Scroll của Halo2 và PLONK + FRI có thể xây dựng Plonky2. Hệ thống chứng minh ZK hiện tại chủ yếu bao gồm Halo2, Groth 16, v.v. dựa trên KZG.

Lấy Groth16 làm ví dụ, chúng ta có thể làm phẳng quá trình tính toán và biểu diễn nó thành bài toán C-SAT (sự thỏa mãn mạch) thông qua dạng ràng buộc R1CS, sau đó quy bài toán C-SAT thành bài toán thỏa mãn QAP. một chuỗi các đa thức công khai Ui(x), Vi(x), Wi(x), T(x) và vectơ a, trong đó vectơ a chứa các đầu vào công khai (Public inputs) và bí mật (nhân chứng), thỏa mãn các yêu cầu sau: mối quan hệ được hiển thị. Đối với bài toán thỏa mãn QAP, việc kiểm tra QAP cho a là rất đơn giản, nhưng sẽ rất khó giải a thông qua các đa thức công khai ngược lại. Khi đó chúng ta sẽ chứng minh tính xác thực và đầy đủ của quá trình tính toán để chứng minh rằng Prover có a( i ) Câu hỏi này xuất hiện, bước này đặc biệt quan trọng đối với việc xây dựng phần phụ trợ ZKP. Đối với phần phụ trợ của ZKP, nó có thể được chia thành ba giai đoạn: Thiết lập, Prover và Verifier, mỗi giai đoạn sử dụng một số tham số. Chúng ta cần nhập đa thức số học và số ngẫu nhiên bí mật một lần R (nguồn của khái niệm "cài đặt đáng tin cậy") vào Thiết lập cùng lúc. Sau khi cài đặt, Người chứng minh và Người xác minh được phép tạo và xác minh bằng chứng. thông qua các tham số Sp và Sv tương ứng. Trong giai đoạn này, Prover yêu cầu thông tin đầu vào và bí mật công khai để thực hiện tính toán và tạo bằng chứng; Người xác minh có thể được xác minh thông qua bằng chứng và thông tin đầu vào công khai. Trong quá trình này, Người xác minh sẽ không biết bí mật đó là gì.

Trong quá trình Prover tạo ra bằng chứng, cần phải tính toán một lượng lớn. Vậy làm thế nào để bạn thực hiện các phép tính tạo bằng chứng nhanh hơn? Đây là nơi phần cứng xuất hiện. Trong hoàn cảnh hiện tại, giải pháp duy nhất là sử dụng phần cứng để cải thiện sức mạnh tính toán càng cao thì thời gian càng ngắn. Các hệ thống chứng minh khác nhau có các nguyên tắc mã hóa khác nhau đòi hỏi số lượng tính toán lớn. Trong số các hệ thống chứng minh dựa trên PLONK + KZG, hai loại tính toán tốn nhiều thời gian nhất là MSM (Phép nhân đa vô hướng) và NTT (Biến đổi lý thuyết số). Trong zk-STARK, các điểm nghẽn máy tính chính là NTT và Merkle Hash. MSM chủ yếu xử lý các phép tính liên quan đến đường cong elip. NTT là một FFT (Biến đổi Fourier nhanh) hoạt động trên trường hữu hạn. Nó có thể được hiểu là một biến thể và tối ưu hóa của FTT và được sử dụng để xử lý các phép tính liên quan đến đa thức. Hiện tại, hầu hết tất cả các giao thức ZK chính thống đều sử dụng rộng rãi hai phép tính này và chúng cùng nhau chiếm 80-95% thời gian tạo bằng chứng. Nói chung, nhiệm vụ tính toán MSM sẽ chiếm 60-70% tổng số nhiệm vụ tính toán và NTT sẽ chiếm 25%. Tất nhiên, tỷ lệ của cả hai sẽ khác nhau trong các cách triển khai khác nhau. MSM hoặc NTT có thể được tăng tốc riêng lẻ dựa trên tỷ lệ tác vụ tính toán hoặc cả hai có thể được tăng tốc đồng thời.

Nói một cách biện chứng, khối lượng công việc tính toán nặng nề cũng có nghĩa đây là những hoạt động đường ống tương đối đơn giản, miễn là sức mạnh tính toán đủ mạnh. Do thuật toán tính toán chứng minh ZK mang tính xác định và chỉ cần tính toán lặp đi lặp lại để tạo ra kết quả chứng minh, nên việc triển khai kiến ​​trúc phần cứng chuyên dụng cho các hoạt động cụ thể có nhiều ưu điểm hơn so với triển khai phần mềm. Nếu có thể thực hiện được tính toán song song thì độ khó tính toán sẽ giảm đi rất nhiều. Thật trùng hợp, cả MSM và NTT đều có thể được tăng tốc bằng phần cứng hiệu suất cao và hỗ trợ tính toán song song.

Như đã đề cập ở trên, mục tiêu cuối cùng của Cysic là tăng tốc ZK ASIC và cung cấp một bộ giải pháp tăng tốc phần cứng ASIC hoàn chỉnh bao gồm điện toán MSM và NTT. Nhưng như Leo Fan đã nói , "Trước khi tạo ASIC, bạn cần thực hiện rất nhiều thử nghiệm và tạo nguyên mẫu trên FPGA." Trong năm qua, Cysic đã hoàn thành giai đoạn đầu tiên của công việc thiết kế POC và phát triển các bộ tăng tốc điện toán dựa trên FPGA như MSM, NTT và Poseidon Merkle Tree, cũng như giải pháp tăng tốc phần cứng ZK toàn diện bao trùm toàn bộ quy trình làm việc .

Nguyên mẫu Cysic FPGA (trạng thái đang lắp ráp) Đánh giá dựa trên dữ liệu được công bố mới nhất, SolarMSM của Cysic có thể hoàn thành các phép tính MSM quy mô 2³⁰ trong 0,195 giây, đây là giải pháp hiệu suất cao nhất trong số tất cả các kết quả tăng tốc phần cứng FPGA-MSM công khai hiện nay. SolarNTT có thể hoàn thành phép tính NTT tỷ lệ 2³⁰ trong 0,218 giây. Đồng thời, giải pháp tăng tốc FPGA hiện tại của Cysic đã được áp dụng cho các phép tính ZK của Scroll Đối với các phép tính MSM và NTT ở tỷ lệ 2²², cả hai đều có thể được hoàn thành trong khoảng 1 mili giây (0,001 giây).

Về lý do tại sao mục tiêu cuối cùng và giai đoạn thứ hai là phát triển ASIC, chúng ta phải quay lại phần so sánh phần cứng tăng tốc để xem xét. Ưu điểm của việc tăng tốc phần cứng là giảm mức tiêu thụ điện năng, giảm độ trễ, cải thiện tính song song, tăng thông lượng và có thể tận dụng tốt hơn diện tích và các thành phần chức năng trên mạch tích hợp. Nói chung, CPU về cơ bản không được đưa vào phạm vi áp dụng do thời gian tính toán dài và mức tiêu thụ năng lượng cao. Có ba loại phần cứng tăng tốc chính trên thị trường: GPU, FPGA và ASIC, mỗi loại đều tập trung vào tính linh hoạt và hiệu quả. Hiện tại, hầu hết tất cả các dự án ZK đều đang sử dụng GPU để tăng tốc phần cứng, vì GPU đã trở nên đủ phổ biến để trở thành phương tiện tăng tốc phần cứng duy nhất trước khi phần cứng chuyên dụng được sản xuất. Đối với các nhà sản xuất tăng tốc phần cứng ZK, GPU hiện là lựa chọn phần cứng có cấu hình và tiết kiệm nhất. Thông qua hỗ trợ ở cấp độ phần mềm như CUDA SDK, cấu trúc đa lõi của GPU cũng phù hợp để thực hiện các phép tính song song như MSM. Tuy nhiên, GPU có một số hạn chế. Ví dụ: sử dụng card đồ họa như 3080, 3090 và 4090 dễ bị giới hạn bởi nền tảng phần cứng, chẳng hạn như băng thông bo mạch chủ. Giống như GPU, FPGA có thể lập trình, cấu hình lại trong thời gian chạy và có thể được sử dụng lại cho các thuật toán khác nhau dựa trên thông số kỹ thuật hệ thống và ứng dụng cụ thể, khiến chúng trở nên linh hoạt và linh hoạt hơn. Đồng thời, FPGA cũng phù hợp hơn với các kiểu tính toán FFT và NTT. Suy cho cùng, sau khi phần cứng FPGA được phát triển, nó cũng trở thành một trò chơi phần mềm. Ngoài ra, dù một FPGA đơn lẻ không thể đánh bại GPU nhưng khi kết nối nhiều FPGA với nhau thì hiệu năng sẽ cao hơn nhiều lần so với GPU. Đồng thời, chi phí phần cứng của GPU hàng đầu rẻ hơn 3 lần so với GPU hàng đầu. Về tỷ lệ tiêu thụ năng lượng, do GPU cần được kết nối với thiết bị chủ và thiết bị chủ tiêu thụ nhiều điện năng nên hiệu suất sử dụng năng lượng của FPGA cao hơn gấp 10 lần. Tuy nhiên, so với GPU, chi phí mua chip FPGA và các yêu cầu hỗ trợ chuỗi cung ứng tương đối cao. ASIC là một con chip đặc biệt được tùy chỉnh để đáp ứng một số nhu cầu nhất định. Hiệu suất cao và sức mạnh tính toán mạnh mẽ của nó đã được các nhà sản xuất tăng tốc phần cứng ZK, bao gồm cả Cysic, coi là giải pháp tối ưu. Tuy nhiên, logic nghiệp vụ của ASIC là "ghi một lần" và không thể lập trình. Nó chỉ có thể nhắm mục tiêu một tác vụ cụ thể và không thể xử lý song song nhiều thuật toán ZK. ASIC vượt trội hơn GPU và FPGA về hiệu suất và mức tiêu thụ năng lượng, nhưng nó đòi hỏi chu kỳ sản xuất dài hơn. Ngoài ra, là một trò chơi sử dụng nhiều vốn nên việc sản xuất ASIC sẽ đắt hơn.

Nguồn: Amber Group Sau khi so sánh toàn diện, chúng ta có thể hiểu tại sao Cysic lần đầu tiên chọn phát triển phần cứng tăng tốc FPGA của riêng mình. Do ASIC chưa đa năng, chi phí quá cao và thời gian đưa ra thị trường còn lâu nên FPGA là giải pháp tốt nhất để chiếm lĩnh thị trường trong thời kỳ chuyển đổi. Cụ thể, phần cứng FPGA của Cysic có thể thích ứng với nhiều hệ thống chứng minh ZK khác nhau như Halo2, RapidSnark và Plonky2x, đồng thời có thể thực thi tất cả các thuật toán ZK chính thống hiện tại (tham khảo các hoạt động tính toán trong thế hệ chứng minh ZK). Nói cách khác, FPGA có thể thích ứng với mọi yêu cầu về sức mạnh tính toán trong các kịch bản tính toán ZK, bao gồm ZK Rollup, ZKML, ZK Bridge, v.v. Đồng thời, việc tạo bằng chứng ZK không chỉ đòi hỏi về mặt tính toán mà còn đòi hỏi về bộ nhớ. Ngày nay, thế hệ thử nghiệm của mạch Scroll zkEVM cần ít nhất 280 GB RAM. Đối mặt với nhu cầu này, FPGA có thể tiếp tục xếp chồng và mở rộng bộ nhớ. FPGA tự phát triển không có nghĩa là Cysic đã từ bỏ GPU và ASIC. Cysic cũng đang phát triển các giải pháp tăng tốc phần cứng dựa trên GPU, cố gắng cung cấp các dịch vụ tăng tốc điện toán ZK và AI linh hoạt hơn. Hiện tại, mạng sức mạnh tính toán GPU Cysic đã liên kết hàng trăm nghìn card đồ họa sức mạnh tính toán 3090/4090 cao cấp.

Dữ liệu nội bộ của Cysic Graphics Card và Computer Lab đã chỉ ra rằng Cysic CUDA SDK nhanh hơn 50%-80% so với khung nguồn mở mới nhất và GPU SDK được sử dụng để cung cấp các dịch vụ tạo bằng chứng cho nhiều dự án ZK hàng đầu. Đồng thời, công việc thiết kế ASIC và băng ra của Cysic cũng đang được tiến hành.

Nếu chỉ là phần cứng tăng tốc ZKP thì Cysic dường như không cần tô điểm nhiều. Nhưng vào năm 2024, khi Helium Mobile dẫn đầu và io.net đang bùng nổ, sự xuất hiện của DePIN cũng mang lại cho Cysic nhiều không gian hơn cho trí tưởng tượng. Điều Cysic thực sự muốn làm là Mạng Prover dựa trên khả năng tăng tốc phần cứng ZKP. Nó sẽ không chỉ kết nối phần cứng tự phát triển như FPGA, GPU và ASIC với Mạng Prover mà còn cho phép người dùng cộng đồng cung cấp nhiều loại sức mạnh tính toán khác nhau và tăng cường khuyến khích kinh tế và quản trị cho các tính toán tạo bằng chứng ZK bằng cách xây dựng một hệ thống phi tập trung. mạng điện tính toán.

Có thể nói, thông qua Prover Network, Cysic đã mở hoàn toàn dịch vụ tăng tốc B-side cho người dùng C-side, trở thành cầu nối giữa các bên dự án ZK, nhà cung cấp năng lực máy tính và người xác minh cộng đồng, độc nhất vô nhị trên thị trường tăng tốc phần cứng ZKP hiện nay . Trước đó, người dùng thông thường không chỉ khó hiểu ZKP mà còn khó mua phần cứng chuyên dụng để tăng tốc ZKP. Tuy nhiên, mạng Cysic không còn yêu cầu người dùng phải nắm vững kiến ​​thức chuyên môn. Do tính linh hoạt của nó, người dùng chỉ cần cung cấp sức mạnh tính toán để vào mạng máy tính ZKP. Chỉ cần tưởng tượng, càng có nhiều người dùng và sức mạnh tính toán trong toàn bộ mạng thì bằng chứng ZK sẽ càng nhanh và "bằng chứng thời gian thực" cấp hai sẽ sắp xuất hiện. Trên thực tế, sau khi sáp nhập Ethereum trong The Merge, các thợ đào PoW ban đầu đã để lại một số lượng lớn GPU nhàn rỗi. Thị trường chứng khoán này quá quý giá đối với Prover Network. Tuy nhiên, hầu hết mọi người có thể không có phần cứng tương ứng để tham gia vào mạng DePIN. phải làm gì? Làm cách nào chúng tôi có thể giới thiệu nhiều người dùng cộng đồng hơn và mở rộng thị trường gia tăng? Cysic đã làm điều gì đó có ý nghĩa. Gần đây, họ đã thiết kế hai chip/thiết bị ZK DePIN, đó là ZK Air và ZK Pro, dự kiến ​​sẽ ra mắt vào năm 2025.

Như trong hình trên, kích thước của ZK Air gần bằng kích thước của bộ nguồn sạc dự phòng/máy tính xách tay. Đây là thiết bị ZK DePIN nhẹ và di động, sức mạnh tính toán của nó lớn hơn so với các card đồ họa hàng đầu dành cho người tiêu dùng. Người dùng có thể kết nối nó với máy tính xách tay, iPad và thậm chí cả điện thoại di động thông qua Type-C và cung cấp dịch vụ tăng tốc cho quy mô nhỏ. ZKP thông qua Mạng Prover và nhận phần thưởng mạng. Đồng thời, ZK Air cũng có thể được kết nối trực tiếp với máy tính để tạo chứng chỉ ZK kịp thời tại địa phương. ZK Pro tương tự như một máy khai thác truyền thống, chủ yếu phục vụ các công ty độc quyền và phù hợp với các dự án ZK quy mô lớn như zkRollup và zkML. Đối với hầu hết người dùng, ZK Air có thể là một sản phẩm đáng mong đợi. Khả năng tăng tốc phần cứng ZKP đương nhiên tương thích với DePIN. Không giống như mạng GPU phi tập trung io.net, hướng đến AI và ML, Cysic tin chắc rằng ZK là tương lai của ngành công nghiệp blockchain. Với phần cứng tự phát triển thích ứng với các thuật toán ZK khác nhau, nó có thể đáp ứng nhu cầu sức mạnh tính toán của. bất kỳ kịch bản điện toán ZK nào. Với thị trường ZK trị giá hơn 15 tỷ USD, có tiềm năng phát triển rất lớn trong tương lai. Xiao Feng từng nói: “Blockchain vốn được xây dựng trên DePIN và khai thác phần cứng Bitcoin là phiên bản cấp dưới của DePIN”. Khả năng tăng tốc phần cứng của ZKP làm tôi nhớ đến cơ chế PoW của Bitcoin, nhưng với Prover Network, Cysic đã thực sự xây dựng được một mạng lưới sức mạnh tính toán thuộc về ZKP. Giống như PoW không được phép, việc khai thác ZKP theo nguyên tắc DePIN cũng sẽ trở nên thực sự không được phép. Tuy nhiên, khai thác ZKP vẫn khác với khai thác PoW. Trong cơ chế PoW truyền thống, những người khai thác có khả năng tính toán cao hơn và nhanh hơn có thể nhận được phần thưởng khối, trong khi bằng chứng công việc của người khác sẽ bị vô hiệu. Không có khối lượng công việc không hợp lệ trong Mạng Prover của Cysic và người dùng luôn có thể nhận được các ưu đãi dựa trên sự đóng góp sức mạnh tính toán của họ. Hiện tại, người dùng có thể tham gia vào các hoạt động của Cysic trên Galxe và nhận được huy hiệu sớm, tham gia khai thác NFT và mạng thử nghiệm sẽ được ra mắt từ tháng 5 đến tháng 6 năm nay. Theo Cysic, một số người tham gia sớm có thể nhận được ưu đãi NFT. Ngoài ra, Cysic cũng có kế hoạch tiến hành TGE vào quý 3 và quý 4 năm nay. Tài liệu tham khảo: Georgios Konstantopoulos, Tăng tốc phần cứng để không có bằng chứng kiến ​​thức , Mô hình, ngày 13 tháng 4 năm 2022.Elena Burger, Tốc độ phi tập trung: Những tiến bộ trong Bằng chứng kiến ​​thức bằng không , tiền điện tử a16z, ngày 15 tháng 4 năm 2022. Nhóm Amber, Need for Speed: Zero Knowledge , Tháng 9 Ngày 5 tháng 4 năm 2022.IOSG: " Tại sao chúng tôi lạc quan về khả năng tăng tốc phần cứng bằng chứng không có kiến ​​thức ", tháng 11 năm 2022.ABCDE: Tại sao chúng ta nên đầu tư vào Cysic , ngày 18 tháng 2 năm 2023.msfew, Phê bình về ZK , ngày 20 tháng 4 năm 2023.Trace , Tăng tốc bằng chứng không có kiến ​​thức , Figment Capital, ngày 25 tháng 4 năm 2023. Luke Pearson và nhóm Cysic, Tăng tốc phần cứng ZK: Quá khứ, hiện tại và tương lai , ngày 27 tháng 4 năm 2023. ZPrize, ZPRIZE II TIÊU ĐIỂM: GIỚI THIỆU CÁC KIẾN TRÚC: LEO FAN, CYSIC , ngày 10 tháng 10 năm 2023. Loopy Lu: " Tại sao Vitalik lạc quan về khả năng tăng tốc phần cứng ZK?" ", BeWater, ngày 12 tháng 4 năm 2024. Cysic, Mô hình mới trong thiết kế ZK-ASIC, cách zkVM , ngày 9 tháng 4 năm 2024. Cysic: "Hướng tới một tương lai có thể kiểm chứng được của Ethereum: Cysic giúp xây dựng mạng điện toán ZK đáng tin cậy", năm 2024. * Bài viết này đã nhận được sự trợ giúp và hướng dẫn từ nhà nghiên cứu Miles của ZK và nhà phát triển ZK Paul. Cảm ơn bạn rất nhiều!