Foresight Ventures: Cancun 업그레이드가 예정되어 있는데 어떤 L2가 적용되었습니까?

저자: Maggie@Foresight Ventures

TL;DR:

• Cancun 업그레이드는 2024년 3월 13일에 출시될 예정이며 EIP4844는 곧 온라인에 출시될 예정입니다. Danksharding은 이더리움 로드맵의 핵심이며, 이번 업그레이드는 Danksharding을 실현하기 위한 첫 번째 단계입니다.
• 이더리움 L2가 EIP4844에 적응한 후 거래 수수료가 크게 떨어졌고 L2의 TPS는 두 배로 늘어났습니다. 사용자는 거래 속도가 더 빠르고, 비용이 더 저렴하고, 경험이 더 매끄럽고, 반응이 더 즉각적이라고 느낄 것입니다. 이러한 L2에는 더 복잡하고 더 큰 Dapp 애플리케이션이 있을 것입니다.
• Optimistic 롤업은 EIP4844에 적응하기 쉬운 반면, ZK 롤업은 적응하기가 더 복잡합니다. 이더리움에는 BLS12-381 타원 곡선을 지원하기 위한 사전 컴파일된 계약이 없으므로 일부 ZKP 검증이 어렵고 EIP4844에 적응하는 ZK 롤업의 진행이 방해됩니다.
• 타원 곡선 문제는 두 가지 방법으로 해결할 수 있습니다. 1. Ethereum이 BLS12-381 타원 곡선을 사전 컴파일할 때까지 기다립니다. 2. 동일한 목적을 달성하려면 다른 증명 방법을 사용합니다. Ethereum 사전 컴파일은 지원됩니다.
• 현재 Arbitrum, Optimistic, Starknet, zkSync, Scroll, Polygon zkEVM 및 새로운 L2 Morph는 모두 EIP4844에 적응하고 있습니다. 그중 Arbitrum, Optimistic 및 Starknet은 Cancun이 업그레이드 후 EIP4844 적응을 구현할 것이라고 밝혔습니다. Morph는 EIP4844에 적응하는 최초의 zkSNARK zkEVM이 될 혁신적인 zkSNARK zkEVM 적응 솔루션을 출시하는 데 앞장섰습니다.

1. 배경

2020년 이더리움은 "Rollup 중심의 이더리움 로드맵"을 발표했고, 이듬해 Vitalik이 출판한 "Endgame"에 설명된 이더리움의 최종 버전을 사진이 결정합니다. 이더리움의 일반적인 방향: 이더리움의 기본 레이어 구성을 최적화하고 롤업을 제공합니다.

Ethereum은 데이터 가용성 계층으로서의 성능을 향상시키기 위해 Danksharding의 샤딩 기술을 도입했습니다. 이 기술은 L2 거래 수수료를 획기적으로 낮추고, Rollup의 TPS를 높여 이더리움의 대규모 확장을 이룰 것으로 기대됩니다.

올해까지 Ethereum Cancun-Dencun 업그레이드가 마침내 2024년 3월 13일에 출시되었으며, EIP4844가 곧 온라인화될 예정입니다. 이번 하드포크는 Ethereum이 Danksharding을 구현한 최초의 단계라고 할 수 있습니다. 이더리움 로드맵의 핵심입니다. DA 레이어가 무엇인지, Danksharding의 기술 원리, EIP4844의 내용에 대해서는 제가 작년에 쓴 기술 기사인 DA(Data Availability) Summer is Coming?을 참조하세요. https://foresightnews.pro/article/detail/33575

2. 칸쿤 업그레이드가 L2에 어떤 이점을 제공하나요?

EIP4844는 blob-carrying transaction이라는 새로운 트랜잭션 유형을 도입합니다. 각 Blob 전달 트랜잭션은 Blob 목록을 "운반"할 수 있습니다. Blob은 약 125KB의 데이터 패킷입니다. Blob은 18일이 조금 넘는 짧은 기간인 4096 epoch 동안만 저장됩니다.

