TinyZKP

TinyZKP

TinyZKP は、Plonky3 向けの MIT ライセンスのリソース制約付き証明バックエンドです。目指すことはシンプルです。グローバル変換が必要な場合には、決定論的な SSD スクラッチ領域を使用し、明示的な RAM 上限のもとで、証明チームがより大きな STARK トレースを処理できるようにしながら、公式の Plonky3 証明形式と変更されていない検証器を維持します。

リリースの承認権限： MIT Community のソースは公開されていますが、本番エンジンのバイナリがサポート対象となるのは、自動リリースエビデンスが合格した場合に限られます。TinyZKP は、ホスト型の証明、ホスト型の検証、顧客アカウント、使用量計測、MCP コマースを運営していません。Guard アーティファクトとチェックアウトは、エビデンスから生成される release/guard-launch-state-v2.json によって、それぞれ独立してフェイルクローズになります。このファイルは release/guard-launch-evidence-v2.json から生成され、保護された署名およびローンチの信頼性に照らして検証されます。現在の利用可否は、生成されたこれらの契約を確認してください。README の文章から推測しないでください。

製品の範囲

TinyZKP は、新たな本番用トランスクリプト、検証器、証明形式、セキュリティプロファイルを導入しません。本番パスは Plonky3 0.6.1 と、アップストリームの Goldilocks/Poseidon2 p3-uni-stark サンプル構成に固定されており、tinyzkp-p3-goldilocks-v1 として凍結されています。

差別化要因となるのは、証明者側のインフラストラクチャです。

• RAM、スクラッチ領域、スレッド、チェックポイント保持のリソースポリシー；
• チェックサム付きの所有者専用マトリックスストアと、ブロック単位で読み取り可能なマトリックスアクセス；
• 決定論的なスクラッチバック型 Plonky3 DFT アダプター；
• Fibonacci および Goldilocks Poseidon2 の参照 AIR に対する、公式 Plonky3 証明の生成と検証；
• 共有の tinyzkp-contracts Rust 権威から生成された、Guard 向けの凍結済み契約 12 件と、証明エンジンの契約；
• 新しいプロセスの作成から検証までを対象とする、Linux cgroup-v2 による計測；
• リリースの来歴、互換性の固定、フェイルクローズの公開ゲート。

リソース制約付きのパイプラインはローカルに実装されています。トレースと商生成、4 ステップ変換、MMCS、オープニング、FRI では、永続的なリソース制約付きストアを使用し、型付きチェックポイントによって公式チャレンジャーの状態を保持することで、バイト単位で同一の再開を可能にします。Plonky3 0.6.1 は、汎用 DFT トレイトに所有権を持つ RowMajorMatrix を引き続き渡します。そのため、TinyZKP のリソース制約付きオーケストレーションでは、別個のブロックマトリックスエントリーポイントを使用します。正確なリリースについて、自動検証、決定性、固定ホストでのリソース、復旧、ファジング、来歴、SBOM、署名、CLI、OCI の各チェックに合格し、所有者が管理する Guard のローンチゲートがそのアーティファクトを公開するまでは、実装は本番前の状態です。独立レビューとデザインパートナーの成果は、引き続き参考情報として公開されます。

スタンドアロンの TinyZKP プロトコル、レガシーのレシート、ホスト型サービス、再帰、zkML、zkVM、IPA、Spartan、KZG、ロールアップのプロトタイプは、研究用途に限られます。レガシー CLI へのアクセスには明示的な legacy-research 機能が必要であり、公開エンジンコンテナーやデフォルトの CI パスにはコンパイルされません。

リポジトリの構成

パス	用途
crates/tinyzkp-contracts	エンジンと Guard が共有する、凍結された公開 JSON コントラクト、理由の語彙、スキーマ、リソースの算術処理
crates/hc-stream	リソースポリシー、ブロック行列、行列ストア、事前チェック、チェックポイントのコントラクト
crates/hc-plonky3	固定された Plonky3 設定、ワークロード、DFT アダプター、公式の証明者／検証者、アーティファクトのコントラクト
crates/hc-cli	本番向け Plonky3 CLI とベンチマークワーカー
scripts/benchmark	cgroup-v2 ベンチマークのオーケストレーションとレポートツール
release	依存関係の互換性と必須のリリースゲート証跡
site	Guard の製品情報、互換性、証跡、ドキュメント、法的ステータスを掲載する静的サイト
docs/recovery	アーキテクチャ、提供、リリース、運用に関するドキュメント

サーバー、MCP、課金、SDK、ホスト型ベータのソースは、義務の棚卸し、最終エクスポートの検証、代替となるライブスモークテスト、承認済みの廃止が完了するまで、一時的にこのブランチに残ります。これらのワークフローは無効化されており、バイナリは有効なリリースおよびデプロイ用のペイロードから除外されています。archive/hosted-beta-2026-07-17 タグは過去のスナップショットを保持するものであり、残りのソースや外部インフラがすでに削除されたことを示す証拠ではありません。

