Author: Loopy Lu, BeWater
Gần đây, chuyến thăm bất ngờ của Vitalik Buterin tới Hội nghị Blockchain Hồng Kông đã khiến tất cả những người tham dự phấn khích. Và điều này cũng phản ánh hiện trạng của thị trường mã hóa ở một mức độ nhất định. Gần đây, xu hướng của Ethereum yếu hơn một chút so với xu hướng của hệ sinh thái Bitcoin, sự phân mảnh về tính thanh khoản và hiệu suất hạn chế của Ethereum một lần nữa khiến nó bị đặt dấu hỏi.
Tại hội nghị này, Vitalik đã đưa ra những gợi ý rõ ràng về sự phát triển trong tương lai của Ethereum. Trong bài phát biểu quan trọng Đạt đến giới hạn của thiết kế giao thức, Vitalik đã tích cực mong đợi vai trò của chip ASIC. Với sự trợ giúp của chip ASIC để tăng tốc phần cứng cho các phép tính ZK, hiệu quả và tính bảo mật của Ethereum có thể được nâng lên một tầm cao mới .
Để giải thích khả năng tăng tốc phần cứng của ZK, đương nhiên chúng ta phải bắt đầu với ZK. ZKP không phải là một khái niệm hoàn toàn mới. Kể từ những năm 1980, các nhà khoa học máy tính đã không ngừng khám phá theo hướng này. Hiện nay, các dự án ZK Rollup phổ biến lần lượt được tung ra, đồng thời ngày càng có nhiều ứng dụng ZK xuất hiện, kéo theo đó là công nghệ ZK và thị trường không ngừng phát triển. Chúng tôi nhận thấy rằng khả năng tăng tốc phần cứng ZK đang hoàn thiện, chế độ ZK + DePIN đang nổi lên và ZKP trong chu kỳ này dường như đã khác so với trước đây.
Zero-Knowledge Proof (ZKP) được mệnh danh là “Chén thánh” trong lĩnh vực công nghệ mã hóa, không chỉ giới thiệu các giải pháp mới cho vấn đề bảo vệ quyền riêng tư lâu nay mà còn cung cấp giải pháp mạnh mẽ cho vấn đề mở rộng blockchain đang tồn tại giải pháp tồn tại trong nhiều năm.
Như chúng ta đã biết, vấn đề hiệu quả của ZK đã gây khó khăn cho nhiều người dùng và nhà phát triển dự án.Vitalik cho biết tại hội nghị Hồng Kông rằng mặc dù các giao thức dựa trên mật mã tiên tiến như ZK-SNARK, MPC, FHE (mã hóa đồng hình hoàn toàn) và tập hợp BLS đang phát triển nhanh chóng nhưng chúng cũng có các vấn đề về hiệu quả và bảo mật.
(Nguồn ảnh: Foresight News)
Trong số đó, thời gian tạo khối của Ethereum Slot là 12 giây, thời gian xác minh khối bình thường là khoảng 400 mili giây và thời gian chứng minh ZK-SNARK là khoảng 20 phút.bằng chứng thời gian thực。
Để giải quyết vấn đề này,Vitalik đưa ra ba giải pháp, tương ứng là Cây song song và tổng hợp, sử dụng thuật toán SNARK và hàm băm để cải thiện hiệu quả,Tăng tốc phần cứng ZK bằng ASIC.
Chúng tôi không đánh giá ưu và nhược điểm của ba giải pháp mà chỉ tiến hành thảo luận chuyên sâu về khả năng tăng tốc phần cứng của ZK tại đây. Bài viết này cố gắng bắt đầu từ ZKP và giải thích cho các nhà đầu tư tại sao Vitalik lại lạc quan về “tăng tốc phần cứng”, một đường đua ít được nhắc đến hiện nay? Sự khác biệt giữa các thuật ngữ tương tự như tăng tốc ZK, ZK và ZK Rollups là gì? Làm cách nào để phân biệt chính xác chúng?
Từ góc độ của toàn bộ hệ sinh thái, tại sao lộ trình tăng tốc phần cứng lại quan trọng? Nó mang lại giá trị gì cho Ethereum, ZK và toàn bộ thế giới tiền điện tử? Chúng tôi sẽ sử dụng Cysic làm ví dụ để thảo luận chi tiết về quá khứ, hiện tại và tương lai của khả năng tăng tốc phần cứng.
Vai trò của khả năng tăng tốc phần cứng mà Vitalik lạc quan là gì?
Đối với thế giới mã hóa, ZKP (SNARKs/STARKs) được coi là Chén Thánh của công nghệ mở rộng quy mô. zk-SNARK xác minh tính chính xác của phép tính ban đầu thông qua Tính toán xác minh, nghĩa là, người chứng minh (Prover) trước tiên tạo ra bằng chứng ngắn gọn (Bằng chứng ngắn gọn) cho phép tính ban đầu và người xác minh (Người xác minh) sử dụng các phép tính ở quy mô nhỏ hơn để xác minh bằng chứng (Proof).
Trong số các kế hoạch mở rộng khác nhau, ZKP đã thúc đẩy sự phát triển của điện toán ngoài chuỗi. Nghĩa là, giao dịch không còn được thực hiện trên mạng lớp đầu tiên mà được hoàn thành trong một bản tổng hợp ngoài chuỗi và một phần dữ liệu như gốc trạng thái của nhiều giao dịch được đóng gói và phát hành lên mạng chính để hoàn tất xác minh và giải quyết . Các nút Mainnet có thể xác minh lịch sử giao dịch trên Rollup thông qua ZKP và tính bảo mật của nó vẫn được đảm bảo bởi một lớp. ZKP giải quyết vấn đề tin cậy trong quá trình xác minh bằng toán học thông qua bằng chứng không có kiến thức và yêu cầu một không gian nhỏ trên chuỗi. ZK Rollup có thể đạt được tốc độ xử lý giao dịch và hiệu quả xử lý gấp hàng chục lần so với một lớp.
Dữ liệu L2 BEAT cho thấy tổng TVL của 5 bản ZK Rollup hàng đầu đã đạt xấp xỉ 3 tỷ USD. Con số này vẫn còn kém xa con số 50 tỷ USD của Ethereum TVL và 91 tỷ USD của toàn thị trường DeFi. Chúng tôi tin rằng khi công nghệ ZK trưởng thành, tốc độ thâm nhập của ZK Rollup chắc chắn sẽ tăng hơn nữa. Sau khi Ethereum hoàn thành nâng cấp Cancun, việc giới thiệu EIP-4844 đã giảm đáng kể phí Lớp 2. Sau khi mỗi giao dịch Blob được điều chỉnh ở Lớp 2 chính thống, dữ liệu đo lường thực tế cho thấy chi phí gas của mỗi ZK Rollup giảm đáng kể. Ví dụ: Starknet giảm khoảng 85% và zkSync Era giảm khoảng 65%.
Các dự án dựa trên ZK trên thị trường đang phát triển nhanh chóng, nổi tiếng trong số các dự án dựa trên công nghệ ZK có giá trị thị trường hơn 1 tỷ USD là Polyhedra, Immutable, StakNet, zkSync, Mina, dYdX, v.v. Tuyến đường này có thể được chia đại khái thành ba lớp: cơ sở hạ tầng, ứng dụng ZK-Rollup và ZK.
Cơ sở hạ tầng chủ yếu bao gồm các khung và công cụ lập trình, thị trường chứng minh ZKP, tăng tốc phần cứng của thế hệ bằng chứng, học máy ZK, v.v. Hầu hết các dự án trong các hướng này đều xoay quanh việc tạo và tính toán ZKP, đồng thời chúng cung cấp nền tảng kỹ thuật để triển khai các ứng dụng ZK (dù là mạng hay dApp).
Điều thu hút sự chú ý nhất là ZK Rollup. Sự bùng nổ của ZK Rollup cung cấp sự hỗ trợ rộng rãi cho khả năng mở rộng và câu chuyện “áp dụng hàng loạt”. Tất nhiên, trên hết còn có nhiều dApp khác nhau sử dụng công nghệ ZK, hầu hết trong số chúng sử dụng các đặc điểm của ZK để cung cấp quyền riêng tư và các ứng dụng khác cho người dùng được mã hóa.
Tuy nhiên, tài nguyên máy tính quá mức cần thiết cho việc tạo bằng chứng ZK là một nút thắt hạn chế tiến độ tiếp theo trên đường đua.
Khoảng cách từ việc thực hiện ca sử dụng là bao xa?
Nếu công nghệ ZK mạnh mẽ như vậy thì tại sao nó vẫn chưa được áp dụng rộng rãi? Nguyên nhân chính là thuật toán cốt lõi và cơ chế triển khai của công nghệ ZK cực kỳ phức tạp. Hiện tại, có hai hệ thống chứng minh ZK chính được sử dụng rộng rãi -zk-SNARKsVàzk-STARKs. Ví dụ: zkSync, Aztec, Axiom, Scroll, Taiko, v.v. đều sử dụng hệ thống chứng minh dựa trên zk-SNARK, trong khi StarkNet, dYdX, Polygon, v.v. sử dụng hệ thống chứng minh dựa trên ZK-STARK.
Việc sử dụng hệ thống chứng minh không có kiến thức thường bao gồm:Tính toán các cú đánh chẵn，Tạo bằng chứng，Bằng chứng xác minh. Bước kiểm chứng sản xuất đòi hỏi rất nhiều sức mạnh tính toán.
Tính toán tát là thể hiện phép tính nguyên thủy thành dạng mạch ZK thông qua một ngôn ngữ ràng buộc nhất định (chẳng hạn như R 1 CS). Lấy zk-SNARK làm ví dụ, các hệ thống chứng minh được sử dụng phổ biến hiện nay bao gồm Groth 16, Marlin và Halo/Halo 2. Trong số đó, Groth 16 đã sử dụng R 1 CS làm ngôn ngữ ràng buộc cho tính toán phẳng. Các hệ thống chứng minh mới hơn, chẳng hạn như Halo/Halo 2, sử dụng ngôn ngữ ràng buộc mạch của hệ thống Plonk, được sử dụng rộng rãi trong một số dự án ZK mới hơn, chẳng hạn như Scroll, Taiko, Aximo, v.v.
Như chúng tôi đã đề cập trước đây, việc tạo ra các bằng chứng ZK đòi hỏi tính toán chuyên sâu. Hãy lấy Halo 2 dựa trên KGZ làm ví dụ để phân tích ngắn gọn các loại tính toán này. Trước hết, sau khi xây dựng mạch ZK thông qua ngôn ngữ ràng buộc front-end, chúng ta sẽ cần chuyển đổi các mạch này thành dạng đa thức theo một cách nào đó và thứ tự của đa thức có liên quan tích cực đến thang đo của mạch. Sau đó, một số phương tiện mật mã, chẳng hạn như KZG, sẽ được sử dụng để chuyển đổi các đa thức này thành dạng chứng minh. Trong quá trình này, các loại tính toán tốn thời gian chính bao gồm MSM và NTT.
Tính toán MSM (Nhân đa vô hướng)Dùng để xử lý các đường cong elipphép tính. MSM là thành phần cốt lõi trong mật mã đường cong elip và chủ yếu được sử dụng để tạo và xác minh bằng chứng. Nhiệm vụ tính toán kiểu MSM chiếm khoảng 60-70% nhiệm vụ tính toán.
NTT (Biến đổi lý thuyết số) là mộtBiến đổi Fourier nhanh trên các trường hữu hạn(FFT)NTT dùng để xử lý các phép tính liên quan đến đa thức. Trong số các phép tính do ZK proofs tạo ra, nhiệm vụ tính toán loại NTT chiếm khoảng 25% tổng số nhiệm vụ tính toán.
Mặc dù ZK-STARK sử dụng các thuật toán khác nhau nhưng nó cũng có những hạn chế về hiệu suất riêng. Trong quá trình tạo bằng chứng, người chứng minh cần tạo ra một hệ thống gồm nhiều ràng buộc phải được thỏa mãn đồng thời để tạo ra bằng chứng hợp lệ. Các ràng buộc này thường được tạo ngẫu nhiên.Người dùng thuật toán FRI (Lấy mẫu số nguyên đệ quy nhanh Gaussian) tạo và xác minh việc lấy mẫu Gaussian trong bằng chứng để đảm bảo tính ngẫu nhiên của các ràng buộc này. Do đó, hiệu quả của thuật toán FRI rất quan trọng đối với hiệu suất của ZK-STARK.
Nhưng dù chọn con đường nào thì khối lượng tính toán khổng lồ khiến thời gian tính toán trở nên cực kỳ chậm. Do đó, làm thế nào để tăng tốc các tính toán này và nâng cao hiệu quả tạo bằng chứng đã trở thành chìa khóa để hạn chế sự phổ biến của ZKP ngày nay.
Để giải quyết vấn đề này, việc sử dụng phần cứng để tăng tốc tính toán đã trở thành một giải pháp khả thi. Hiện tại, thị trường đã sản xuất nhiều giải pháp tăng tốc phần cứng, nhưng không có câu trả lời tiêu chuẩn nào về việc nên chọn phần cứng nào.
Hiện tại có ba giải pháp tăng tốc phần cứng chủ đạo trên thị trường ZKP với mức độ linh hoạt từ cao đến thấp là GPU, FPGA và ASIC.
Do một số bước trong thuật toán ZKP (chẳng hạn như phép nhân đa thức và phép biến đổi FFT) có thể được xử lý song song, nên việc sử dụng GPU có thể hoàn thành quá trình tính toán trong thuật toán ZKP một cách tự nhiên hiệu quả hơn, giống như việc khai thác card đồ họa nhiều năm trước. Nhưng vấn đề là,Tính linh hoạt và linh hoạt của GPU khiến cho việc vượt trội hơn FPGA trở nên khó khăn.
FPGA có thể được lập trình để thực hiện các chức năng logic cụ thể. Giải pháp cuối cùng này mang lại hiệu quả cao hơn đồng thời duy trì mức độ linh hoạt nhất định, cho phép tùy chỉnh mạch khi cần thiết. Sau khi tối ưu hóa cho thuật toán ZKP cụ thể,FPGA hoạt động tốt hơn GPU。
ASIC là các chip chuyên dụng được thiết kế riêng cho các nhiệm vụ cụ thể. Giống như máy khai thác ASIC cung cấp sức mạnh tính toán mạnh mẽ cho Bitcoin, khả năng tăng tốc phần cứng ASIC của ZKP cũng có thể mang lại mức tối ưu hóa hiệu suất cao nhất cho quá trình tính toán. Nhưng nói chungASIC chỉ có thể phù hợp với một giải pháp duy nhất, không thể được sử dụng phổ biến cho tất cả các nhiệm vụ chứng minh ZKP hiện có. Các chip ASIC tổng quát hơn sẽ gặp phải những điều chỉnh lớn hơn từ thiết kế đến băng keo.
ASIC có sức mạnh tính toán mạnh mẽ nhất nhưng hạn chế nằm ở tính linh hoạt. Do tính đa dạng của các thuật toán ZK nên các giải pháp tăng tốc vẫn yêu cầu tăng tốc nhiều thuật toán. Xem xét rằng các bằng chứng ZKP liên tục được giới thiệu trên thị trường, khả năng cấu hình lại nhanh chóng của FPGA mang lại cho nó lợi thế là được tái sử dụng trong nhiều tình huống và có thể thích ứng linh hoạt với các yêu cầu hệ thống bằng chứng khác nhau. Do đó, trong điều kiện thị trường hiện tại, với tư cách là nhà cung cấp dịch vụ tăng tốc phần cứng, họ chỉ có thể cung cấp dịch vụ chip ASIC chỉ tăng tốc một hệ thống bằng chứng duy nhất, đây không phải là lựa chọn tốt nhất tại thời điểm này.
Nhưng chẳng phải ASIC có tiềm năng bùng nổ trong tương lai sao? Câu trả lời đương nhiên là không.
Việc lựa chọn hệ thống chứng minh phù hợp là một quyết định rất quan trọng. Do chi phí thiết kế mạch ZK cực kỳ cao nên một khi hệ thống chứng minh được xác định,Các dự án ZK hiếm khi thay đổi hệ thống chứng minh một cách dễ dàng. Sau khi các bên dự án đầu tư nguồn lực vào việc phát triển mạch cho một hệ thống chứng minh cụ thể, họ thường không dễ dàng thay thế hệ thống đó. Mặc dù FPGA cung cấp một mức độ linh hoạt nhất định, ASIC vẫn có thể cung cấp tỷ lệ hiệu suất tính toán cao cho các dự án ZK đã được xác định và đưa vào phát triển, điều này đặc biệt quan trọng đối với các ứng dụng ZK có quy mô lớn, tính toán chuyên sâu. Do đó, mặc dù chi phí phát triển ban đầu của ASIC cao nhưng tỷ lệ doanh thu cao mang lại sau khi khai thác thành công vẫn có chỗ đứng trên thị trường. Vì vậy, giải pháp ASIC có tính ổn định và nhu cầu nhất định trên thị trường.
Trong tương lai gần, các giải pháp tăng tốc ASIC sẽ vẫn được tăng tốc phần cứnggiải pháp cuối cùngmột.
Hãy lấy dự án Cysic trên lộ trình tăng tốc phần cứng làm ví dụ. Cysic cung cấp các dịch vụ tăng tốc phần cứng đầy đủ bao gồm FPGA, ASIC và GPU. Các dịch vụ tăng tốc này không chỉ có thể cải thiện hiệu quả sản xuất của các bằng chứng ZK cụ thể mà còn thích ứng với nhu cầu của các nền tảng blockchain/dự án ZK khác nhau.
Ví dụ, Cysic đã phát triển bộ tăng tốc tính toán MSM dựa trên FPGA có tên SolarMSM. Giải pháp này cải thiện đáng kể hiệu quả tính toán MSM và có thể xử lý các tác vụ MSM quy mô lớn trong thời gian ngắn. Đánh giá từ dữ liệu, SolarMSM của Cysic có thể dễ dàng hoàn thành các phép tính MSM 2³⁰ trong 300 ms, đây là mức cao nhất trong ngành.
Thông qua khả năng tăng tốc phần cứng này, Cysic có thể giảm thời gian cần thiết để tạo bằng chứng ZK một cách hiệu quả, từ đó làm cho các ứng dụng và giao thức blockchain dựa trên ZKP hiệu quả và thiết thực hơn. Điều này có ý nghĩa rất lớn trong việc thúc đẩy ứng dụng rộng rãi công nghệ ZKP, đặc biệt là trong các tình huống đòi hỏi việc tạo bằng chứng nhanh chóng và hiệu quả.
Hiện tại, Cysic đã triển khai công việc thiết kế POC của giải pháp tăng tốc MSM. POC dựa trên FPGA có 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, cao hơn 1 – 2 bậc độ lớn so với kết quả điểm chuẩn công khai hiện tại. Trong tương lai, Cysic sẽ phát triển chip ASIC 12 nm trong giai đoạn thứ hai. Mục tiêu là để nhận ra rằng sức mạnh tính toán của một chip ASIC có thể hỗ trợ MSM, NTT và các toán tử cơ bản về mật mã khác, đồng thời giảm mức tiêu thụ điện năng của một chip đơn lẻ xuống còn hai bậc độ lớn.
Ngoài ra, Cysic cũng đã tích cực áp dụng các giải pháp tăng tốc dựa trên GPU, cung cấp các dịch vụ tăng tốc điện toán ZK và thậm chí cả AI linh hoạt hơn.
Chỉ cần ZKP có thể được tính toán nhanh hơn, thế giới tiền điện tử sẽ tiến một bước gần hơn tới việc chiếm được “Chén thánh” ZKP.
Nguyên thủy DePIN thúc đẩy tăng trưởng thị trường
Tầm quan trọng của việc tăng tốc phần cứng là không thể nghi ngờ. Nghi ngờ chính của một nhà đầu tư khác là quy mô thị trường đối với việc tăng tốc phần cứng ZK sẽ lớn đến mức nào?
Mô hình đã dự đoán rằng quy mô thị trường của việc tăng tốc ZK tương tự như quy mô của thị trường khai thác POW. Như đã đề cập trước đó, với việc hoàn thành nâng cấp Cancun, việc áp dụng ZK Rollup ở quy mô lớn hơn sẽ mang lại nhu cầu đáng kể cho điện toán ZK.
Bảo vệ quyền riêng tư là một nhu cầu lớn khác của thị trường. Các công ty như Semaphore, MACI, Penumbra và Aztec Network đang khám phá việc tận dụng công nghệ ZK để nâng cao quyền riêng tư của người dùng và thúc đẩy việc áp dụng đại trà. Đồng thời, lĩnh vực xác minh danh tính cũng là một trong những trường hợp sử dụng chính của công nghệ ZK, bao gồm WorldID phổ biến, cũng như các dự án như Sismo, Clique và Axiom, tất cả đều cam kết áp dụng công nghệ ZK vào quản lý danh tính để cung cấp giải pháp hệ thống an toàn hơn và bảo vệ quyền riêng tư hơn.
ZKML (Học máy không kiến thức) là một lĩnh vực đang phát triển nhanh chóng khác. Với sự bùng nổ của AI, việc kiểm chứng AI hoạt động chính xác và minh bạch là điều bắt buộc. ZKML có thể cho phép tải suy luận và các khía cạnh khác lên chuỗi và về mặt lý thuyết, nó sẽ được xác minh mà không tiết lộ nội dung cụ thể.
Vì vậy, liệuZK Rollup Áp dụng rộng rãi, quyền riêng tư và hơn thế nữa dApp sự xuất hiện hoặc ZKML Sự phát triển của ZKP đã làm tăng nhu cầu tăng tốc ZKP.
Tuy nhiên, ngưỡng tăng tốc ZK vẫn còn cao và vẫn cực kỳ không thân thiện với nhiều dự án vừa và nhỏ. Nhiều người yêu cầu ZKP vẫn cần mua phần cứng tăng tốc một cách tập trung và tự mình triển khai các dịch vụ tăng tốc. Và bạn cũng cần lựa chọn giải pháp tăng tốc phù hợp dựa trên lộ trình tiếp nối thế hệ ZKP của chính mình.
Mạng xác thực linh hoạt (ZK prover network) đã trở thành một giải pháp đồng thuận trong ngành. Mẫu sản phẩm mới ZK Computing as a Service (ZK CaaS, ZK Computing as a Service) được hình thành trên cơ sở này sẽ giải quyết được vấn đề nan giải trên.
Lấy Cysic làm ví dụ. Cysic sẽ sử dụng phần cứng được tăng tốc để tạo thành mạng xác minh. FPGA, ASIC hoặc phần cứng khác có thể cung cấp cho người dùng sức mạnh tính toán được tăng tốc ZK trong mạng và các thiết bị cá nhân cũng có thể được kết nối với nó. Đối với các bên tham gia dự án ZK, khi cần hỗ trợ sức mạnh tính toán để xác minh ZKP, họ có thể truy cập trực tiếp vào mạng sức mạnh tính toán ZK của Cysic mà không cần mua phần cứng. Không cần phải chú ý quá nhiều đến chi tiết của kế hoạch tăng tốc cụ thể. Hiện tại, Cysic đã tung ra hàng chục nghìn card đồ họa cao cấp, dự trữ đủ sức mạnh tính toán ZK cho mạng xác minh.
Hiện tại, Cysic đã đạt được sự hợp tác với nhiều dự án như Scroll, zk P2P, Inference, Kinetex, v.v., bao gồm ZK Rollup, ZKML, lớp ứng dụng và các loại dự án khác. Các hệ thống chứng nhận mà nó sử dụng bao gồm Halo 2, RapidSnark, Plonky2x và các hệ thống khác., Vì vậy, giải pháp điện toán tăng tốc của Cysic có tính linh hoạt và đa năng cao.
Cysic định cấu hình cung và cầu sức mạnh tính toán theo cách phi tập trung, nguyên gốc bằng mật mã. Bên cung cấp sức mạnh tính toán ZK đã được nâng cấp từ phần cứng tập trung và không thể mở rộng thành mạng sức mạnh tính toán mà tất cả người dùng đều có thể truy cập, đồng thời mang đến cho các nhà đầu tư cá nhân cơ hội tham gia sâu hơn vào thị trường. Về phía cầu, ZK CaaS có thể mang lại sự linh hoạt và ổn định cao hơn cho điện toán ZK, đồng thời thị trường phi tập trung có thể lên lịch và kết hợp cung và cầu sức mạnh tính toán hiệu quả hơn thông qua các hợp đồng thông minh.
Do đó, ZK CaaS biến khả năng tăng tốc phần cứng thành một dịch vụ có sẵn và tạo ra một kịch bản trong đó mọi người đều có thể tăng tốc điện toán ZK. Nó sử dụng mạng lưới các cơ sở phần cứng phi tập trung của DePIN để chuyển đổi trường ZK và cung cấp sức mạnh tính toán độc quyền hoặc nhàn rỗi mang lại doanh thu, giúp chúng tôi có thể một lần nữa mở ra đại dương xanh khai thác ZK + DePIN.
Reference:
ABCDE: Tại sao chúng ta nên đầu tư vào Cysic? 》, Siyuan Han
《New Paradigm in Designing ZK-ASICs, the zkVM way》， Cysic
《ZK Hardware Acceleration: The Past, the Present and the Future》, Luke Pearson Nhóm Cysic