1. L2 거래 수수료가 대폭 감소했습니다. Blob은 영구 저장소가 필요하지 않으므로 Blob은 블록 공간보다 크고 저렴합니다. Blob은 동일한 가스 소비로 Calldata보다 10배 더 많은 데이터를 저장할 수 있습니다. EIP4844에 적용된 롤업은 거래 데이터를 Blob에 저장할 수 있어 거래 수수료를 대폭 줄일 수 있습니다.
2. L2의 TPS가 2배가 되었습니다. 현재 블록당 대상은 3개의 Blob이며 최대 6개의 Blob이 허용됩니다. 블록은 90KB에 불과하며 각 Blob은 약 125KB입니다. Blob의 도입은 Rollup 데이터를 저장하기 위해 블록의 공간을 여러 배로 확장하는 것과 같으므로 Rollup의 TPS도 두 배로 늘릴 수 있습니다. 그리고 Toni와 Vitalic이 작성한 "On 증가하는 블록 가스 한도"에서는 블록 가스 한도와 0이 아닌 Calldata 바이트의 가격을 높이면 더 적은 변수로 더 작은 블록 크기가 달성되어 더 많은 데이터를 추가할 수 있다고 명시되어 있습니다. 미래. Blob이 많을수록 저장 공간이 커집니다.

최종 사용자의 경우 Ethereum L2가 EIP4844에 적응한 후에는 거래 속도가 더 빨라지고 비용이 낮아지며 경험이 더 원활해지고 응답이 더 빨라질 것입니다. 이러한 L2에는 더 복잡하고 더 큰 Dapp 애플리케이션이 있을 것입니다.

3. L2는 EIP4844에 어떻게 적응하나요?

L2는 EIP4844에 어떻게 적응하나요? 낙관적 롤업과 ZK 롤업을 별도로 논의해야 합니다.

Optimistic Rollups는 EIP4844에 적응합니다

Optimistic Rollup은 사기 방지를 사용하여 롤업 실행 시 정확성을 보장합니다. 노드는 누군가가 지정된 시간 내에 사기 인증서를 제공하지 않는 한 상태 전환이 올바른 것으로 가정합니다. 이는 이전에 제출된 상태 전환이 불법임을 나타내며, 이 경우 상태 전환이 취소됩니다.

ZK Rollup에 비해 Optimistic Rollup은 EIP4844에 적응하기 쉽습니다. 적응을 완료하려면 Blob 전달 트랜잭션을 통해 계층 2 트랜잭션을 계층 1에 제출하기만 하면 됩니다. 또한 EIP4844의 요구 사항을 준수하기 위해 사기 증명을 조정하는 것도 필요하지만 이 부분은 점진적으로 이루어질 수 있습니다. 실제로 많은 Optimistic Rollup 프로젝트는 아직 사기 방지 기능을 출시하지 않았습니다. 사기 증명이 시작되었지만 지난 2년 동안 단 한 건의 사기 증명도 제출되지 않았습니다.

1. L2 트랜잭션 제출: 롤업이 제출되면 Blob 운반 트랜잭션을 사용하여 롤업 데이터를 Blob에 저장합니다. Blob 운반 트랜잭션의 페이로드는 rlp([tx_payload_body, blobs, commitments, proofs])입니다. 여기서

• tx_payload_body-는 표준 EIP-2718 Blob 트랜잭션의 TransactionPayloadBody입니다.
• blobs - Blob 목록입니다. 트랜잭션에는 최대 두 개의 Blob이 포함될 수 있습니다.
• commitments - Blob의 KZG 약속 목록.
• proofs- KZG 약속에 해당하는 Blob 및 증명 목록입니다. 이 증명은 ETH 노드에 의해 검증됩니다.

• 먼저, 증명자와 도전자는 분쟁 지점을 찾기 위해 여러 차례의 상호 작용이 필요합니다.
• 그런 다음 분쟁 지점을 L1에 제출하여 판단합니다. EIP4844에 적응하려면 문제의 데이터가 특정 Blob에 저장되어 있음을 증명해야 할 수도 있습니다.
• Blob 데이터는 약 18일 후에 삭제되므로 챌린지 기간은 삭제되기 전이어야 하며 이는 현재 낙관적 롤업으로 충족됩니다. 일반적으로 챌린지 기간은 7일을 초과하지 않습니다.

ZK 롤업은 EIP4844에 적응합니다.

ZK 롤업은 ZKP를 사용하여 L2 상태 전환이 올바른지 증명합니다. EIP4844에 대한 ZK 롤업 적응은 낙관적 롤업보다 더 복잡합니다.

1. L2 트랜잭션 제출: 낙관적 롤업의 이 단계는 비슷합니다.

