対話 Cysic 共同創業者：ZK DePIN 計算力ネットワークがテストネットを迎え、2025年に大規模採用を実現

著者：深潮 TechFlow

Web3 の華麗で幻想的なウサギの穴に落ち込んでしばらく経つと、大衆は本質的に私たちがハードウェアに支えられた世界に住んでいるという一点を習慣的に無視しているようです。メタバースが VR デバイスに対して求めるもの、AI の背後にある CPU や GPU の消費、さらには Vitalik Buterin が「イーサリアムの未来」と見なす ZK トラックも例外ではありません。

ZK は厳密な数学的論理を持ち、安全性、プライバシー、スケーラビリティの面で顕著な利点がありますが、現在のところ ZK 証明の生成には効率の悪さが問題となっています。アルゴリズムのレベルで画期的な進展が実現できない今、ZK ハードウェアの加速は ZK の発展を支える最も直接的かつ効果的な解決策となります。Vitalik は今年 4 月に香港で開催された Web3 カーニバルに出席した際、ZK ハードウェアの加速がイーサリアムの効率と安全性を新たなレベルに引き上げるのに役立つと述べました。

ZK ハードウェア加速のトラックの潜在能力がますます重視される中、7 月中旬にテストネットを立ち上げる ZK ハードウェア加速プロジェクト Cysic が広く注目を集めています：今回のテストネットの立ち上げに伴い、Cysic は段階的に一連のコミュニティインセンティブ活動を展開します。現段階では、Cysic はホワイトリストメカニズムを通じてユーザーを検証者として招待し、ネットワークテストに参加して相応の報酬を得ることができます。後期には Cysic もコミュニティにいくつかの証明者の役割を開放する予定です。

ZK ハードウェア加速トラックに最初に関わったプロジェクトの一つとして、Cysic はこれまでに 600 万ドルのシードラウンドの資金調達と 1200 万ドルの Pre-A ラウンドの資金調達を完了しています。 Polychain Capital、Hashkey Capital、OKX Ventures、ABCDE などの業界で知られた VC が参加し、DAO5 パートナー、Celestia の初の投資家 George Lambeth、前 Binance Labs の執行ディレクター Ken Li など多くのエンジェル投資家の支持を得ています。

テストネットの立ち上げを契機に、私たちは Cysic の共同創設者 Leo Fan と深い対話を行い、 Cysic の ZK およびハードウェア加速トラックに対する見解、プロジェクトの利点と実現論理、ZK の大規模な実用化の展望などの具体的な見解を探りました。対話の中で、Leo Fan は ZK ハードウェア加速がイーサリアム、暗号業界、さらには現実世界に大きな力を与えると述べ、ZKVM の発展と Cysic ASIC ハードウェアの出荷が近づく中、ZK 技術が 2025 年に真の大規模採用を実現するとの楽観的な予測を示しました。

今期の内容では、Cysic の過去、現在、未来に迫り、Cysic の共同創設者 Leo Fan が ZK ハードウェア加速トラックについての考え、思い、感じたことを共有します。

重要な論点

• 7 月中旬のテストネットの到来に伴い、一連のインセンティブ活動も準備中です：Cysic はホワイトリストメカニズムを通じてユーザーを検証者として招待し、テストに参加して報酬を獲得します。また、テストネットの後期にはコミュニティにいくつかの証明者の役割を開放します。B サイドのユーザーにとって、Cysic は ZK プロジェクトに対して効率的、低コスト、即時の ZK サービスを提供することを目指しています。プロのマイナーも Cysic ネットワークに接続し、ハードウェアデバイスをより効率的に使用できます。C サイドのユーザーにとって、一般的なノートパソコンでも Cysic ネットワークに接続して検証者になることができます。

