칸쿤 업그레이드가 다가오고 있습니다. 주류 L2는 어떤 적응을 하게 되었나요?

TL;DR:

• 칸쿤 업그레이드는 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 사전 컴파일에서 지원하는 BN254를 사용하여 동일한 목적을 달성하기 위해 다른 증명 방법을 사용합니다.
• 현재 Arbitrum, Optimistic, Starknet, zkSync, Scroll, Polygon zkEVM 및 새로운 L2 Morph는 모두 EIP4844에 적응하고 있습니다. 그중 Arbitrum, Optimistic 및 Starknet은 Cancun이 업그레이드 후 EIP4844 적응을 구현할 것이라고 밝혔습니다. Morph는 EIP4844

에 적용된 최초의 zkSNARK zkEVM 적응 솔루션을 출시하는 데 앞장섰습니다. 1. 배경

2020년 이더리움은 이니셔티브가 미래를 향한 길을 제시하는 롤업을 포함한 로드맵을 발표했습니다. 개발. 이어서 Vitalik은 2년차 'Endgame'에서 이더리움의 최종 비전을 설명하면서 베이스 레이어 구성의 최적화와 롤업 지원 제공을 강조했습니다. 이러한 조치는 이더리움의 향후 발전의 주요 방향을 명확히 하고 블록체인 생태계의 지속적인 성장을 위한 기반을 마련했습니다.

Ethereum은 데이터 가용성 계층으로서의 안정성을 향상시키기 위해 Danksharding 샤딩 기술을 도입했습니다. 이 기술은 L2 거래 수수료를 줄이고, 초당 롤업 거래 수를 늘리며, 이더리움 네트워크 규모를 더욱 확대할 것으로 기대된다.

올해 EIP4844 출시를 앞두고 이더리움 칸쿤-덴쿤 업그레이드가 2024년 3월 13일 드디어 출시되었습니다. 이번 하드포크는 이더리움이 Danksharding을 구현하는 첫 번째 단계로 간주되며 이더리움 로드맵의 중요한 링크입니다.

DA 레이어가 무엇인지, Danksharding의 기술 원리, EIP4844의 내용에 대해서는 제가 작년에 쓴 기술 기사인 DA(Data Availability) Summer is Coming?을 참조하세요. https://foresightnews.pro/article/detail/33575

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

EIP4844는 blob-carrying 트랜잭션이라는 새로운 트랜잭션 유형을 도입합니다. 각 Blob 운반 트랜잭션에는 Blob 목록을 "운반"하는 기능이 있습니다. Blob은 크기가 약 125KB인 데이터 패킷입니다. Blob의 저장 시간은 4096 epoch, 약 18일로 비교적 짧습니다.

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

EIP4844에 적응한 후 Ethereum L2는 최종 사용자에게 더 빠른 거래, 더 낮은 비용, 더 원활한 경험 및 더 빠른 반응을 제공할 것입니다. 이로 인해 L2 플랫폼에 더욱 복잡하고 대규모의 Dapp 애플리케이션이 도입될 것입니다.

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

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

Optimistic Rollup은 EIP4844에 적응합니다.

Optimistic Rollup은 사기 방지를 통해 롤업 실행의 정확성을 보장하는 기술입니다. 이 메커니즘에서 노드는 상태 전환이 불법임을 증명하기 위해 지정된 시간 내에 누군가가 사기 증명을 제안하지 않는 한 상태 전환이 올바른 것으로 가정합니다. 사기 증명이 발생하면 이전에 제출된 상태 전환이 취소됩니다.

낙관적 롤업은 ZK 롤업보다 EIP4844에 적응하기가 더 간단합니다. Blob 운반 트랜잭션을 통해 모든 L2 트랜잭션을 L1에 제출하여 적응을 완료합니다. 게다가 EIP4844에 적응하려면 Fraud Proof를 조정해야 합니다. 이 부분은 천천히 하면 됩니다. 결국 많은 낙관적 롤업은 아직 사기 증명을 시작하지 않았습니다. 온라인에 사기 증명서를 올렸는데, 2년 넘게 사기 증명서를 제출한 적이 없는 걸 발견했습니다.

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

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