2. ZK 증명 제출: 적응 전의 ZK Rollup과 비교하여, ZKP 상태 전이 증명 외에 하나의 증명 과정이 더 필요합니다. 즉, 블롭 커밋과 트랜잭션 배치가 일치함을 증명하여 상태 전이 증명의 입력이 올바른지 확인합니다.

   예를 들어, 상태 전이의 ZK 회로는 계산 프로세스 a + a = b의 증거를 생성할 수 있습니다. (a=1,b=2) 및 (a=2,b=4)가 유효한 경우 생성된 ZKP입니다. 그러므로 그때 내가 제공한 입력이 (a=2,b=4)가 아니라 (a=1,b=2)였다는 증거도 제시해야 합니다.

   데이터가 Calldata에 직접 저장되고 직접 읽을 수 있어 입력이 조정되지 않도록 하기 때문에 EIP4844에 적응하기 전에 이 작업을 수행할 필요가 없습니다. EIP4844를 사용한 후에는 Blob 데이터를 직접 읽을 수 없으며 이는 새로운 회로를 통해서만 입증될 수 있습니다.

   STARK의 ZK 롤업(예: Starknet)을 사용하여 이 증명 메커니즘을 구현하는 것이 더 쉽습니다. 이는 SNARK를 사용하는 ZK 롤업에 대한 문제입니다. EIP4844의 blob 커밋에 사용되는 타원 곡선은 BLS12-381인 반면, ETH 사전 컴파일된 계약은 다른 곡선으로 인해 직접적으로 지원하기 어렵습니다. 스마트 계약에서 Blob 커밋 완료 증명을 확인합니다.

3. SNARK의 zkEVM/zkVM을 사용하면 2번 항목에서 언급한 곡선 불일치로 인해 ZK 증명을 생성할 수 없는 문제를 해결해야 합니다.

• 이더리움이 BLS12-381 사전 컴파일된 계약을 지원하기를 기다리고 있습니다. 이것은 길어질 것입니다.
• 다른 방법으로 증명해 보세요. 새로운 회로를 설계하려면 미리 컴파일된 계약에서 지원하는 BN254 타원 곡선을 사용해야 합니다. 현재 Morph가 이러한 접근 방식을 취하고 있는 것을 볼 수 있습니다. 이는 또한 Morph를 EIP4844 적응을 완료한 최초의 zkEVM으로 만듭니다.

Morph의 EIP-4844 zkEVM 통합 솔루션은 다음을 참조하세요: https://medium.com/@morphlayer2/morphs-solution-to-eip-4844-zkevm-integration-7f469910478f

IV. L2는 EIP4844에 적합합니까?

낙관적 롤업은 EIP4844에 적응하기가 비교적 쉽습니다.

• Arbitrum은 칸쿤 업그레이드에 대한 EIP 변경 사항을 구현하기 위해 3월 14일 Arb OS20 업그레이드를 출시할 예정입니다(기사 링크). Arbitrum은 Stage 1 Rollup에 속합니다. 거래 제출과 사기 증명 모두 EIP4844에 적응해야 하며 보안이 비교적 좋습니다.
• Optimism은 적응(기사 링크)을 완료하기 위해 3월 14일 Ecotone 업그레이드를 출시했습니다. Optimistic 롤업은 0단계 롤업입니다. 현재 사기 증거는 없지만 적응하기는 더 쉽지만 보안이 충분히 높지 않습니다. 적응이 완료되면 Op 생태계의 모든 슈퍼 체인 네트워크도 EIP-4844의 혜택을 받게 됩니다.

ZK 롤업에서는 STRAK과 SNARK를 사용한 롤업 적응의 난이도가 다릅니다.

• STARK 롤업으로 EIP4844를 적용하기가 더 쉬운데, 스타크넷이 대표적인 것 중 하나입니다.
• Starknet은 Cancun이 업그레이드 후 EIP4844 적응을 구현할 것이라는 기사를 게시했습니다(기사 링크).
• zkSync는 Boojum을 통해 업그레이드되어 zkSync가 SNARK에서 STARK 증명으로의 전환을 완료할 수 있게 되었습니다. 이는 EIP4844 업그레이드를 위한 준비이기도 합니다. 부준(Boojun)은 STARK를 기반으로 한 증명 시스템입니다. (기사 링크)
• SNARK의 롤업

위 내용은 Foresight Ventures: Cancun 업그레이드가 예정되어 있는데 어떤 L2가 적용되었습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!