Mina（ミナ）とは

Minaが問題としたのは、ブロックチェーンの検証コストです。ビットコインやイーサリアムを自分で完全に検証しようとすると、数百ギガバイトの履歴をダウンロードして順に処理する必要があります。結果として、多くの利用者は他者が運用するノードの応答を信用することになります。

Minaの解決策は、証明を再帰的に重ねることです。新しいブロックを処理するたびに「直前までの証明が正しく、かつ今回の遷移も正しい」ことを示す新しい証明を生成し、古い証明を置き換えます。これにより、検証に必要なのは最新の証明だけになり、データ量はチェーンが伸びても増えません。

アプリケーションはzkAppと呼ばれます。計算をチェーン外で実行し、その結果が正しいという証明だけをチェーンに提出する構成のため、入力そのものを公開せずに条件を満たしたことだけを示す用途と相性があります。開発にはo1jsというTypeScript向けのライブラリが使われます。

運用面では、ブロックを生成するプロデューサーと、証明の生成を担うスノーカーという役割が分かれています。証明の生成には計算資源が必要なため、その作業を市場として切り出すという設計になっています。ステーキングは委任が可能で、保有者は自分で運用しなくても参加できます。