• ZK ハードウェア加速トラックの主要プロジェクトとして、Cysic プロジェクトの重点は三つの側面にまとめられます：効率的であること、自社開発のチップを通じてリアルタイムの証明生成を実現；汎用性があり、市場にあるほぼすべての異なるアルゴリズムタイプの ZK に加速サービスを提供；分散化されており、ZK DePIN ネットワークを構築して業界にサービスを提供します。

• ZK の利点は、具体的な人を信じる必要がなく、数学的論理を通じて信頼を構築できることです。また、他のスケーリングソリューションと比較して、イーサリアム全体のアーキテクチャは ZK の発展に対してより友好的であり、ZK の厳密な数学的論理はイーサリアムの安全性と公平性をより高く保証します。

• Cysic では、プロジェクトチームが自身のニーズに応じて適切な Prover を選択する自主権があり、分散化の程度をさらに高めます。

• 性能対コスト比や効率対消費電力比の面で、ASIC のパフォーマンスは圧倒的に優れていますが、ASIC の設計や製造過程での流片ミスなどの問題が高額なコストを引き起こす可能性があるため、ASIC の設計と製造には慎重です。

• Cysic は二重トークン経済モデルを採用しています：ネイティブトークンはガス料金やエコシステム貢献者への報酬などの用途があり、veToken はガバナンスに参加してネットワークの計算力スケジューリングの決定に関与できます。

• ZKVM の発展と Cysic ASIC ハードウェアの出荷により、ZK 技術は 2025 年に真の大規模採用を実現する可能性があります。

現在業界で最も早い ZK ハードウェア加速サービス、Cysic テストネットが間もなく登場

深潮TechFlow：まず自己紹介をお願いします。

Leo Fan：

皆さんこんにちは、私は Cysic の共同創設者 Leo Fan です。

まず、私の教育背景を共有します。主に暗号学とコンピュータセキュリティに関するもので、私は四川大学の数学基礎クラスで学び、2010 年から 2014 年の間に北京情報セキュリティ国家重点実験室で修士課程を続け、その後 Cornell University（コーネル大学）で暗号学と情報セキュリティを専攻し、2019 年に博士号を取得しました。

次に、私の職業経験を共有します。北京で大学院に通っている間にビットコインに出会い、初期のマイニングに参加しました。その後、博士課程の間に IBM や Yahoo などでいくつかのインターンシップを経験しました。卒業後、まずアメリカ国家標準技術研究所（NIST）に入社し、暗号標準化に関する仕事を行い、その後 Layer 1 プロジェクト Algorand に参加しました。このプロジェクトは ZK 技術の発明者であり、チューリング賞受賞者で MIT 教授の Silvio Micali によって設立され、私は Algorand の State Proofs 部分の設計と実装を担当し、Algorand エコシステムに信頼不要の相互運用性をもたらすことに尽力しました。

2022 年まで、私は ZK 証明生成に時間がかかることに気づき、最初はアルゴリズムやソフトウェアのレベルで最適化を試みましたが、効果はあまり見られませんでした。そこで、ハードウェアの方法で証明生成を加速することを考え、Cysic が誕生しました。Cysic はハードウェア加速を通じて ZK のリアルタイム証明生成を実現することを目指しています。

深潮TechFlow：Cysic テストネットは 7 月中旬に立ち上がりますが、B サイドと C サイドの二つの視点から、現在プロジェクトチーム、ユーザー、または開発者はどのように Cysic エコシステムに参加すべきでしょうか？

Leo Fan：

B サイドの観点から、Cysic は ZK プロジェクトに対して効率的、低コスト、即時の ZK サービスを提供することを目指しています。現在 Cysic は早期アクセスプログラム（EAP）を開始し、計算力を必要とする ZK プロジェクトに企業向けのエンドツーエンドのハードウェア加速ソリューションを提供しています。 Cysic は Halo2、STARK、Groth16、Plonky2、ZAMA、GKR、RapidSnark などの多重検証システムをサポートしています。私たちの強力なネットワークは 10,000 以上の GPU カードによって支えられ、比類のない性能と信頼性を確保しています。現在、Scroll、Light protocol、Risc Zero、Inference Labs、Ion Protocol、Aerius Labs、TalusNetworkEAP を含む 16 のプロジェクトが EAP プログラムに参加しており、早期メンバーは今後一連のエコシステム特典を享受します。

