GPUのAIの競争は、ゼロ知識の証拠ハードウェアの問題をステージに押し上げています。 サイシックなファウンダーとCEOのレオファンは、ZKは、今日、それは大規模なAIデータセンターと同じチップと競合していることを証明し、そのコストはもはやアルゴリズムの最適化にのみに依存していないが、電卓の供給とハードウェア価格の対象がますます増加していることを証明しました。

コストが上昇し始めます。

ファンによると、現在の圧力はGPUだけでなく、zkVMソフトウェアは、既存のアクセラレータに完全に一致しないため、GPUリソースの一部が完全に利用されていないため、コストの単一のデモンストが増加します。

Cysic は CPU と GPU の間の調整のコストを削減することにより、その Venus 認定エンジンは、底ハードウェアを交換することなく ZisK 0.16.1 よりも 9 パーセント以上でエンドツーエンドの認証時間を増加させました。 システムはポリゴンヘルメスのZisk zkVM拡張に基づいており、複数の独立したハードウェア呼び出しに分割するのではなく、認証プロセス全体を統合された計算マップとして移動しようとしています。

業界内での認証率は、過去2年間で急速に増加しました。 以前は、ZisK が 24 GPU を使用して RTX 4090 ブロックで 7.4 秒で証明書を生成し、リアルタイム証明書を提出できると述べました。 しかし、これらのデータは主に企業の開示からおり、調和したベンチマークの下で独立して検証されていない。

それはより高いしきい値です。

「リアルタイム認証」という用語は、ETA財団がメインネットワークブロックの1セント当たり99パーセント以上で10秒以内に認証される必要があります。 スピードに加えて、コードは完全に開いている必要があります。300 KiB未満であることが認定され、少なくとも128ビットのセキュリティレベルと10キロワット未満のハードウェアコスト、および10キロワット未満の電力消費。

財団はまた、エネルギー消費量は、機器の調達コストよりも独立した認証役員にとってより困難である可能性があることを指摘しました。 時間枠内で行うことができることが証明されている場合でも、電力消費、熱放散、資本投資が高すぎると、より分散型のネットワークをサポートすることは困難です。

リアルタイムのレイヤー1は、コストの圧力が最初に感じられていることを証明するファンの状態です。なぜなら、各ブロックは新しい証拠をタイムリーに生成し、オペレータは十分なハードウェアだけでなく冗長性を必要とします。 ZKロールアップと認証市場は、GPU使用時間制限が運用コストを直接入力し、場合によってはユーザーコストに転送されます。

FPGAとASICを代替として

記事によると、AIのトレーニングと推論は、主に行列計算に依存していますが、ZKは、マルチスケールのマルチプライヤーと数値の変動に関するより大きな信頼性を実証しました。 GPUはそのようなタスクを処理することができますが、この目的のために特別に設計されていません。 これは、ZKプロジェクトがAIチップと競合する一方で、彼らは完全に普遍的なGPU構造を利用しないことを意味します。

英国の財務報告によると、AIインフラは急速に成長しています。 同社のデータセンターの収益は、4月26日の四半期の75.2億ドルで、同じ期間に92パーセント増加しました。 その量、データセンターの計算された収入は60.4億ドルで、同じ期間に77パーセント増加しました。 また、AWS が 1,000,000 の英国の Weida GPU を購入し、その配達が 2027 年まで続行したと報告した。

この背景から、Cisic は GPU だけに依存するのではなく、複数のバックエンドソリューションを開発しています。 Venus のオープンリポジトリには、すでに GPU の最適化、FPGA のアクセラレーションのバックエンドと ASIC の早期実現が含まれています。 ファンは、FPGAとZK ASICへのシフトは、オペレータがAIハードウェアサプライチェーンに依存し、ZK負荷を必要としないGPU機能の支払いを回避していることを証明できるように信じています。

しかし、このルートにはまだ現実的な制約があります。 FPGAは植物から出てきた後、急速な反復性のために適して再プログラムすることができますが、ASICはより少なく適用範囲が広いです、それは固定ZK操作のより高い性能そしてより低いエネルギー消費をもたらすかもしれません。 両面高開発コストと限られた製造コスト。

追加情報:Cysicは、モバイルデバイスがプロクラスターに置くことを可能にするグローバル認証市場の確立を提案しました。 ファンは、パスワード認証自体が、それを生成したかを証明することによって妥当性を変更しないことを示したが、より多くの参加者を開くと、監査や成熟した実装コードなしでエラーのリスクが増加するであろう。