Mina price

MINA

#253

Minaは、ユーザーがジェネシス・ブロックからすぐにプラットフォームのネイティブ検証を行うことができる効率的な分散型決済システムの実現に取り組んでいます。同社の技術白書では、これを「簡潔なブロックチェーン」と呼んでいます。

このプロトコルでは、zk-SNARKs（非対話型ゼロ知識証明）という情報を明かすことなく認証することができる暗号証明を使用しています。しかし、大規模なネットワークでは、ユーザーがプラットフォームをそのジェネシス・ブロックまで遡ることを可能にすることは現実的ではありません。つまり、エンドユーザーはブロックの取引履歴全体ではなく、zk-SNARKで圧縮された証明書を確認することになります。

Minaプロトコルの中核をなすのは、ユーティリティ・コインおよび交換手段として機能するネイティブ通貨「MINA（ミナ）」です。

Minaは、取引の処理方法を除けばBitcoinに似ていますが、Ethereumで採用されているアカウントモデルも採用しています。

この点において、BitcoinとEthereumの違いは、Bitcoinのブロックチェーンの状態が未使用コインの一覧であるのに対し、Ethereumの状態は口座残高で構成されている点です。

一方、Minaは、各ブロックがステートにコミットすることを確認するために、マイナーに相当するプルーバー（スナーカーとも）を使用します。

Minaは、Ouroboros Samasikaを採用しています。Ouroboros Samasikaは、ジェネシスブロックからブートストラップできるため、簡潔な分散型ネットワークに特化したPoSメカニズムの一種なのです。

簡潔なブロックチェーンには、大きく分けて「検証」と「更新」の2つの機能があります。検証機能はコンセンサス、ブロックチェーンのサマリーとブロックに関するものです。更新機能はコンセンサスとチェーンに関するものです。

上記の実装とは別に、プロジェクトでは取引処理速度を最適化するために、未証明ブロックをグループ化し、並列プルーバーに処理を割り当てることで動作するパラレル・スキャン・ステートを採用しています。

Minaは、取引を検証する際に第三者として機能するマイナー/ステーカーやライト・クライアントなどの検証者を抱えている現在のブロックチェーンの状況に革命を起こすことを目的としています。

Minaは、分散型ネットワーク上で特定の機能を担当する複数の参加者を持つという点で異なるアプローチをとっています。

主な役割は、検証者、ブロック生成者、スナーカーの3つです。

• 検証者
• 検証者は、コンセンサス情報の認証を行うzk-SNARKSと対話を行います。Minaプロトコルのユーザーは、22KBのチェーンを処理でき、数ミリ秒の処理時間に耐えられる端末であれば、それぞれ検証者とみなされます。

ブロック生成者は、ステーカーやマイナーという形で、ブロック報酬や取引手数料の支払いを受けることができます。興味深いことに、本プロトコルでは、ブロック生成者に支払われる報酬は削減されません。Minaユーザーは、この参加者層にコインを委ねることができます。

ブロック生成時にこれを行わないと、ブロックが不完全になり、他のノードがその有効性を拒否することになります。取引をブロックにまとめる他、ブロック生成者は以前にコミットした取引と同じ数をスナークする必要があります。

ブロック生成者が10件の取引をチェーン上に組み入れたい場合、列の先頭から取引をスナークしなくてはいけません。ただし、SNARKを生成するか、スナーカーと呼ばれる特別な参加者が生成したものを使用するか選択できます。

スナーカーはプルーバーとも呼ばれ、取引の検証に使用されるzk-SNARKを生成します。

ブロック生成者は、新しいブロックを追加する際に受け取る取引手数料全体からスナーカーに支払います。ただし、手数料を得るためには、入札を行う必要があります。なお、スナーカーのzk-SNARKはブロック内で使用される必要があり、使用するブロック生成者はスナーカーに報酬を与える責任があります。

これにより、複数のスナーカーが同じ取引に関連した入札を行うことができるビジネス・エコノミーが実現します。一方、ブロック生成者は利益を追求するため、手数料の安い入札を選択することになります。その結果、スナーカーは低価格のSNARKを作る動機が発生します。

このプロセスは、ユーザーが取引を開始することから始まり、その後、取引は有効であるものの未確認の取引プールであるmempoolに送られます。

次に、スナーカーが引き継ぎ証明やSNARKを作ります。続いて、取引をブロックに束ねるブロック・プロデューサー（BP）（ブロック生成者）を選定します。注意点は、BPが利益をもたらす取引を発見するため、mempoolをふるいにかける点です。

そして、BPはコンセンサス・メカニズムのルールに従ってSNARKを選択します。

ブロック生成者は、最も安価なSNARKの入札を探していきます。また、直近で追加された取引ではSNARK台帳が更新されています。

次に、SNARKをブロックに組み込み、そのブロックをチェーンに追加し、ネットワークを更新します。スナークされた取引は、プロトコルのサイズを一定に保つためにチェーンから削除されます。

その後、ブロック生成者はプロトコルのzk-SNARKSをアップグレードします。

最後に、新しいブロックはチェーンの一部として不変化します。