また、ここでの B サイドは専門のマイナーを指すこともあり、彼らは大量のグラフィックカードを持っており、他の AI DePIN ネットワークに接続するだけでなく、将来的には Cysic ネットワークにも接続できます。接続後、グラフィックカードは大部分の時間でフル稼働の状態になります。つまり、ハードウェアはより効率的に使用される段階に入ります。テストネットの後期段階では、コミュニティに証明者の役割を開放する予定です。 一定のハードウェア条件を満たすユーザーは証明者として申請でき、主ネットの立ち上げに貢献し、テスト報酬を得ることができます。

C サイドのユーザーの観点から、ここで指すのは比較的初心者のユーザーであり、強力なハードウェアを持っていないかもしれませんが、彼らも普通のノートパソコンを通じて Cysic ネットワークに接続し、検証者の役割を果たすことができ、ZK エコシステムに貢献しながら報酬を得ることができます。Cysic テストネットは 7 月中旬に立ち上がり、関連するテストネットインセンティブ活動も準備中です：その際、ホワイトリストメカニズムを通じてユーザーを検証者として招待し、ネットワークテストに参加して相応の報酬を得ることができます。

深潮TechFlow：Cysic が現在行っていることを三つの言葉で表現するとしたら、どのように表現しますか？

Leo Fan：

私たちは、効率のボトルネックを突破した後、暗号業界でも Web2 の現実世界でも ZK 技術が大規模に採用されると考えています。Cysic は FPGA、GPU、ASIC を含む全ハードウェア加速サービスを提供することを目指し、ZK 証明のリアルタイム生成を実現し、ZK プロジェクト、計算力提供者、コミュニティ検証者を結ぶ ZK DePIN ネットワーク Cysic Network を構築し、最終的に業界全体に効率的で高コストパフォーマンスかつ分散化された計算力 + 検証ネットワークを提供します。総じて、Cysic は ZK の大規模採用を早める道のりで欠かせない役割を果たすでしょう。

質問に戻りますが、Cysic が現在行っていることは以下の三つの言葉で表現できます：

効率性：Cysic は自社開発のチップを通じてリアルタイムの証明生成を実現することを目指しています。現在、私たちは GPU を通じてプロジェクトに ZK 加速サービスを提供する段階にありますが、現段階でも業界で最も早いものであり、将来的にはプロジェクトの進展とともに ASIC の実現により、さらに早くなります。

汎用性：実際、ZK の範囲内にはさまざまなアルゴリズムがあり、異なるアルゴリズム間には違いがあります。Cysic は業界全体にすべてのアルゴリズムをサポートする ZK 加速サービスを提供し、サービス範囲をさらに拡大し、利用可能性を向上させることを目指しています。

分散化：Cysic は現在 Cysic Network を構築しています。これは ZK DePIN ネットワークであり、私たちは分散化された Prover と Verifier を通じてエコシステム全体にサービスを提供したいと考えています。参加者は ZK に対して相応の貢献を行い、報酬を得ることができます。

深潮TechFlow：現在 ZK ハードウェア加速ソリューションには CPU、GPU、FPGA、ASIC などの方法がありますが、これらの方法にはどのような違いがありますか？Cysic はどの方法を選んで ZK ハードウェア加速を実現する傾向がありますか？

Leo Fan：

実際、Cysic はこの問題についてかなり発言権があります。ZK ハードウェア加速には ZPrize という競技があります。Cysic は第一回 ZPrize を逃しましたが、今年の大会の一つのトラックの設計者および審判です。

ZK またはハードウェア全体の分野には、三つの重要な指標があります：

