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는 여러 트랜잭션을 단일 배치로 결합한 다음 분산된 유효성 검사기에 의해 오프체인으로 처리됩니다.

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 증명은 불변의 거래 기록을 제공합니다.