사기 증명 조정:

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

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

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

1. L2 트랜잭션 제출: Optimistic Rollup의 이 단계는 유사합니다.
2. ZK 증명 제출: 적응 전의 ZK Rollup과 비교하여 ZKP 상태 전환 증명 외에 하나의 증명 과정이 더 필요합니다. 즉, 블롭 커밋과 트랜잭션 배치가 일치함을 증명하여 상태 전이 증명의 입력이 올바른지 확인합니다.
3. 예를 들어, 상태 전이의 ZK 회로는 계산 프로세스 a + a = b의 증거를 생성할 수 있습니다. (a=1,b=2) 및 (a=2,b=4)가 유효한 경우 생성된 ZKP입니다. 그러므로 그때 내가 제공한 입력이 (a=2,b=4)가 아니라 (a=1,b=2)였다는 증거도 제시해야 합니다.
4. 데이터가 Calldata에 직접 저장되고 직접 읽을 수 있어 입력이 조정되지 않도록 하기 때문에 EIP4844에 적응하기 전에 이 작업을 수행할 필요가 없습니다. EIP4844를 사용한 후에는 Blob 데이터를 직접 읽을 수 없으며 이는 새로운 회로를 통해서만 입증될 수 있습니다.
5. STARK의 ZK 롤업(예: Starknet)을 사용하여 이 증명 메커니즘을 구현하는 것이 더 쉽습니다. 이는 SNARK를 사용하는 ZK 롤업에 대한 문제입니다. 그 이유는 EIP4844의 blob 커밋에 사용되는 타원 곡선이 BLS12-381인 반면, ETH의 사전 컴파일된 계약은 다른 곡선으로 인해 직접적으로 수행하기 어렵기 때문입니다. 계약에서 Blob 약정 완료 인증서를 확인합니다.
6. 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

4. 어떤 L2 적응이 있나요? EIP4844를 얻었나요?

Optimistic 롤업에서 Optimism과 Arbitrum은 EIP-4844 채택에 대한 의지를 표명했으며 커뮤니티와 긴밀히 협력하여 필요한 업데이트를 테스트하고 배포하고 있습니다. Arbitrum은 1단계 롤업이며 비교적 보안이 좋습니다. 여기에는 사기 증명을 EIP4844에 적용해야 하는 필요성이 포함됩니다. 낙관적 롤업은 현재 사기 증명이 없는 0단계 롤업입니다. 적응하기는 더 쉽지만 보안 수준은 충분하지 않습니다.

ZK 롤업에서는 STRAK과 SNARK를 사용한 롤업 적응의 난이도가 다릅니다. STARK의 롤업으로 EIP4844를 적용하는 것이 더 쉬우며 Starknet이 대표적인 것 중 하나입니다. Starknet은 업그레이드 후 Cancun이 EIP4844 적응을 구현할 것이라는 기사를 발표했습니다(기사 링크). SNARK 롤업을 통해 zkSync는 Blob 운반 트랜잭션을 활용하여 비용을 더욱 절감하고 성능을 향상시키는 방법도 모색하고 있습니다. Scroll은 작년에 EIP4844 적응 아이디어를 소개하는 기사를 발표했습니다(기사 링크)

가장 인상적인 것은 Optimistic ZK Rollup이며 EIP4844에 적응하기 위한 zkEVM용 솔루션을 최초로 출시한 Morph입니다. EIP4844를 완성한 최초의 zkEVM 롤업이라고 합니다.

Optimistic ZK Rollup은 두 가지 롤업 유형의 장점을 결합합니다. Sequencer가 제출한 실행 결과를 낙관적으로 믿고 결과를 의심하는 사람들이 도전을 시작할 수 있도록 합니다. 챌린지가 발행된 경우에만 증명자는 실행 결과의 정확성을 증명하기 위해 ZKP를 생성합니다. 낙관적 롤업의 효율성과 ZK 롤업의 ZK 검증 신뢰성을 갖추고 있습니다.

위 내용은 칸쿤 업그레이드가 다가오고 있습니다. 주류 L2는 어떤 적응을 하게 되었나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!