Mina は、グローバルな決済システムを目指す「軽量」のスマート コントラクト プラットフォームです。ブロックチェーンの検証コストが総トランザクション スループットに比例して増大する、既存のブロックチェーンに存在するスケーラビリティの問題を解決します。このような場合、ネットワーク ノードを実行するコストは、現実世界のほとんどのユーザーが利用できるリソースを超える可能性があります。

Mina の目標は、外部情報に依存することなく、ジェネシスからシステムの履歴を効率的に検証できる分散型決済システムを設計することです。これは、次のプロパティによって実現されます。

• 「簡潔なブロックチェーン」の概念。
• ジェネリック関数は、段階的に計算可能な SNARK を使用して複製されたステート マシンとしてモデル化されます。
• ミナと呼ばれる支払いシステムの具体的な実装。
• Ouroboros Samasika は、アダプティブ セキュリティとジェネシスからのブートストラップを備えた、証明可能な安全な PoS コンセンサス プロトコルです。
• 状態は並行してスキャンされ、証明の構築によって課される制限を超えてトランザクションの確認時間を改善します。
• パブリック コミュニティが関与するプロトコルのパフォーマンス評価レポートを実行します。

通常、ブロックチェーンが拡大するにつれて、ブロックチェーン上のデータの検証はますます面倒になり、バリデーターの集中化につながります。ミナは、チームが簡潔なブロックチェーンと呼んでいるものを利用することで、この制限を回避したいと考えています。これには、世界の現在の状態を検証するために一定の時間とデータが必要です (20 KB/10 ミリ秒)。

簡潔なブロックチェーンは、任意の増分で計算された一定サイズのプルーフを使用して、zk-SNARK の再帰的な組み合わせによって実装されます。これは、検証チェーンの複雑さがそのサイズに依存しないことを意味しますが、ユーザーはネットワークに簡単かつ積極的に参加できます。チェーン全体を保持する代わりに、ユーザーは単に SNARK (Succinct Non-Interactive Arguments of Knowledge) を使用して現在の状態を維持し、その存在を証明します。

これにより、Mina は 1 秒あたり数千のトランザクションにスケーリングでき、PoW ブロックチェーンよりも維持に必要なリソースが桁違いに少なくなります。