ゼロ知識アプリケーション向けのAleoネットワークを稼働させる、分散型OSおよびノードソフトウェア。
o1-labs/o1js
ブラウザやNode、Mina Protocol向けに、ゼロ知識回路とzkAppsを記述し、証明を生成・検証するためのTypeScriptフレームワーク。
- スター
- 605
- フォーク
- 172
- 未解決の Issue
- 254
- 最終コミット
- 一昨日
これは何?
o1jsは、ゼロ知識(zk)暗号を使ったアプリケーションを構築するためのTypeScriptフレームワークです。開発者はzk回路を記述し、ブラウザまたはNode環境で証明を生成・検証できます。
また、o1jsで構築したzkAppsの主な実行先であるMina Protocolで検証される証明の生成にも対応しています。新しいプロジェクトを始めるためのスキャフォールディングツール、zkApp CLIも利用できます。
o1jsはnpmで公開されており、変更履歴とドキュメントサイトとともにメンテナンスされています。コミュニティ製の拡張パッケージも複数あり、準同型暗号、EdDSA演算、zk正規表現のコンパイルなどを扱っています。
主な機能
- 01TypeScriptでzk回路を記述できます。
- 02ブラウザまたはNode.jsでゼロ知識証明を生成・検証できます。
- 03Mina Protocol上で動作するzkAppsを構築できます。
- 04zkApp CLIで新しいプロジェクトをスキャフォールディングできます。
- 05npmで公開されており、コミュニティ製の拡張パッケージも利用できます。
ユースケース
- 入力を明かさずに主張を証明する、プライバシー保護アプリケーションの構築。
- Mina Protocol向けzkAppsの開発。
- JavaScriptまたはTypeScriptのツールチェーンでzk回路を直接プロトタイピング。
クイックスタート
- 1
npm から o1js をインストールする
npm install o1js - 2
zkApp CLI で新しいプロジェクトのひな形を作成する
使う前に知っておきたいこと
- ブラウザー、Node、または Mina Protocol 向けの zk 回路を対象としているため、ゼロ知識アプリケーションに特化しています。
トピック
よくある質問
- o1js とは?
- ブラウザやNode、Mina Protocol向けに、ゼロ知識回路とzkAppsを記述し、証明を生成・検証するためのTypeScriptフレームワーク。 o1jsは、ゼロ知識(zk)暗号を使ったアプリケーションを構築するためのTypeScriptフレームワークです。開発者はzk回路を記述し、ブラウザまたはNode環境で証明を生成・検証できます。
- o1js は無料で使えますか?ライセンスは?
- o1js は Apache-2.0 ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。
- o1js は今もメンテナンスされていますか?
- 活発にメンテナンス中。o1js の最終コミットは 2026年11月5日 です。
- o1js は何に使えますか?
- 入力を明かさずに主張を証明する、プライバシー保護アプリケーションの構築。 Mina Protocol向けzkAppsの開発。 JavaScriptまたはTypeScriptのツールチェーンでzk回路を直接プロトタイピング。
- o1js のインストール方法は?
- npm から o1js をインストールする: npm install o1js zkApp CLI で新しいプロジェクトのひな形を作成する
- o1js はどこで入手できますか?
- ソースコードとインストール手順は GitHub にあります:https://github.com/o1-labs/o1js
概要はプロジェクトの README をもとに AI が生成しています。GitHub の数値は毎日更新されます。
関連プロジェクト
Rustやその他のLLVMコンパイル対象言語で書かれたプログラムの正しい実行を証明する、ゼロ知識仮想マシンです。
投票者がゼロ知識証明でメンバーシップを証明し、投票内容を匿名に保てる、Cardano上のプライバシー保護型オンチェーン投票アプリです。
circom回路向けに、Groth16、PLONK、FFLONKのzkSNARK証明を生成・検証するJavaScriptおよびWebAssemblyライブラリ。
M31体上のCircle STARKの証明・検証を行うRust実装。no_std検証器とSIMD証明バックエンドを備えています。
Bitcoinプロトコルのリファレンス実装となるフルノード。P2Pネットワークに接続してブロックとトランザクションを検証します。