まずは Performance Per Dollar（コストパフォーマンス）： どれだけのコストをかけて相応のハードウェアを購入し、その計算力を得るためにどれだけのコストを支払う必要があるかです。ここで CPU のパフォーマンスは他のいくつかのソリューションに追いつかないため、私たちが議論するハードウェア加速は主に GPU、FPGA、ASIC に焦点を当てています。コストパフォーマンスの観点からは：ASIC ＞ GPU ＞ FPGA です。これは ASIC の出荷量が十分に大きい場合に成り立ち、現在の ZK はこの出荷量の条件を満たすことができます。

第二の指標は Performance Per Watt（効率対消費電力比）： これらのハードウェアを運用するためにかかるエネルギー消費です。この面では ASIC のパフォーマンスが依然として圧倒的に優れ、GPU は FPGA よりも若干優れています。

最後の指標は Go to Market Time（市場投入時間）： ASIC はチップを設計する必要があり、流片（Tape-out）は ASIC チップ設計プロセスの重要な段階であり、生成されたマスクをウェハ工場に送ってチップを製造します。流片プロセスで何らかのミスが発生すると高額なコストがかかるため、現在、皆が ASIC の設計と製造に対して慎重です。

短期的には Cysic も同様で、昨年末から 2025 年初頭まで、私たちは GPU を通じて皆に加速サービスを提供しますが、私たちの ASIC は来年の第二、第三四半期に皆とお会いする予定です。その際、私たちは ASIC サービスを主に提供する方向に転換します。 これは必然的なプロセスであり、Cysic はリアルタイムの ZK 証明生成を実現することを目指しています。現在の主流の ZK Circuit に対して、私たちは証明時間を 1 - 5 秒に実現したいと考えています。この目標を達成するためには、ASIC だけが実現可能です。

深潮TechFlow：Cysic はどのようにリアルタイム証明生成を実現しますか？これにより ZK、イーサリアム、さらには暗号業界全体にどのような変化や革新がもたらされるでしょうか？

Leo Fan：

私は、これは非常に大きな革新をもたらすと考えています。ZK と機械学習（Machine Learning）の結合を例にとると、現在 ZK を使用して機械学習の Circuit を実行するには非常に時間がかかります：GPT2 を実行する場合、ZK を使用しない場合は約 1 秒ですが、ZK を使用して GPT2 の Circuit を証明する場合、最も早い方法でも数分かかり、CPU を使用すると数時間かかります。このように長い時間は、ユーザー体験としては全く意味がありません。

Cysic の ASIC チップはリアルタイムの ZK 証明生成を実現でき、これは ZK と機械学習技術の結合を推進するだけでなく、ユーザーにとっても良い体験をもたらします。もちろん、現在 Crypto と AI の結びつきも非常に強いので、この例は非常に Crypto Native な例でもあります。

さらに、ZK 加速はイーサリアムや暗号業界全体に対しても非常に大きな力を与えます。最大の変化は、以前は十数分かかっていたことが数秒に短縮されることです。 L2 上のより多くの取引やクロスチェーン取引がより迅速に確認され、しかもこの確認は数学的論理に基づいて行われるため、OP のように「疑罪から無罪」の仮定に基づくものではありません。これは暗号業界にとって大きな進歩です。

分散化された方法で ZK 証明のリアルタイム生成を実現し、二重トークンモデルが ZK DePIN ネットワークを促進

深潮TechFlow：過去の解決策では、高効率と分散化を両立させることが常に難しかったですが、Cysic はリアルタイム証明生成を実現しながら、検証者/証明者の分散化も実現しました。Cysic がどのようにこれを実現しているのか、簡単に説明していただけますか？Cysic が採用している PoC コンセンサスは、どのように分散化の程度をさらに高めるのでしょうか？

Leo Fan：

先ほどの質問でも触れましたが、Cysic が構築している ZK DePIN ネットワーク Cysic Network には、証明者と検証者という二つの重要な役割があります。

