AIの証明：自分が動かす開発者へ支払うオープンソースのクラウド

あらゆる「分散 AI」の売り文句の下には、二つの難しい問題がある。大半のプロジェクトは両方を手で払う。

一つ目。自分で計算していない結果を、どう信頼するのか。 遠い機械が「モデルは X を出した」と言うとき、安い別モデルでも、ごみでも、キャッシュされた嘘でもなく、本当にそのモデルを走らせたと、どう知るのか。

二つ目は静かで、私たちの考えではより重要だ。AI スタックの全体が、ほとんど誰も対価を払わないオープンソースの上に建っている。 推論サーバ、トークナイザ、ベクトル索引、暗号ライブラリ。書いた人たちは、自分のコードが生む収益を見ない。

AI の証明（PoAI）が、一つ目への答えだ。支払いの約束が、二つ目への答えだ。この記事は、今日生きているもの、配線済みで眠っているもの、まだロードマップのものを、正直に書き分ける。どれがどれかを明示する。要点の全体が検証可能性だからだ。

AI の証明が実際に証明すること

AI の計算は検証が悪名高く難しい。浮動小数点の数学が非決定的だからだ。同じモデル、同じ入力、同じ GPU でも、演算順とスケジューリングでわずかに違う数が出る。計算するたびに変わる数の上に、合意は置けない。

PoAI は、回り道で証明する代わりに、非決定性を取り除く。

1. 整数だけの推論。 重みと活性化は int8 へ量子化する。累積は int32、スケーリングは算術右シフト、出力は飽和し、超越関数は凍結した参照表だ。exp() も rsqrt() も使わない。結果は CPU、Metal、CUDA、AMD の上でビット単位で同一の順方向パスになる。
2. 信頼ではなく再計算。 整数トランスフォーマは EVM のプリコンパイルとして露出する。信頼モデルは存在するなかで最も単純だ。すべての検証者が、ブロック実行のあいだ同一の計算をやり直す。 自分の出力が他のすべての機械の出すものと一致しなければ、ブロックは拒否される。委員会もない、特別なハードウェアもない、偽造する証明もない。

これが、研究が最初に AI の証明：検証可能な計算を合意のプリミティブとして（ZIP-002）で述べた PoAI の変種で、いまコードとして出荷されている。

この部分は動いている

要石は決定的な int8 の行列積、gemm_i8 だ。Go、Rust、C++ でバイト単位に同一に実装し、GPU カーネル（Metal、CUDA、HIP）は同じ既知回答テストを通る。Go の実装はアドレス 0x0300...0003 の登録済み EVM プリコンパイルで、Lux、Zoo、Hanzo の EVM がブランクインポートする。だから三つのチェーンで同じ決定的推論の経路を共有する。黄金のトークン列が、すべての言語をまたぐテストとして断言される。

prompt  1 7 13 2  →  4 28 21 17 2 19 43 35 36 15

そのベクトルが二台の機械のあいだで一度でも違えば、CI は赤になる。実践における「検証可能」とはこれだ。

この部分は正直なロードマップだ

• モデルの大きさ。 オンチェーンのプリコンパイルが今日走らせるのは、小さな参照トランスフォーマだ。本番モデル（Qwen3-0.6B / zen-nano）の移植は仕様化され、進行中だ。フロンティアモデルをすべての検証者で再計算することが目標ではない。小さな検証可能なモデルと、大きなモデルの抜き取り検証が目標だ。
• 暗号学的証明。 zkML 証明と機密（TEE）実行は設計済みで、後のリリースのためにスタブしてある。今日の保証はやり直せる決定性だ。本物の保証だが、簡潔な証明ではない。
• ハードウェア証明。 オンチェーンで再計算するには大きすぎるモデルでは、信頼の錨はハードウェア証明だ。AMD SEV-SNP の証明はスタックの端から端まで実装してある（AMD の鍵サービスに対する証明書連鎖の完全な検証）。Intel TDX と NVIDIA GPU の機密計算は骨組みだけで、終わっていない。

「zk 検証済み AI」と書いたスライドを出すより、これを伝える方を選ぶ。

オープンソースへの支払い：設計としての 25%

約束はこれで、ブログ記事だけでなくコードの中にある。帰属できるクラウド収益の 75% はプラットフォームに残る。25% は、クラウドが実際に走らせたパッケージのオープンソース開発者のためにプールする。

帰属は端から端までこう働く。

段階	何が起きるか
構築	ビルドシステムが作るすべてのイメージはソフトウェア部品表を得る（syft → CycloneDX）。出荷したものの依存グラフそのものだ。
帰属	git blame エンジンが各依存を著者へ、行ごとに対応づけ、著者ごとの貢献割合を出す。
計測	クラウドは請求のために組織ごとの利用をすでに計測している。その利用が費用の基礎だ。
分割	利用は依存グラフへ、貢献で重みづけて配分され、帰属できる額の 25% が貢献者のために留保される。
支払い	貢献者へ支払う。最初は期限のない Hanzo クレジットで。暗号資産と法定通貨のレールは続く。

状態は正確に言う。SBOM 生成器、帰属エンジン、25% の分割、計測、支払いモデルは今日すべてコードの中にある。いま配線しているのは結合組織だ。SBOM の取り込みをオンにし、支払いの実行をスケジュールし、任意の受取人へすでに払えるレールへ実額を通す。最初の支払いは、参照実装として、Hanzo Cloud 自身が依存して動くものへ行く。

リポジトリを繋ぎ、支払いを受ける

終状態はセルフサービスだ。GitHub リポジトリを接続し、所有者であることを確かめ、受け取り方を選び、Hanzo Cloud が自分のソフトウェアに依存するソフトウェアを走らせるたびに分け前を受け取る。 その導入の流れが、次に作っている部分だ。着地したとき、それはこの記事の題の文字どおりの主題になる。そして自分の収益を、それを生んだ SBOM に照らして確かめられる。

ノードを動かし、クラウドを分かち合う

ノード運用者。 Hanzo Node は、機械が暗号学的な身元で登録し、できることを広告し、ピアツーピア網で仕事を受け、ステーブルコイン決済（x402）で報酬を得ることを許す。その輪は、エージェントとツールの仕事については今日すでに実在する。ハードウェアで計測され証明された計算市場、つまり TEE 証明の下で GPU 時間を売りチェーン上で決済するところは、方向だ。上の証明と決済のプリミティブの上に建てるのであって、それらの周りの近道ではない。

紹介と共有。 開発者や組織を紹介すれば、双方がクレジットを得る。アフィリエイトは紹介した支出の段階的な分け前を得る。これは今日、請求システムの中で生きていて、不正でゲートされ、試験済みだ。オープンソースへの支払いが載る、同じ収益分配の機構だ。

なぜこれが重要か

結果を証明できない AI クラウドは、盲目の信頼を求めている。オープンソースから利益を得て返さない AI クラウドは、持続しない。AI の証明は一つ目を、使えるなかで最も退屈で最も頑健な機構、決定的な再計算で扱う。25% の支払いは二つ目を、コードへ書いた数字で扱う。

正直な成績表。検証可能な推論の核は出荷され試験済みだ。支払いのパイプラインは組まれ、スイッチを入れているところだ。証明、大きなモデルの移植、セルフサービスの正面玄関は、実体のある基礎の上のロードマップだ。

実在するものを出し続け、実在しないものにはラベルを付ける。それが「AI の証明」に意味を持たせる唯一の方法だ。

---

Hanzo AI は Techstars '17 だ。この記事の背後にある技術監査、すべての主張をファイルと行へ対応づけたものは、内部で維持され、構築計画を駆動する。