zkSync セキュリティ: レイヤー 2 スケーリング ソリューションの保護メカニズムの詳細

レイヤ 2 スケーリング ソリューションとして、zkSync はゼロ知識ロールアップ (zk-Rollups) を利用してトランザクション スループットを向上させ、手数料を削減します。

zkSync, a Layer 2 scaling solution for Ethereum, is gaining attention for its potential to resolve the network's scalability problems. As a crypto token, zkSync's security is closely linked to its value and adoption in the market.

イーサリアムのレイヤー 2 スケーリング ソリューションである zkSync は、ネットワークのスケーラビリティの問題を解決する可能性があるとして注目を集めています。暗号トークンとしての zkSync のセキュリティは、その価値と市場での採用に密接に関連しています。

In this article, we will delve into the security aspects of zkSync, exploring its cryptographic proofs, on-chain data availability, decentralized validators, fraud proofs, and the role of zkSync in user interactions.

この記事では、zkSync のセキュリティ面を詳しく掘り下げ、その暗号化証明、オンチェーン データの可用性、分散型バリデータ、不正行為の証明、およびユーザー インタラクションにおける zkSync の役割を探ります。

Understanding these aspects will provide valuable insights for both developers and users who rely on zkSync's capabilities.

これらの側面を理解することで、zkSync の機能を利用する開発者とユーザーの両方に貴重な洞察が得られます。

zkSync leverages zero-knowledge rollups (zk-Rollups) to enhance transaction throughput and reduce fees while maintaining robust security standards. zk-Rollups combine multiple transactions into a single batch, which is then processed off-chain by decentralized validators.

zkSync は、ゼロナレッジ ロールアップ (zk-Rollups) を活用して、堅牢なセキュリティ標準を維持しながらトランザクション スループットを向上させ、手数料を削減します。 zk-Rollups は複数のトランザクションを 1 つのバッチに結合し、分散型バリデーターによってオフチェーンで処理されます。

Once the batch is complete, a cryptographic proof is generated and submitted to the Ethereum mainnet for verification. This approach significantly increases transaction capacity compared to processing each transaction individually on Layer 1.

バッチが完了すると、暗号証明が生成され、検証のためにイーサリアム メインネットに送信されます。このアプローチでは、レイヤー 1 で各トランザクションを個別に処理する場合と比較して、トランザクション容量が大幅に増加します。

At the heart of zkSync's security is the use of zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge). These cryptographic proofs provide a way to efficiently verify the correctness of a transaction batch without revealing any sensitive information, such as the individual transactions themselves.

zkSync のセキュリティの中心は、zk-SNARK (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) の使用です。これらの暗号証明は、個々のトランザクション自体などの機密情報を漏らすことなく、トランザクション バッチの正確性を効率的に検証する方法を提供します。

When a batch of transactions is submitted to the Ethereum mainnet, along with a zk-SNARK proof, the proof can be used to demonstrate that all transactions within the batch are valid and untampered without disclosing any details about the transactions themselves.

トランザクションのバッチが zk-SNARK 証明とともにイーサリアム メインネットに送信されると、その証明を使用して、トランザクション自体の詳細を開示することなく、バッチ内のすべてのトランザクションが有効で改ざんされていないことを証明できます。

This ensures the integrity of the transactions while maintaining privacy.

これにより、プライバシーを維持しながらトランザクションの整合性が確保されます。

zkSync ensures data availability by storing critical data on the Ethereum mainnet. While transactions are processed off-chain in batches, the data necessary to reconstruct the state of the zkSync rollup is available on-chain.

zkSync は、重要なデータを Ethereum メインネットに保存することでデータの可用性を確保します。トランザクションはオフチェーンでバッチ処理されますが、zkSync ロールアップの状態を再構築するために必要なデータはオンチェーンで利用できます。

This approach mitigates the risk of data unavailability attacks, where users could potentially lose access to their funds if the off-chain data becomes inaccessible due to technical issues or malicious intent.

このアプローチにより、技術的な問題や悪意によりオフチェーン データにアクセスできなくなった場合にユーザーが資金にアクセスできなくなる可能性がある、データ利用不能攻撃のリスクが軽減されます。

By storing the essential data on the Ethereum mainnet, even if the zkSync network experiences downtime or disruptions, users' funds and transaction history remain secure and recoverable once the network is back online.

重要なデータをイーサリアムメインネットに保存することで、zkSync ネットワークにダウンタイムや中断が発生した場合でも、ユーザーの資金と取引履歴は安全に保たれ、ネットワークがオンラインに戻った後は回復可能です。

zkSync employs a network of decentralized validators to process and verify transactions. These validators are responsible for generating zk-SNARK proofs and submitting them to the Ethereum mainnet.

zkSync は、分散型バリデーターのネットワークを使用してトランザクションを処理および検証します。これらのバリデーターは、zk-SNARK 証明を生成し、イーサリアム メインネットに送信する責任を負います。

The decentralization of this process ensures that no single entity controls the validation mechanism, reducing the risk of collusion or malicious behavior.