検証者は証明者が生成した証明を検証する役割を担い、検証者の分散化は比較的容易です。 なぜなら、スマートフォン、ノートパソコン、タブレットなどでも ZK 証明を検証できるため、ハードウェアの要求が非常に低く、検証時間は通常 1 秒未満です。

証明者の分散化は初期（つまり GPU 時代）には一定の難しさがあります。 良いユーザー体験を提供するためには、証明生成の時間が比較的短い必要があり、つまり証明者には高いハードウェア要件が求められます。これは多くの人にとって一定のハードルとなります。しかし、Cysic のハードウェアが出荷されると、この状況は大きく改善されます。なぜなら、現在の主流の GPU 加速と比較して、Cysic のハードウェアは ZK の加速を最大で十倍の効率で実現でき、価格も比較的安価であるため、皆が低コストで Cysic のハードウェアを購入し、プロのマイナーのレベルに達することができます。

ソフトウェアの観点から見ると、現在 Cysic は ZK DePIN ネットワークを構築しており、PoC（Proof of Compute）メカニズムを設計して ZK DePIN シナリオにより適合させています。 PoC は実際には Proof of Stake と Proof of Work の組み合わせに近く、各エポックは約 100 ブロックで、証明者の計算力の規模に基づいて一部のノードを選出し、そのノードの質権重みを基にして、誰がこのエポック内のブロックを提案するかを決定します。これにより、ネットワークが安定した状態を保つだけでなく、分散化の程度もさらに高まります。

深潮TechFlow：Cysic は実用トークンとガバナンストークンを組み合わせた二重トークンモデルを採用していますが、二重トークン設計の利点や、Cysic がどのように二重トークンを通じてエコシステムの効果的なガバナンスとインセンティブを実現しているかについて教えていただけますか？

Leo Fan：

二重トークンモデルには、ネイティブトークンと veToken の二つがあります。

ネイティブトークンは主にガス料金、エコシステム貢献者への報酬などに使用されますが、ガバナンスに参加し、ネットワークの計算力配分を決定するには、参加者が Cysic のトークンをステーキングして相応の投票権を得る必要があります。

私たちは ZK に多くのプロジェクトがあり、異なるプロジェクトが異なるアルゴリズムを採用していることを知っています。したがって、Cysic ネットワーク内の計算力をどのように調整するかが非常に重要です。計算力の調整がうまくいけば、Cysic ネットワークに高いリターンをもたらし、ネットワーク参加者をより良く支援することができます。 投票権を持つことは、計算力調整に参加する権利を持つことを意味します。たとえば、あるプロジェクトが最近非常に良いパフォーマンスを示した場合、私たちはより多くの計算力を提供すべきかもしれません。このようなメカニズムを通じて、ZK エコシステム全体の価値を捕捉するのに有利であり、Cysic のトークンも ZK エコシステム全体でより良く流通することができます。

深潮TechFlow：ZK ハードウェア加速サービスはハードウェアに対する要件が高く、DePIN トラックを連想させますが、Cysic エコシステムの構築において DePIN に関する延長はどのようなものがありますか？

Leo Fan：

私たちは、より多くのハードウェアが Cysic ネットワークに参加することを望んでいます。注目すべきは、Cysic ネットワーク内のこれらのハードウェアは単に空転しているのではなく、証明生成と検証を通じて実際にサービスを提供し、価値を創造していることです。これは私たちが多くの AI や DePIN プロジェクトと比較して最大の違いです。現在 Cysic ネットワークは内部テスト段階にあり、数百台のサーバーが常にタスクをフル稼働させています。

さらに、Cysic ネットワークは従来のユーザーにもいくつかの接点があります。ZK はプライバシー計算の面での利点を持っているため、私たちは DePIN ネットワークを通じて従来のユーザーにより良いサービスを提供する予定です。

