最近イーサリアムレイヤー2の解決策について検討を始めましたが、これはまだ暫定的な理解にすぎませんが、イーサリアム2.0のバージョンアップは仮想通貨市場に激変をもたらす可能性がありますが、個人的には引き続き検討していく必要があると感じています。レイヤ 2 方向、特に Zk -Rollup の暗号化テクノロジ ZK-STARK について、記事の最後でその特徴についても説明します。
側鎖
- サイドチャネルはイーサリアムメインチェーンと並行して実行され、独自のコンセンサスメカニズムを持ち、ブリッジを介してイーサリアムメインネットに接続されます
。 - サイドチェーンには独自のコンセンサスメカニズムがあるため、イーサリアムメインチェーン
からセキュリティを継承しません。
これらのチェーンは通常、イーサリアム メイン チェーンよりもノードが少ないため、セキュリティ レベルが比較的低くなり、NFT レベルなどの低セキュリティの送信に最適であり- サイドチェーンを使用したプロジェクトには、SKALE、Matic、POA Network が含まれます。
サイドチェーンを使用したプロジェクトには、SKALE、Matic、POA Network が含まれます
プラズマ
- Plasma はサイドチェーンの一種と考えることができますが、セキュリティ レベルは高くなります
Plasma はサイドチェーンの一種と考えることができますが、セキュリティ レベルは高くなります - プラズマ チェーンは、単一のハッシュで最近のトランザクションの数を半定期的に取得し、
この時点でイーサリアム メイン チェーンにエクスポートすることでこれを実現します。 - 各メインネットコミットとともに送信される証明は、ブロック内の各 Tx のハッシュの単純な組み合わせであるマークル ツリーから派生した has 関数です。
- プラズマの安全性を高めるセキュリティ メカニズムは、フラウド プルーフと呼ばれます。メインチェーンにコミットされると、プラズマ ブロック内の Tx は最大 7 日間チャレンジ可能です。トランザクション ブロックは最大 7 日間チャレンジ可能です
。
楽観的なロールアップ
- オプティミスティック ロールアップはプラズマと同様のプロセスに従いますが、データの可用性に関して 1 つの重要な違いが
あります。 オプティミスティック ロールアップはプラズマと似ていますが、データの可用性に関して 1 つの重要な違いがあります。
具体的には、 ロールアップ では、バッチがメインチェーンにコミットされるときにトランザクション データがロールアップされます。これにより、不正行為の証拠の監査が簡単かつ迅速になります。ロール スタッキングを実行します。これにより、不正行為の証拠の監査がより簡単かつ迅速になります。
これらは、プラズマと同様に、提示される唯一の証拠がマークル ルートのハッシュであり、ルートのハッシュについてはほとんど分からないため、楽観的- したがって、オプティミスティック ロールアップは、処理時間を短縮するために適度なセキュリティを犠牲にします
。
オプティミスティック ロールアップを中心に構築されているプロジェクトには、Optimism と Fuel Network があります。
ZK ロールアップ
- ZK (またはゼロ ナレッジ) ロールアップは、オプティミスティック ロールアップと同様の概念に従いますが、セキュリティをより重視します。
ZK (またはゼロ ナレッジ) ロールアップは、オプティミスティック ロールアップと同様のコンセプトに従いますが、セキュリティをより重視します。 - メインチェーンにコミットされた各束ねられたトランザクションには、対応する SNARK (またはゼロ知識)
証明が付属します。 - プラズマ ロールアップやオプティミスティック ロールアップとは異なり、SNARK プルーフが生成される
までメインチェーンにコミットされません。 - これにより安全性が高まりますが、SNARK プルーフ生成は計算量が多く、より多くの
ガスを必要とするため、コストも高くなります。 - 高額トランザクションをホストするプラットフォームに最適 (自動資産管理など
) - これに取り組んでいるプロジェクトには、Loopring、Starkware、zkSync などがあります。
以下のコンテンツはEthHubからのものです
まとめ
ZK-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) は、データや計算が第三者に公開されることなく、ユーザーが検証済みのデータを共有したり、第三者と計算を実行したりできるようにする暗号証明テクノロジーの一種で、別名「ZK-STARK」とも呼ばれます。公的に検証可能な方法でのゼロ知識証明。より簡単に言うと、ゼロ知識証明は、正確に何を証明しているのかを明らかにすることなく、何かが真実であることを証明できます。たとえば、ZK-STARK を使用すると、アリスは機密情報をアリスに明かす代わりに、ゼロ知識暗号証明を使用してボブの銀行情報を検証できます。
ZK-STARKs (Zero-Knowledge Scalable Transparency ARguments of Knowledge) は、ユーザーがデータや計算結果を第三者に開示することなく、検証済みのデータを共有したり、第三者と計算を実行したりできるようにする暗号証明技術であり、別名 ZK-STARKs (Zero-Knowledge Scalable Transparency ARguments of Knowledge) とも呼ばれます。ゼロ知識証明であり、その方法は公的に検証可能です。簡単に言えば、ゼロ知識証明は、正確に何を証明するかを明らかにすることなく、何かが真実であることを証明します。たとえば、ZK-STARK を使用すると、アリスは機密情報をアリスに明かす代わりに、ゼロ知識暗号証明を使用してボブの銀行情報を検証できます。
ZK-STARK が作成される前は、ZK-SNARK は ZK 証明システムの作成に使用されていましたが、最初に ZK 証明システムをセットアップするのに信頼できる当事者が必要でした。これにより、システム全体のプライバシーが侵害される信頼できる当事者の脆弱性が導入されました。 ZK-STARK は、信頼できるセットアップの必要性を排除することで、このテクノロジーを改良しています。ZK
-STARK を作成する前は、ZK-SNARK を使用して ZK 証明システムを作成していましたが、最初に ZK 証明システムを確立するには 1 つ以上の信頼できる当事者が必要でした。これらの信頼できる当事者の脆弱性がシステムに導入され、システム全体のプライバシーが侵害されます。ZK-STARK は、信頼できるセットアップの必要性を排除することで、このテクノロジーを改良しています。
STARKを使用するメリット
STARK は、パーミッションレス ブロックチェーンの 2 つの問題、スケーラビリティとプライバシーを改善します。STARK テクノロジーのパイオニアである StarkWare Industries の現在の ZK-STARK 研究では、まずスケーラビリティに焦点を当て、次にプライバシーに焦点を当てています。STARK は、パーミッションレス ブロックチェーンの 2 つの問題、スケーラビリティとプライバシーを改善します。プライバシー
. : スケーラビリティとプライバシー。StarkWare Industries の現在の ZK-STARK 研究は、スケーラビリティを第一に、プライバシーを第二に重視する STARK テクノロジーの前身です。
STARK は、開発者が計算とストレージをオフチェーンに移動できるようにすることでスケーラビリティを向上させます。オフチェーン サービスは、オフチェーン計算の整合性を証明する STARK 証明を生成できるようになります。これらの証明はその後、関係者が検証できるようにチェーン上に戻されます。 STARKs を使用して計算作業の大部分をオフチェーンに移動すると、計算の整合性をトラストレスに維持しながら、既存のブロックチェーン インフラストラクチャを飛躍的に拡張できます。STARKs は、開発者が計算
とストレージをオフチェーンに移動できるようにすることで、スケーラビリティを向上させます。オフチェーン サービスは、オフチェーン計算の整合性を証明する STARK 証明を生成できるようになります。これらの証明は、関係者が計算を検証できるようにオンチェーンに戻されます。STARKs を使用すると、計算作業の多くがオフチェーンに移動され、計算の整合性を確実に維持しながら、既存のブロックチェーン インフラストラクチャを飛躍的に拡張できるようになります。
ZK-SNARKとZK-STARKの違い
ZK-SNARK は信頼できるセットアップ フェーズを必要としますが、ZK-STARK は公的に検証可能なランダム性を使用してトラストレスに検証可能な計算- ZK-STARK は、ZK-SNARK と比較して、計算速度とサイズの点でよりスケーラブルです。ZK-SNARK と比較すると、ZK-
STARK は、ZK-SNARK と比較して、計算速度とサイズの点でよりスケーラブルです。 - ZK-SNARK は、使用する暗号化により、量子コンピュータからの攻撃に対して脆弱です。ZK-STARK は現在、耐量子性を備えています。ZK
-SNARK は、使用する暗号化により、量子コンピュータからの攻撃に対して脆弱です。ZK-STARK は量子耐性を備えています