Contents
導入
Polygon MidenはPolygonフレームワークの革新的な部分であり、zkロールアップに焦点を当て、STARKベースのプルーフを利用してセキュリティとスケーラビリティを強化しています。この記事では、PolygonMidenのさまざまなコンポーネントと開発の過程について説明します。
最初から
Polygon Midenは、zkスペースに多大な貢献をしたBobbin Threadbareのリーダーシップの下で開発されました。彼の旅は2019年のGenSTARKの開発から始まり、続いてPolygon Midenの基礎コンポーネントであるDistaff VMとWinterfellの作成に続きました。
ポリゴンミデンとは何ですか?
Polygon Midenは、スケーラビリティとセキュリティを目的として設計された汎用のSTARKベースのzkロールアップです。トランザクションを大きなバッチに集約し、バッチ全体を検証するためのSTARK証明を生成し、効率性と手数料の削減を保証します。
zk-ロールアップの説明
zk-rollupsは、数千のトランザクションを1つのバッチにバンドルし、一緒に実行します。これにより、個々の取引手数料が削減され、基盤となるL1チェーン（この場合はイーサリアム）からセキュリティが得られます。
STARKベースのzkロールアップ
STARK（ScalableTransparent Argument ofKnowledge）証明には、量子耐性や信頼できるセットアップが不要であるなど、SNARK（SuccinctNon-InteractiveArgument ofKnowledge）に比べて大きな利点があります。ただし、STARKはプルーフサイズが大きいため、より多くのガスが必要になります。
汎用zkロールアップ
Polygon Midenは、さまざまなタイプのロジックとトランザクションを処理できる汎用のzkロールアップです。zkVM（ゼロ知識仮想マシン）を採用し、さまざまなプログラムを効率的に実行および検証します。
MidenVMのハイライト
- 開発者に優しい:開発者は、暗号化やZKプルーフに関する深い知識がなくてもスマートコントラクトを実行できます。
- 多言語サポート:Solidityを優先して、複数のプログラミング言語をサポートします。
- 安全性を重視した設計:イーサリアム仮想マシン（EVM）よりも安全であることを目指しています。
- プライバシー重視:将来の計画には、再帰的STARKの実装後にプライバシー機能を追加することが含まれます。
ポリゴンミデンアーキテクチャ
- トランザクションはMidenオペレーターに送信されます。
- オペレーターは5,000のトランザクションを1つのブロックにバンドルし、STARKプルーフを生成します。
- 200ブロックが集約され、すべてのトランザクションに対して単一のSTARKプルーフが作成されます。
- STARKプルーフはファイナリティのためにL1イーサリアムに送信されます。
ロードマップ
Midenv0.1は12月にリリースされ、今後のバージョンで追加機能を構築する予定です。メインネットのローンチは2023年第1四半期に予定されています。
結論
Polygon Midenは、セキュリティとスケーラビリティを強化するためにSTARKプルーフを利用する、zk-rollupテクノロジーの大幅な進歩を表しています。ユーザーフレンドリーなデザインとプライバシー機能の将来の計画により、開発者とユーザーの両方にとって有望なプラットフォームとなっています。
- この記事では、PolygonMiden、その開発、および主要な機能の詳細な概要を提供します。
- 明確な見出しと箇条書きにより、読みやすさとSEOが向上します。
- コンテンツでは複雑な用語や概念を分かりやすい方法で説明しており、初心者と専門家の両方にとって有益であることが保証されています。
– –