Mina Protocol

Mina Protocol（MINA）は、高度なゼロ知識暗号技術「再帰的zk-SNARKs（Recursive zk-SNARKs）」を採用し、ブロックチェーン全体の検証サイズをわずか約22KB（ツイート数件分）の固定サイズに圧縮した世界最軽量のLayer 1ブロックチェーンです。O(1) Labsによって開発されました。

数千億件の取引が蓄積されてもチェーンサイズが肥大化せず、スマートフォンやWebブラウザからでもネットワーク全体を直接検証・同期できる究極の分散性と分散型合意を実現しています。

また、TypeScriptを用いてゼロ知識アプリケーション「zkApps」を開発できる環境を提供しており、Web2のウェブサイトやプライベートな個人情報（信用スコア、身元情報など）を秘匿したままオンチェーンでスマートコントラクトに検証させる革新的なプライバシー連携が可能です。

ビットコインやイーサリアムなどの従来のブロックチェーンは、取引履歴が増えるにつれてブロックチェーンサイズが数百ギガバイトからテラバイト規模へと肥大化（ステート・ブロート）し、フルノードの運用が高額な専用サーバーを持つ一部の専門業者に集中して分散性が損なわれていました。

Mina Protocolは、すべてのブロック生成において前の状態全体の正当性を暗号証明（zk-SNARKs）に集約することで、チェーンサイズを常に22KBに固定し、誰もがフルノードと同等の検証能力を持てる真の分散型ネットワークを実現します。

Minaは、Ouroboros PraosをベースにしたProof of Stake（PoS）合意形成プロトコルを採用しています。ブロック生成者（Block Producer）が新しいトランザクションをブロックにまとめ、スナークワーカー（Snark Worker）がトランザクションの正当性を証明するzk-SNARK証明を作成します。

「Kimchi」と呼ばれる高度な証明システムにより、証明の中に証明を入れ子にする「再帰的合成」を行い、ジェネシスブロックから最新ブロックまでの全履歴を1つの小さな証明に凝縮します。MINAトークンはステーキングやSNARKマーケットプレイスでの証明購入費用として流通します。