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 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. Mục tiêu của Ethereum là đạt được 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, đó 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ả và **sử dụng ASIC để tăng tốc phần cứng ZK. **
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. 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ư lý do tại sao Vitalik lại lạc quan về "tăng tốc phần cứng", một hướng đi hiếm khi đượ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ẽ lấy 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 quá trình 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à Kỷ nguyên zkSync 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, trong số các dự án dựa trên công nghệ ZK có giá trị thị trường hơn 1 tỷ đô la Mỹ thì Polyhedra, Immutable, StakNet, zkSync, Mina, dYdX, v.v. đều nổi tiếng. 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ó 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.
Còn bao xa nữa là đến lúc thực hiện ca sử dụng?
Công nghệ ZK mạnh mẽ đến vậy 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-SNARKs và 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.
Sử dụng hệ thống bằng chứng không có kiến thức thường bao gồm: "tính toán tát", "tạo bằng chứng", "xác minh bằng chứng". 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 ban đầu 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 kiểu 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.
Phép tính MSM (Nhân đa vô hướng) được sử dụng để xử lý các phép tính liên quan đến đường cong elip. 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à Biến đổi Fourier nhanh (FFT) được thực hiện trên trường hữu hạn. NTT được sử 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ả của việc tạo bằng chứng đã trở thành chìa khóa để hạn chế sự phổ biến hiện nay của ZKP.
Để 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.
**Các giải pháp tăng tốc phần cứng phổ biến hiện nay trên thị trường ZKP được chia thành ba loại. Tính linh hoạt từ cao đến thấp là GPU, FPGA và ASIC. **
Vì 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 đề nằm ở chỗ tính linh hoạt và đa năng của GPU khiến cho việc vượt qua FPGA về hiệu năng khó có thể vượt qua. **
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 một thuật toán ZKP cụ thể, FPGA hoạt động tốt hơn GPU**. **
ASIC là một con chip chuyên dụng được thiết kế riêng cho các nhiệm vụ cụ thể. Giống như các 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 chung, ASIC chỉ có thể thích ứng với một giải pháp duy nhất và không thể được sử dụng 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 nhu cầu của các 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 chứng nhận 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 liệu ASIC có tiềm năng bùng nổ trong tương lai không? 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 cao, một khi hệ thống chứng minh được xác định, dự án ZK sẽ khó có thể 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ứ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 hơn 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 là một trong những giải pháp cuối cùng để tăng tốc phần cứng.
Hãy lấy dự án Cysic của đường đua 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 trên thang đo 2³⁰ trong vòng 300 mili giây. Hiệu suất này ở 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 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ể tính toán nhanh hơn, thế giới mã hóa 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 tắc 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 đương với 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 nhiều nhu cầu về đ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. Chẳng hạn như Semaphore, MACI, Penumbra và Aztec Network đang khám phá việc sử 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 xác minh rằng AI hoạt động chính xác và minh bạch trở nên cấp thiết. ZKML có thể cho phép đưa suy luận và các khía cạnh khác vào 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ể.
Do đó, cho dù đó là việc áp dụng rộng rãi ZK Rollup, sự xuất hiện của dApp như quyền riêng tư hay sự phát triển của ZKML, nhu cầu tăng tốc ZKP đều tăng lên.
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 phương án tăng tốc phù hợp dựa trên lộ trình tiếp nối thế hệ ZKP của riêng mình.
Mạng trình xác thực linh hoạt (Mạng trình chứng minh ZK) đã trở thành 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.
Thẩm quyền giải quyết:
《ABCDE: Tại sao chúng ta nên đầu tư vào Cysic? 》**, Siyuan Han
《Mô hình mới trong thiết kế ZK-ASIC, cách zkVM》**, Cysic
《Tăng tốc phần cứng ZK: Quá khứ, Hiện tại và Tương lai》, Luke Pearson & Cysic 团队
Xem bản gốc
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.
Tại sao Vitalik lạc quan về khả năng tăng tốc phần cứng ZK?
Tác giả: 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 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. Mục tiêu của Ethereum là đạt được 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, đó 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ả và **sử dụng ASIC để tăng tốc phần cứng ZK. **
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. 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ư lý do tại sao Vitalik lại lạc quan về "tăng tốc phần cứng", một hướng đi hiếm khi đượ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ẽ lấy 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 quá trình 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à Kỷ nguyên zkSync 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, trong số các dự án dựa trên công nghệ ZK có giá trị thị trường hơn 1 tỷ đô la Mỹ thì Polyhedra, Immutable, StakNet, zkSync, Mina, dYdX, v.v. đều nổi tiếng. 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ó 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.
Còn bao xa nữa là đến lúc thực hiện ca sử dụng?
Công nghệ ZK mạnh mẽ đến vậy 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-SNARKs và 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.
Sử dụng hệ thống bằng chứng không có kiến thức thường bao gồm: "tính toán tát", "tạo bằng chứng", "xác minh bằng chứng". 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 ban đầu 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 kiểu 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.
Phép tính MSM (Nhân đa vô hướng) được sử dụng để xử lý các phép tính liên quan đến đường cong elip. 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à Biến đổi Fourier nhanh (FFT) được thực hiện trên trường hữu hạn. NTT được sử 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ả của việc tạo bằng chứng đã trở thành chìa khóa để hạn chế sự phổ biến hiện nay của ZKP.
Để 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.
**Các giải pháp tăng tốc phần cứng phổ biến hiện nay trên thị trường ZKP được chia thành ba loại. Tính linh hoạt từ cao đến thấp là GPU, FPGA và ASIC. **
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 nhu cầu của các 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 chứng nhận 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 liệu ASIC có tiềm năng bùng nổ trong tương lai không? 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 cao, một khi hệ thống chứng minh được xác định, dự án ZK sẽ khó có thể 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ứ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 hơn 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 là một trong những giải pháp cuối cùng để tăng tốc phần cứng.
Hãy lấy dự án Cysic của đường đua 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 trên thang đo 2³⁰ trong vòng 300 mili giây. Hiệu suất này ở 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 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ể tính toán nhanh hơn, thế giới mã hóa 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 tắc 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 đương với 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 nhiều nhu cầu về đ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. Chẳng hạn như Semaphore, MACI, Penumbra và Aztec Network đang khám phá việc sử 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 xác minh rằng AI hoạt động chính xác và minh bạch trở nên cấp thiết. ZKML có thể cho phép đưa suy luận và các khía cạnh khác vào 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ể.
Do đó, cho dù đó là việc áp dụng rộng rãi ZK Rollup, sự xuất hiện của dApp như quyền riêng tư hay sự phát triển của ZKML, nhu cầu tăng tốc ZKP đều tăng lên.
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 phương án tăng tốc phù hợp dựa trên lộ trình tiếp nối thế hệ ZKP của riêng mình.
Mạng trình xác thực linh hoạt (Mạng trình chứng minh ZK) đã trở thành 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.
Thẩm quyền giải quyết:
《ABCDE: Tại sao chúng ta nên đầu tư vào Cysic? 》**, Siyuan Han
《Mô hình mới trong thiết kế ZK-ASIC, cách zkVM》**, Cysic
《Tăng tốc phần cứng ZK: Quá khứ, Hiện tại và Tương lai》 , Luke Pearson & Cysic 团队