ビルドとテスト

Plonky3 0.6.1 が古いツールチェーンでは利用できない API を使用するため、Rust 1.95.0 を固定しています。Plonky3 とアーティファクトのシリアライズに関する依存関係はワークスペースで厳密に固定し、release/plonky3-compatibility-v1.json に照らして検証しています。

cargo test --locked -p hc-stream -p hc-plonky3 -p hc-cli
cargo clippy --locked -p hc-stream -p hc-plonky3 -p hc-cli \
  --all-targets -- -D warnings
python3 scripts/ci/guard_launch_gate.py --check

ホスト型 API／MCP／課金のローンチ監査は廃止されており、Guard を承認することはできません。代わりに、署名済みエンジン候補、Guard 候補、静的サイト、OCI ID が Guard の証跡および共同昇格制御を通過する必要があります。

CLI

Rust の信頼できる情報源から、凍結された Guard 向け API スキーマ 12 個、スタンドアロンの互換性プロファイルスキーマ、証明エンジンのスキーマを生成します。

cargo run --locked -p hc-cli -- schema --output-dir /tmp/tinyzkp-schemas

インストールされる本番向け実行ファイルは tinyzkp-engine です。hc-cli は Cargo パッケージ名および開発用バイナリ名です。証明を行う前に、JobManifestV1 を設定して互換性ドクターを実行してください。

tinyzkp-engine doctor --job job.json

宣言型 AIR 証明パスでは、呼び出し元が所有する厳密なチェックポイントディレクトリを使用します。

tinyzkp-engine plonky3 prove-air \
  --air <air-package-v1.json> \
  --trace-manifest <trace-manifest-v1.json> \
  --chunks-dir <trace-chunks> \
  --public-inputs <public-inputs-v1.json> \
  --policy <resource-policy-v1.json> \
  --checkpoint-dir <job-directory/checkpoint> \
  --output <air-proof-bundle-v1.json>

tinyzkp-engine plonky3 inspect-checkpoint \
  --checkpoint <job-directory/checkpoint/checkpoint.json> \
  --air <air-package-v1.json> \
  --trace-manifest <trace-manifest-v1.json> \
  --chunks-dir <trace-chunks> \
  --public-inputs <public-inputs-v1.json> \
  --policy <resource-policy-v1.json>

tinyzkp-engine plonky3 resume-air \
  --air <air-package-v1.json> \
  --trace-manifest <trace-manifest-v1.json> \
  --chunks-dir <trace-chunks> \
  --public-inputs <public-inputs-v1.json> \
  --checkpoint <job-directory/checkpoint/checkpoint.json> \
  --output <air-proof-bundle-v1.json>

tinyzkp-engine plonky3 verify-air --bundle <air-proof-bundle-v1.json>

inspect-checkpoint はジョブの状態を変更せずに、同じ ID と永続化アーティファクトのチェックを実行します。続いて resume-air は、すべてのチェックポイント ID と永続化アーティファクトを検証し、アップロードされた宣言型ワークロードを再構築して、公式のチャレンジャー状態を復元し、最後に完了したフェーズから処理を続行します。厳密なリリース条件でのクラッシュ／再開テストでは、生成される証明バイト列が、中断なしで実行した場合と完全に一致する必要があります。

汎用の prove コマンドと verify コマンドは、移行案内を返します。過去の再現は、オフラインの研究用ビルドでのみ利用できます。

cargo run -p hc-cli --features legacy-research -- legacy-research --help

インストール済みの tinyzkp-engine release コマンドは、公開前にエンジンバイナリ、OCI イメージ、互換性プロファイル、ベンチマークの来歴を照合するための JSON を出力します。ソース開発用チェックアウトでは、同等の内部コマンドとして cargo run --locked -p hc-cli -- release を使用します。

ベンチマークの完全性

リリース測定は、cgroup v2 の Linux 上で、ベースラインと候補をそれぞれ新しいプロセスで起動して実施する必要があります。レポートには、ハードウェア、OS、ストレージ、リリース SHA、依存関係プロファイル、実行コマンド、CPU 秒数、プロセス全体のピークメモリ、スクラッチ領域の最大使用量、ブロック I/O、証明サイズ、検証時間、検証結果を記載します。

cargo build --release -p hc-cli
sudo python3 scripts/benchmark/run_plonky3_cgroup.py \
  --manifest examples/plonky3/fibonacci-small.json \
  --report /tmp/fibonacci-bounded.json

macOS での測定とコンポーネント単体のテストは開発には役立ちますが、リリースの証拠としては認められません。TinyZKP は、コンポーネントのベンチマークから完全な証明生成のメモリ使用量、スループット、コスト、容量を推測することはありません。

