Mina Protocolは、DAppsをより効率的に実行するために計算要件を削減するように構築された、最小限の「簡潔なブロックチェーン」です。Minaは、利用が拡大してもそのサイズが一定に保たれるように設計されていることから、世界で最も軽量なブロックチェーンと評されています。また、セキュリティと分散化のバランスも保たれています。このプロジェクトは、2020年10月にCoda ProtocolからMinaにブランドが変更されました。 このプロジェクトについて詳しく知りたい場合は、EulerpoolでのMina Protocolの詳細調査をチェックしてください。 Minaネットワークのサイズはわずか22KBであり、Bitcoinの300GBのブロックチェーンと比較すると非常に小さいです。

Minaは、ユーザーがプラットフォームをジェネシスブロックからネイティブに検証できる効率的な分散型支払いシステムの実現に取り組んでいます。技術的なホワイトペーパーでは、これを「簡潔なブロックチェーン」と呼んでいます。 このプロトコルは、Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge（zk-SNARKs）を使用します。これは、情報を明らかにすることなく、情報を認証することを可能にする暗号学的証明です。しかし、大規模なネットワークでは、ユーザーがプラットフォームをそのジェネシスブロックまでトレースするのは非現実的な場合があります。そこで、Minaは最後の数ブロックのみに集中したSNARKSを段階的に計算します。つまり、エンドユーザーはブロックの全取引履歴ではなく、zk-SNARKで圧縮された証明を確認します。 Minaプロトコルの中心には、そのネイティブ通貨であるMINAがあります。これはユーティリティコインおよび交換手段として機能します。

Minaは、取引処理の方法を除けばビットコインに似ていますが、イーサリアムで使用されているアカウントモデルも採用しています。 この点で、ビットコインとイーサリアムの違いは、ビットコインのブロックチェーンの状態が未使用のコインのリストを含んでいるのに対し、イーサリアムの状態はアカウント残高で構成されていることです。 一方で、Minaは各ブロックが状態にコミットすることを確認するために、マイナーに相当するプルーファー（またはスナーカー）を使用します。 Minaは、厳密な分散型ネットワーク向けに特別に設計されたPoSメカニズムであるOuroboros Samasikaを採用しています。これはジェネシスブロックからのブートストラップを提供するためです。 簡潔なブロックチェーンは、検証と更新という2つの主要な機能を含んでいます。検証はコンセンサス、ブロックチェーンの概要、およびブロックに関与し、更新機能はコンセンサスおよびチェーンの概要と対話します。 上記の実装に加えて、プロジェクトはトランザクション処理速度を最適化するために並列スキャンステートを使用しています。これは、未証明のブロックをグループ化し、プロセスを並列プルーファーに割り当てることによって機能します。

Minaは、現在のブロックチェーン環境を革新することを目的としており、多くのプラットフォームでは、トランザクションを検証する際に第三者として働くマイナーやステークホルダー、ライトクライアントが存在しています。 Minaは、分散型ネットワーク上で特定の機能を担当する複数の参加者を持つことで、異なるアプローチを採用しています。 主に3つの重要な役割があります。これには、ベリファイア、ブロックプロデューサー、スナーカーが含まれます。 * ベリファイア * ベリファイアは、コンセンサス情報を証明するzk-SNARKSとやり取りします。各Minaプロトコルユーザーは、デバイスが22 KBのチェーンを処理でき、数ミリ秒の処理時間に耐えられる場合、ベリファイアと見なされます。 この情報はEulerpoolにて提供されています。

ブロックプロデューサーは、ステーカーまたはマイナーの形をとり、ブロック報酬と取引手数料を受け取ります。興味深いことに、このプロトコルではブロックプロデューサーへのインセンティブ削減は行われません。この参加者のカテゴリにより、Minaのユーザーは自分のコインを彼らに委任することができます。 取引をブロックにまとめることに加えて、ブロックプロデューサーは、ブロック生成中にそれを行わないと不完全なブロックとなり、他のノードがその有効性を拒否することになるため、同数の以前にコミットされた取引をSNARKしなければなりません。 ブロックプロデューサーがチェーンに10の取引を組み込む場合、キューの先頭からの取引をSNARKしなければなりません。しかし、彼らにはSNARKを生成するか、スナーカーと呼ばれる特別な参加者グループによって生成されたものを使用する選択肢があります。 ‍## スナーカー スナーカー、またはプルーバーとしても知られる彼らは、取引の確認に使用されるzk-SNARKを生成します。 ブロックプロデューサーは、新しいブロックを追加するために受け取る全体の取引手数料からスナーカーに支払います。ただし、手数料を受け取る資格を得るためには、入札を投稿する必要があります。スナーカーのzk-SNARKがブロックで使用される必要があり、それを使用するブロックプロデューサーがスナーカーにインセンティブを提供する責任を負います。 これにより、同じ取引に関連する複数のスナーカーが入札を投稿できるビジネス経済が生まれます。一方、ブロックプロデューサーは利益を追求しており、手数料が最も低い入札を選択します。その結果、スナーカーは低コストのSNARKを生成することを求められます。

プロセスは、ユーザーがトランザクションを開始することから始まり、その後、取引は有効だが未確認のトランザクションのプールであるメンプールに移ります。 次に、スナーカーによってSNARKSまたは証明が作成されます。このプロセスは、トランザクションをブロックにまとめるためのブロックプロデューサー（BP）の選択に続きます。BPは利益のあるトランザクションをメンプールから選別することに注意してください。 その後、BPはコンセンサスメカニズムのルールに従ってSNARKを選択します。 ブロックプロデューサーは、最低価格のSNARKの入札を確認することにも注意が必要です。さらに、最近追加されたトランザクションには最新のSNARKS注文書があります。 次に、SNARKSをブロックに組み込み、そのブロックをチェーンに追加し、ネットワークを更新します。スナークされたトランザクションは、プロトコルのサイズを一定に保つためにチェーンから削除されます。 続いて、ブロックプロデューサーはプロトコルのzk-SNARKSをアップグレードします。 最終的に、新しいブロックは不変な形でチェーンの一部となります。