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 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, 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 Bằng chứng không tri thức " của IOSG lần lượt được xuất bản. Tác giả nhận thấy một số người cho rằng "thuật toán thôi chưa đủ, phần cứng sẽ bù đắp". Lời nói tỏ ra coi thường khả năng tăng tốc phần cứng, nhưng như ZPrize đã nói:
Trong khi mật mã không có kiến thức đã đạt được tiến bộ vượt bậc trong vài năm qua về mặt phần mềm và thuật toán, thì việc tăng tốc phần cứng là một hướng mà chỉ một số í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à phương pháp 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 tri 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 khích lệ 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 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 tỷ lệ băm 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 tỷ lệ băm 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ì tỷ lệ băm 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ì?
Đặt cược vào Thị trường tăng tốc phần cứng ZKP: Bối cảnh và viễn cảnh mong đợi Cysic
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ợ ban đầu 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ó bối cảnh phi thường và sức mạnh vững chắc. Đồng sáng lập 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. Đồng sáng lập 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 đó, 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ị vốn hóa 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. Viễn cảnh mong đợi 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ị 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ị thị phần của ZK Rollup chỉ chiếm 8,5%. Dự án ZK Rollup duy nhất giá trị vốn hóa 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ó khích lệ 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 tỷ lệ băm 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 việc kinh doanh là một biển sao. .
Phần cứng ZKP muốn tăng tốc điều gì? Hãy bắt đầu với hệ thống chứng minh ZK
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ề tỷ lệ băm. Đây là lý do tại sao tôi cho rằng 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ẽ quyết đị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 quy trình "số học". Cái gọi là "số học hóa" là xây dự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 Bằng chứng không tri 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 cho 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. Thông thường 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ó dưới dạng 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. sê-ri 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, trong đó 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 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ỷ lệ băm toán càng cao thì thời gian tiêu thụ 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 lượng lớn 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% trong 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ệ nhiệm vụ tính toán hoặc cả hai có thể được tăng tốc đồng thời.
FPGA đang chuyển đổi, ZK ASIC trong thiết bị đầu cuối
Nói một cách biện chứng, khối lượng công nhiệm vụ 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à tỷ lệ băm đủ 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.
Lộ trình và tiến trình công nghệ Cys
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 accelerator đ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 lắp ráp)
Đánh giá từ 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).
So sánh GPU, FPGA và ASIC
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 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 chuyên dụng được tùy chỉnh để đáp ứng các nhu cầu cụ thể nhất định. Hiệu suất cao và tỷ lệ băm 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 việc kinh doanh 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 nhiệm 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: Tập đoàn Amber
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 tự phát triển. 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 tỷ lệ băm 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 diện nhu cầu này, FPGA có thể tiếp tục tích lũy khả năng 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 tỷ lệ băm GPU Cysic đã liên kết hàng trăm nghìn card đồ họa tỷ lệ băm 3090/4090 cao cấp.
Card đồ họa Cysic và phòng máy tính
Dữ liệu nội bộ của họ cho thấy Cysic CUDA SDK nhanh hơn 50%-80% so với khung mã nguồn mở mới nhất và SDK GPU được sử dụng để cung cấp 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.
ZKP + DePIN: Biển đầy sao của Cysic Network
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 tỷ lệ băm khác nhau và tăng cường khích lệ 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 phi tập trung. mạng tỷ lệ băm .
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 tỷ lệ băm 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 tỷ lệ băm để vào mạng tỷ lệ băm ZKP. Chỉ cần tưởng tượng, càng có nhiều người dùng và tỷ lệ băm 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 Ethereum sáp nhập với The Merge, thợ đào PoW ban đầu đã để lại 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, tỷ lệ băm 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 dành cho 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 tỷ lệ băm của bất kỳ máy tính ZK nào. kịch bản. Với thị trường ZK trị giá hơn 15 tỷ USD, có tiềm năng tăng trưởng 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 Bitcoin, nhưng với Prover Network, Cysic đã thực sự xây dựng được một mạng lưới tỷ lệ băm thuộc về ZKP. Giống như PoW không được phép, 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, thợ đào có tỷ lệ băm 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 khích lệ dựa trên sự đóng góp tỷ lệ băm 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 đúc NFT và mạng thử nghiệm sẽ 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 khích lệ 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.
tham khảo:
Georgios Konstantopoulos, Tăng tốc phần cứng cho Bằng chứng Không có 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 , a16z crypto, ngày 15 tháng 4 năm 2022.
Nhóm Amber, Need for Speed: Zero Knowledge , ngày 5 tháng 9 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 Bằng chứng không tri 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.
Dấu vết, 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 , 10/10/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 máy tính ZK đáng tin cậy", 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!