リリース目標は、オーナーが署名した自動テストスイートによって以下が証明されるまで、引き続きブロックされます。

• 100 万行：ピーク RAM を少なくとも 4 倍削減し、ベースラインの実行時間の 3 倍以内に収め、設定された上限を 10％以上超えないこと。
• 16,777,216 行：プロセス全体のピークメモリが 2 GiB 以下であること、公式検証に成功すること、スクラッチ領域の使用量が事前チェックの 10％以内であること。
• 決定論的なクラッシュ復旧、パーサー／リソースのファジング、署名付きアーティファクト、SBOM、チェックサム、来歴情報、CLI／OCI のスモークテスト、リリース ID の一致。 独立した再現、外部レビュー、外部ワークロードは、透明性のある not_completed の助言項目であり、チェックアウトを許可するものではありません。

セルフホスト時の動作

公開される製品は、ローカルバイナリと顧客が運用する OCI イメージです。ジョブ API、アカウントデータベース、キュー、ワーカーフリート、証明ストレージ、使用量メーター、実行時の TinyZKP 依存関係はありません。顧客の証人データ、スクラッチデータ、証明は、顧客が管理するストレージに留まります。

別個の商用 Guard スーパーバイザーは、販売者記録を通じて署名済みリリースを有効化できます。有効化後の doctor、run、resume、policy、verify の各操作はオフラインで実行されます。解約すると今後のリリースは有効化されなくなりますが、すでに有効化されたリリースは無効になりません。

商用モデル

証明に不可欠なソフトウェアは引き続きMITライセンスです。TinyZKPが販売を予定しているのは、顧客が運用する1つの製品です。

• コミュニティ版：無料のMITエンジン、検証器、スキーマ、doctor、リファレンスワークロード、および公開エビデンス。
• TinyZKP Guard：1つの法人組織内での使用を対象に、月額499ドルまたは年額4,990ドル。自動モード選択、リカバリー監視、CIポリシー、署名付き適格性確認、および新リリースへのアクセスが含まれます。

Guardの無料トライアル、使用量の計測、Enterpriseティア、Fleet/OEMプラン、ホスト型コンピューティング、カスタムAIR作業、SLA、オンボーディングの電話、またはエンジニアリングの提供はありません。無料のエンジンとdoctorが評価手段です。技術、法務、決済事業者、外部ワークロード、支援なしでのインストール、および初回顧客に関するゲートのエビデンスが揃うまで、一般向けの購入手続きは無効のままです。

サポート対象の互換性プロファイルは固定されています。別のプロファイルを検討する場合は、docs/validation/PROFILE_EXPANSION_DEMAND_GATE.mdに記載された、ローカルで集計のみを行う需要ゲートを通じて、四半期ごとの適格性確認期間に限り検討できます。この需要しきい値を満たしても、候補がサポート対象になるわけではありません。

機械可読な商用情報のソースはsite/pricing.jsonです。商用ローンチの状態は、レビュー済みのV2エビデンスからscripts/ci/guard_launch_gate.pyによって生成されます。派生した状態ファイルを手動で編集してローンチを承認することはできません。運用管理についてはBUSINESS_GUIDE.mdを、現在のギャップ一覧についてはdocs/recovery/implementation-status.mdを参照してください。運用担当者は、docs/runbooks/release_provenance.md、docs/validation/FOUNDING_VALIDATION_PROTOCOL.md、およびdocs/runbooks/guard_commerce_setup.mdに従う必要があります。任意の弁護士向けインテーク情報はdocs/governance/GUARD_COUNSEL_PACKET.mdにまとめられています。このパケットは助言を目的とするもので、ローンチの承認権限として必須ではありません。正確な販売者情報および文書ダイジェストに対するLN Holdingsの所有者承認が、機械判定される法務ゲートです。

セキュリティと開示

シークレット、証人データ、顧客の入力データ、決済プロバイダーの認証情報、秘密鍵、または本番環境ファイルをコミットしないでください。一時成果物は所有者のみがアクセス可能な状態にする必要があり、再度開く際には信頼できないものとして扱ってください。再開する前に、マニフェスト、チャンク、リリースの識別情報、依存関係ロック、ワークロード、入力、およびポリシーをすべて検証する必要があります。

セキュリティ上の問題は、tinyzkp.com/securityからリンクされている非公開の窓口を通じて報告してください。パフォーマンスおよびセキュリティに関する主張には、再現可能なエビデンスが必要です。リリース前のソースコードは、本番環境向けの認証ではありません。

ライセンス

このリポジトリと公開エンジンのコードはMITライセンスです。TinyZKP Guardは、別個の商用ライセンスで提供される監督ソフトウェアです。Guardは、公開されたファイルおよびCLIの契約に従って公開エンジンを呼び出す必要があります。証明のセマンティクスをフォークしたり、証明に不可欠な動作を商用ライセンスの適用対象にしたりすることはできません。