このプロセスの分散化により、単一のエンティティが検証メカニズムを制御することがなくなり、共謀や悪意のある行為のリスクが軽減されます。

Multiple validators independently generate and submit proofs, which are then checked by the Ethereum mainnet. If a faulty or fraudulent proof is detected, the respective validator can be penalized or slashed, while valid proofs are rewarded with transaction fees.

複数のバリデーターが独立してプルーフを生成して送信し、イーサリアムのメインネットによってチェックされます。欠陥のある証明または不正な証明が検出された場合、それぞれのバリデーターはペナルティまたは減額される可能性がありますが、有効な証明には取引手数料が支払われます。

In addition to zk-SNARK proofs, zkSync also incorporates fraud proofs as an extra layer of security. In the event that an invalid transaction is included in a batch, a fraud-proof can be generated to challenge and invalidate the incorrect batch.

zk-SNARK 証明に加えて、zkSync には追加のセキュリティ層として不正証明も組み込まれています。無効なトランザクションがバッチに含まれている場合、不正バッチを異議を申し立てて無効にするための不正防止を生成できます。

This mechanism adds an extra layer of protection against fraud or errors, ensuring that any suspicious or malicious transactions are detected and rectified.

このメカニズムにより、詐欺やエラーに対する保護層が追加され、疑わしいトランザクションや悪意のあるトランザクションが確実に検出され、修正されます。

If an invalid batch is detected by a user or a monitoring entity, they can generate and submit a fraud-proof, which will trigger an investigation by the network validators.

ユーザーまたは監視エンティティによって無効なバッチが検出された場合、不正防止を生成して送信できます。これにより、ネットワーク検証ツールによる調査が開始されます。

Upon verifying the fraud-proof, the respective batch will be reverted, and the fraudulent transactions will be excluded from the zkSync state.

不正防止が検証されると、それぞれのバッチが元に戻され、不正なトランザクションは zkSync 状態から除外されます。

Users interact with zkSync through wallets that support zkSync transactions. These wallets must implement robust security practices to protect users' private keys and funds.

ユーザーは、zkSync トランザクションをサポートするウォレットを通じて zkSync と対話します。これらのウォレットは、ユーザーの秘密鍵と資金を保護するために堅牢なセキュリティ対策を実装する必要があります。

Popular wallets like MetaMask and Trust Wallet are compatible with the solution and provide secure interfaces for users to manage their assets on zkSync.

MetaMask や Trust Wallet などの人気のあるウォレットは、このソリューションと互換性があり、ユーザーが zkSync で資産を管理するための安全なインターフェイスを提供します。

Moreover, the zkSync protocol relies on smart contracts deployed on the Ethereum mainnet. These smart contracts are audited and tested to ensure they are free from vulnerabilities.

さらに、zkSync プロトコルは、イーサリアム メインネットにデプロイされたスマート コントラクトに依存しています。これらのスマート コントラクトは監査およびテストされ、脆弱性がないことが確認されます。

Regular audits by independent security firms help maintain the integrity and security of zkSync's smart contracts, providing users with confidence in the platform's reliability.

独立したセキュリティ会社による定期的な監査は、zkSync のスマート コントラクトの整合性とセキュリティを維持するのに役立ち、ユーザーにプラットフォームの信頼性に対する自信を提供します。

zkSync is designed to be censorship-resistant, meaning that no single party can prevent transactions from being included in a batch. The decentralized nature of the validator network ensures that even if some validators attempt to censor transactions, for instance, by prioritizing specific transactions or delaying the inclusion of others, other validators can continue processing them.

zkSync は検閲に耐えられるように設計されており、トランザクションがバッチに含まれることをいかなる当事者も阻止できないことを意味します。バリデーター ネットワークの分散型の性質により、一部のバリデーターが特定のトランザクションを優先したり、他のトランザクションの包含を遅らせたりしてトランザクションを検閲しようとした場合でも、他のバリデーターがそれらの処理を続行できることが保証されます。

This decentralized structure maintains the system's overall functionality and prevents any single entity from controlling the flow of transactions.

この分散構造により、システム全体の機能が維持され、単一のエンティティがトランザクション フローを制御することがなくなります。

As long as a majority of the validators are acting honestly and efficiently, transactions will be included in batches and submitted to the Ethereum mainnet for verification.

バリデーターの大多数が誠実かつ効率的に動作している限り、トランザクションはバッチに含まれ、検証のためにイーサリアム メインネットに送信されます。

A 51% attack occurs when a malicious entity gains control over the majority of the network's computational power. In the context of zkSync, the decentralized validator network makes it exceedingly difficult for any single entity to achieve such control.

51% 攻撃は、悪意のあるエンティティがネットワークの計算能力の大部分を制御したときに発生します。 zkSync のコンテキストでは、分散型バリデーター ネットワークにより、単一のエンティティがそのような制御を達成することが非常に困難になります。

Moreover, zk-SNARK proofs provide an immutable record of transactions, making it

さらに、zk-SNARK 証明はトランザクションの不変の記録を提供するため、