深潮TechFlow：昨年の EDCON ブラックマウンテン大会や今年の香港 Web3 カーニバルで、イーサリアムの共同創設者 Vitalik Buterin は「ZK はイーサリアムの未来である」と明言しました。なぜ Vitalik は ZK にこれほど期待を寄せているのでしょうか？他のスケーリングソリューションと比較して、ZK 技術の利点とイーサリアムへの力の与え方は何でしょうか？

Leo Fan：

私は理由が二つあると考えています。

まず、ZK は具体的な人を信じる必要がなく、OP のような「疑罪から無罪」の信頼メカニズムとは異なり、ZK の信頼は厳密な数学的論理に基づいています。また、ZK 技術はすでに三十年から四十年の歴史があり、数学的仮定に基づく暗号システムはますます完成度が高まっています。したがって、他のソリューションと比較して、数学に信頼を置く方がより安全です。

次に、他のスケーリングソリューションと比較して、イーサリアム全体のアーキテクチャは ZK の発展に対してより友好的です。ZK で証明を生成した後、イーサリアム内で迅速に検証され、生成された ZK 証明は L2 のブロックとなる可能性があります。このブロックはおそらく 1000 件の取引に対応しています。つまり、イーサリアム上で ZK 証明を検証することは、1000 件の取引を検証することに相当します。イーサリアムの基盤をあまり変更せずに、ZK はより優れたスケーリングソリューションです。

最後に、ZK 技術がイーサリアムに与える力について話すと、私は ZK の急速な発展がまず L2 によってイーサリアムの決済時間を大幅に向上させたと考えています。次に、ZK ブリッジを通じて、イーサリアムは効率を向上させながら多くのセキュリティホールを回避できます。さらに、ZK はイーサリアム自体がブロックを生成する方法にも大きな力を与えています。ZK には Verifiable Delay Function（可検証遅延関数）モジュールがあり、厳密な数学関数を使用してランダム数を生成し、相応の ZK 証明を生成して Delay Function の計算が正確であることを検証します。これにより、イーサリアムの安全性と公平性が高く保証されます。

深潮TechFlow：ZK の現在の効率の悪さに直面し、Vitalik は三つの解決方向に重点を置いています。それは、1、並列化と集約ツリー；2、SNARK アルゴリズムとハッシュを使用して効率を向上させる；3、ASIC を使用して ZK ハードウェア加速を行うことです。Cysic は ZK ハードウェア加速トラックに焦点を当てたプロジェクトとして、ZK ハードウェアが他の二つの解決方向に比べてどのような利点があると考えていますか？

Leo Fan：

実際、第一の並列化と集約ツリーの解決策と第三の ZK ハードウェア加速の解決策は、協力関係にあります。 並列化と集約ツリーの解決策は、実際には Parallel EVM（並列 EVM）を行うか、証明の集約とバッチ検証を行うことです。ハードウェア加速はこのプロセスも加速できます。

第二の解決策は、SNARK アルゴリズムとハッシュを使用して効率を向上させることです。SNARK（Succinct Non-Interactive Arguments of Knowledge）は実際には ZK であり、私たちが加速しているのは SNARK です。多くのプロジェクトの SNARK には多くのパラメータがあり、パラメータを比較的攻撃的に設定すると、安全性に影響を与える可能性があります。ZK ハードウェア加速の利点は、安全性の基盤を揺るがすことなく加速を実現できることです。

ZKVM の支援と Cysic 自社開発ハードウェアの出荷により、2025 年には ZK が大規模採用される可能性があります

深潮TechFlow：最近、ZK の風が Solana にも吹き込まれ、プライバシープロトコル Light Protocol が Solana 向けの新しい原理（primitive）である ZK Compression を提案し、Solana 上でネイティブ ZK 計算を有効にし、Solana 上のトークンやアカウント管理のコストを数桁削減することを目指しています。ZK Compression についてどのように考えていますか？これが Cysic が属する ZK ハードウェア加速トラックにどのような機会と課題をもたらすと考えますか？

Leo Fan:

ZK Compression は最近登場した Solana 上の ZK 技術です。これは主に ZK の簡潔性を利用して状態を縮小し、コストを削減することを目的としています。同様の技術は ZK-L2 や ZK ブリッジでも使用されています。Cysic にとって、この技術のコアは Cysic が現在開発している技術と変わりません。新しいシナリオ（Solana）での ZK アプリケーションに過ぎず、Cysic の既存の技術は良好なサポートを提供できます。

深潮TechFlow：ZK 技術が具体的なシナリオで大規模採用されるまでにどれくらいの時間がかかると考えますか？このビジョンを実現するための重要な契機は何ですか？

Leo Fan：

私は ZK の大規模採用が来年に訪れる可能性があると考えています。これは暗号業界に限らず、多くの実用シナリオでのアプリケーションを真に実現することを意味します。 これは主に二つの契機から来ています。

まず、ソフトウェアの面で、Cysic は ZKVM の発展に非常に注目しています。ZKVM は開発者が多くの ZK Circuit を書く必要がなく、直接 RUST や Go プロジェクトを書いて ZKVM を通じて ZK の Circuit に変換できるようにすることを目指しています。これにより、ZK の開発速度が大幅に向上し、ZK ソフトウェア開発のハードルが下がります。Cysic もソフトウェアの面でより優れたソリューションを探求し続ける予定です。

もう一つの側面は、Cysic の自社開発ハードウェアが来年出荷されることで、ZK 証明生成の効率が大幅に向上し、ZK 技術の大規模採用を推進する重要な力となるでしょう。

深潮TechFlow：Cysic が最近達成した重要な進展と、2024 年下半期の Cysic の作業の焦点について共有していただけますか？

Leo Fan：

過去一年、Cysic は多くの画期的な進展を遂げました。2023 年末までに、チームは ZK チップ設計の発展方向を大まかに決定しました。以前は特定の重要なモジュールに対して加速を行っていましたが、昨年末には ZKVM に基づく ZK チップ設計の方向性を決定しました。これにより、私たちのハードウェア製品の形態は非常に柔軟に展開できるようになりました。私たちは二つの製品を持つ予定です：

ZK Air は一般ユーザー向けの製品で、軽量でポータブルな ZK DePIN デバイスです。 サイズは Macbook の充電器に近く、Type-C を介してスマートフォンやコンピュータに接続し、高効率の ZK 証明を実現します。ZK Air は、最高級のコンシューマ向けグラフィックカードが提供できる計算力を超え、10 台の RTX 4090 に匹敵します。

ZK Pro は ZK 証明生成を最大限に加速し、ユーザーにリアルタイムで ZK 証明を計算するために設計された、従来のマイニング機器に似た製品です。 ZK Pro は大規模な ZK プロジェクト、例えば zkRollup や zkML などのシナリオに最適です。性能面では、ZK Pro は Air に対して大幅な向上を得ており、Cysic の公式発表によれば、その計算力は 50 台の NVIDIA RTX 4090 グラフィックカードに匹敵します。

さらに GPU の面では、私たちはすでに相応の汎用コードを開発しており、CPU に対して大幅な向上を実現し、市場にあるオープンソースのソリューションと比較してもほぼ倍の速度を達成しています。ASIC が皆と出会う前に、私たちは GPU などのソリューションを通じて業界により優れた ZK ハードウェア加速サービスを提供することを目指しています。

2024 年の今後、Cysic テストネットは 7 月中旬に立ち上がり、メインネットは第三四半期に立ち上がる予定です。 現在、大部分の開発作業は完了しており、私たちは引き続きストレステストなどの作業を行っています。

さらに、私たちのもう一つの大きな作業の焦点は、ZKVM に基づくハードウェア設計であり、コミュニティに非常に具体的な性能を提供することを目指しています。