SNARK를 사용한 ZK-EVM에서는 Morph가 EIP-4844 적응 솔루션 제안에 앞장섰습니다.
작성자: Karen, Foresight News
칸쿤 업그레이드가 성공적으로 구현되었습니다. 이 업그레이드는 기술적 혁신일 뿐만 아니라 이더리움 네트워크가 더 높은 확장성과 더 낮은 레이어 2 비용을 향해 나아가는 중요한 도약입니다.
이번 업그레이드에서 EIP-4844(Proto-Danksharding)는 의심할 여지 없이 가장 눈길을 끄는 핵심 구성 요소입니다. EIP-4844의 가장 큰 변화는 콜 데이터를 대체하는 데 사용되는 Blob-carrying 트랜잭션 유형의 도입입니다. 이를 통해 Layer2 네트워크는 모든 데이터를 Blobspace에 게시할 수 있으며 Blob은 합의 계층의 노드에 의해 저장되며 영구 저장이 필요하지 않으므로 특정 기간 내에 데이터를 사용할 수 있고 사용 가능한 시간은 4096 epoch입니다. 약 18일 정도입니다. 이러한 방식으로 확장성이 크게 향상되고 가스 비용이 크게 절감됩니다.
칸쿤 업그레이드 이후 주류 L2는 EIP-4844에 차례로 적응하기 시작했으며 가스 비용도 크게 감소했습니다. 예를 들어 업그레이드 후 Starknet, Base, Optimism 및 Zora의 중앙 가스 비용은 모두 업그레이드 전 30일에 비해 96% 이상 감소했으며 Arbitrum 및 zkSync의 가스 비용도 77% 감소했습니다. 각각 55%. Blobscan 데이터에 따르면 현재 40,000개 이상의 Blob이 있어 총 거래 수수료의 93.69%를 절약합니다.
업그레이드 전후 칸쿤의 중간 가스 비용 비교, 출처: Dune
L2 가스 요금이 대폭 절감되면 더 많은 사용자와 개발자가 L2 가스를 선호하고 채택하게 될 것입니다. 이러한 맥락에서 SNARK를 사용하여 ZK-EVM에서 상세한 EIP-4844 적응 체계를 최초로 제안한 L2 Morph는 특별한 주목을 받을 만합니다. Morph의 적응 솔루션 및 기능을 확장하기 전에 먼저 주류 L2가 EIP-4844에 어떻게 적응하는지 살펴보겠습니다.
적응 방법의 관점에서 EIP-4844에 적응하기 위해 L2는 일반적으로 배치 제출을 변경하고, Blob 데이터를 검색하고, L2 상태 전환 검증자를 확인하고, L1에서 L2 상태 전환에 대한 L1 증명을 확인해야 합니다.
구체적으로 Arbitrum은 Arb OS20 업그레이드를 통해 Cancun 업그레이드의 EIP 변경 사항을 구현했으며, EIP-4844 적응 측면에서는 정렬 업데이트를 포함하여 초기 거래 제출부터 사기 증명, Blob 데이터 구문 분석까지 적응이 수행되어야 합니다. 트랜잭션 게시를 Blob으로 지원), Nitro의 사기 증명을 업데이트하여 KZG 및 SHA256 매핑 증명을 지원하고 핵심 Nitro 노드 소프트웨어를 업데이트하여 EIP-4844 Blob의 데이터 구문 분석을 처리합니다.
Optimistic Rollup이기도 한 Optimism은 Blob DA L1 데이터 검색 단계를 지원하여 Blob 데이터 가용성을 달성하며, OP 체인 운영자는 체인을 업그레이드하고 Ecotone용 시퀀서를 구성해야 합니다. 현재 Optimism 메인 네트워크는 아직 사기 증명을 시작하지 않았지만 최근 테스트 네트워크에서 사기 증명을 시작했습니다.또한 OP Stack 체인의 EIP 솔루션은 현재 사기 증명과 관련된 검증을 다루지 않고 단지 최적화일 뿐입니다. 기존 L1 저장 방식의
ZK 롤업으로서의 Starknet은 유효성 증명 STARK(Zero-Knowledge Scalable Transparent Knowledge Arguments)를 사용하여 계산이 올바르게 수행되었음을 증명합니다. EIP-4844에 적응할 때 Starknet의 상태 천이는 특정 형식으로 인코딩되고 상태 천이는 FFT(Fast Fourier Transform 알고리즘)을 통해 계산됩니다. 또한 역 FFT와 그에 따른 상태 천이 형식을 포함하는 역 프로세스가 포함됩니다. 그것에. 해독하기 위해. 또 다른 ZK 롤업인 zkSync는 STARK 기반 증명 시스템 "Boojum"으로 전환하여 ZK 회로 업그레이드를 구현합니다.
ZK-SNARK(Zero-Knowledge Succinct Non-Interactive Knowledge Argument)가 체인에서 더 확장 가능하고 효율적인 것으로 입증되었지만 EIP-4844는 BLS12-381 곡선을 사용하여 KZG 약속을 나타내기 때문에 Ethereum 현재 우리는 BN254 곡선의 사전 컴파일만 지원하므로 SNARK를 사용하는 롤업은 EIP-4844에 적응할 때 특정 복잡성에 직면합니다. 따라서 관련 곡선 등가에 맞게 ZK 회로 설계를 조정하는 것이 시급한 문제가 됩니다.
아직 EIP-4844에 적응하기 위해 SNARK의 롤업 구현을 사용하는 것을 본 적이 없지만 Morph는 응용 프로세스 중에 직면하는 일련의 문제를 해결하기 위해 EIP-4844 제안에 따라 실용적이고 효율적인 회로 설계 솔루션을 제안하는 데 앞장섰습니다. , 특히 트랜잭션 데이터 인코딩 및 Blob 공간 활용 문제.
EIP-4844와의 호환성 측면에서 Morph는 이더리움 기반 DA 체계, 반응형 유효성 증명 및 집계된 ZK 증명 체계를 EIP-4844에 완벽하게 호환되고 적응시켜 거래 비용을 줄이고 거래 처리량을 향상시키며 다음 사항을 고려할 것입니다. 보안 및 호환성.
첫 번째는 Blob 데이터 인코딩입니다. Morph는 배치 길이를 여러 청크 길이로 나누고 이를 각 청크 샤드의 Blob 요소에 저장합니다. Morph는 KZG 약속을 사용하여 Blob 데이터의 약속을 계산하고 해당 확인 방법을 사용하여 약속의 정확성을 확인함으로써 Blob 데이터의 무결성과 검증 가능성을 보장합니다. 두 번째 단계는 Blob 다항식 평가 검증입니다. Morph는 회로 증명을 사용하여 특정 문제 지점에서 Blob 데이터에 해당하는 다항식 값을 검증합니다. 이 검증 프로세스는 데이터의 정확성과 일관성을 보장합니다.
거래 데이터의 길이가 고정되어 있지 않다는 문제에 대응하여 Morph는 zero-filling 전략을 채택합니다. 청크에서 트랜잭션 데이터의 길이가 32바이트의 정수 배수가 아닌 경우 Morph는 인코딩된 유한 필드 요소의 수가 정수인지 확인하기 위해 그 뒤에 0을 추가합니다. 이것의 이점은 후속 데이터 집계 프로세스를 향상시킬 수 있다는 것입니다.
트랜잭션 데이터가 두 개의 Blob에 분산될 수 있는 문제와 관련하여 Morph는 트랜잭션 데이터가 두 개의 Blob에 저장되지 않는다는 규칙을 설정합니다. 이 설계는 트랜잭션의 무결성과 독립성을 보장하고 데이터 분할로 인한 복잡성과 잠재적인 보안 위험을 방지합니다. 동시에 여러 얼룩의 처리 효율성을 최적화하기 위해 Morph는 KZG가 약속한 다중 지점 열기 방법을 채택합니다. 이 방법을 사용하면 검증 프로세스 중에 여러 Blob을 동시에 처리할 수 있어 검증 효율성이 향상됩니다.
마지막으로, 낮은 Blob 공간 활용 문제, 즉 배치 또는 청크 데이터가 인코딩 후 4096개 미만의 유한 필드 요소를 가질 수 있는 문제를 해결하기 위해 Morph는 새로운 집계 방식을 제안했습니다. 이 솔루션에서는 원래 배치 길이 정보를 저장하는 데 사용된 처음 5개 비트 중 4개를 수정하여 조각 청크 길이 정보를 저장합니다. 이러한 수정을 통해 각 샤드가 해당 청크의 길이를 독립적으로 기록할 수 있으므로 공간 활용도가 향상됩니다.
이러한 설계와 솔루션을 통합함으로써 Morph는 효율적인 데이터 인코딩 및 검증 방법을 제공하고 혁신적인 집계 증명 솔루션을 통해 더 높은 공간 활용도와 검증 효율성을 달성하고 가스 소비를 더욱 줄일 수 있습니다.
Morph는 또한 Optimistic Rollup과 ZK Rollup 기술의 장점을 결합하여 고유한 Optimistic ZK Rollup을 개발했다는 점을 언급하는 것이 중요합니다. 각 배치마다 ZKP를 생성할 필요가 없으므로 확장성, 저비용 및 고성능 간의 균형을 찾았습니다. . 균형이 잡힌.
또한 Morph가 채택한 ZK-SNARK(영지식 간결 비대화형 지식 인수)는 신뢰할 수 있는 설정에 의존하며 생성된 증명의 바이트 수가 더 작기 때문에 체인에서 더 확장 가능하고 간결하며 효율적입니다. .
더 중요한 것은 Morph가 새로운 표준에 빠르게 적응할 수 있는 유연한 모듈식 아키텍처를 채택했다는 것입니다. 이를 통해 Morph는 EIP-4844를 효율적으로 통합하고 DA 비용 절감 및 트랜잭션 효율성 향상을 달성하는 데 필요한 시간과 노력을 줄일 수 있습니다. 대조적으로, 일반 롤업은 기존 시스템과의 원활한 상호 작용을 달성하기 위해 메인넷 하드 포크 또는 계약 에이전트 업그레이드와 광범위한 테스트 단계가 필요합니다.
앞서 언급한 바와 같이 Morph의 EIP-4844 적응 방식은 가스 소비 감소, 호환성, Blob 공간 활용도 향상 및 효율적인 검증에 장점이 있습니다. 증명 횟수와 검증 횟수를 늘려 체인의 가스 소비를 크게 줄입니다. 솔루션의 실용성, 효율성 및 최적화된 회로 설계는 이더리움 생태계의 발전을 주도할 것으로 예상되는 매력적인 옵션입니다.
소비자 수준에 위치한 레이어 2 플랫폼인 Morph는 보안, 효율성, 확장성 및 저렴한 비용 측면에서 다듬고 최적화하는 데 중점을 둡니다. 대부분의 L2와 달리 Morph는 다양한 일일 소비자 DApp 구축을 지원하는 데 더 전념하고 있습니다. 이러한 다양한 포지셔닝을 통해 Morph는 더 넓은 범위의 사용자 요구를 충족할 수 있습니다.
현재 L2 생태학의 발전 추세에서 Morph는 소비자 수준의 L2로서 독특한 Optimistic ZK Rollup으로 두각을 나타내고 있으며 Optimistic과 ZK Rollup이라는 두 가지 주류 확장 솔루션의 장점을 누릴 수 있습니다. 낙관적 롤업 및 ZK-SNARK 간결한 비대화형 검증을 채택하면 비용, 효율성 및 확장성 측면에서 상당한 이점이 있습니다. 탁월한 확장성은 Morph가 미래의 다양한 동시성 애플리케이션 시나리오의 요구 사항을 지원할 수 있도록 보장하여 Morph를 더 빠르고 저렴하게 만들고 개발자와 사용자가 더 쉽게 채택할 수 있도록 합니다.
기술적인 측면에서 Morph는 지속적으로 혁신과 예지력을 보여주고 있으며 위에서 언급한 Optimistic ZK Rollup 외에도 Morph는 단일 실패 지점의 영향을 제거하고 분산형 시퀀서를 도입하여 네트워크 보안과 안정성을 유지합니다. RVP(Responsive Validity Proof) 시스템과 모듈식 설계도 하이라이트로, 효율적이고 유연한 확장성을 제공하고 더 복잡하고 데이터 집약적인 애플리케이션을 위한 더 나은 환경을 조성하여 더 넓은 범위의 사용자 기반을 유치합니다.
이번 달 Morph는 또한 1,900만 달러의 시드 라운드와 100만 달러의 엔젤 라운드 자금 조달을 완료했다고 발표했습니다. 시드 라운드는 Dragonfly Capital이 주도하고 Pantera Capital, Foresight Ventures, The Spartan Group, MEXC Ventures, 투자자로는 Polygon, Manta, Galxe, Sei, Nansen, Story Protocol과 같은 프로젝트의 창립자와 Icebergy, MoonOverlord, NaniXBT 및 Dingaling과 같은 KOL이 포함됩니다.
Morph의 마지막 자금 조달 라운드는 작년 12월로 거슬러 올라갑니다. 초기 투자금은 암호화폐 거래 플랫폼인 Bitget에서 수백만 달러였습니다. Morph는 또한 Bitget의 기존 사용자 생태계와 리소스를 활용하여 사용자 중심의 퍼블릭 체인 생태계를 공동으로 개발하고 구축할 것입니다.
Morph의 마지막 자금 조달 라운드는 작년 12월로 거슬러 올라갑니다. 초기 투자금은 암호화폐 거래 플랫폼인 Bitget에서 수백만 달러였습니다. Morph는 또한 Bitget의 기존 사용자 생태계와 리소스를 활용하여 사용자 중심의 퍼블릭 체인 생태계를 공동으로 개발하고 구축할 것입니다.
두 달 전 Morph는 Sepalia에서 공개 테스트넷을 시작했습니다. Morph는 100% EVM과 호환되므로 Ethereum 개발자는 익숙한 개발 환경에서 계약을 배포하고 DApp을 개발할 수 있습니다. 사용자는 Morph 테스트넷과 Seplia 테스트넷 사이에서 Sepolia ETH 및 ERC-20 토큰과 상호 작용하거나 교차 체인을 연결할 수도 있습니다. 또한 Morph 노드의 무허가 특성으로 인해 모든 사용자는 자신의 노드를 시작할 수 있으므로 참여 임계값이 더욱 낮아집니다.
글을 쓰는 시점을 기준으로 Morph 테스트넷에는 거의 290,000개의 지갑이 참여했으며 총 거래 수는 680,000건이 넘었습니다. Morph는 4월 말 Holesky 테스트 네트워크에서 EIP-4844 통합을 주도하고, 올해 3분기에 메인 네트워크를 출시하고 EIP-4844를 완전히 통합할 계획이다.
전체적으로 L2는 칸쿤 업그레이드의 가장 큰 수혜자인데, 결국 확장성과 저렴한 비용은 개발자와 사용자를 끌어들이는 핵심 요소였다. 우리는 EIP-4844의 추가 구현을 통해 L2 생태계가 번성하고 번영할 것이라고 믿을 이유가 있습니다. 물론 L2의 임무는 이더리움 생태계에 더 많은 트래픽과 성장을 가져오는 것뿐만 아니라 처리량, 가용성, 사용자 경험 및 기타 측면에서 획기적인 발전을 위해 노력하는 것입니다. SNARK를 사용하는 ZK-EVM에서는 EIP-4844에 대한 상세한 적응 계획을 최초로 제안한 Morph가 칸쿤 업그레이드의 이점을 최대한 활용하고 계속 혁신할 수 있는지 기다려 볼 것입니다.
참고: 1. " Morph: EIP-4844 zkEVM 및 융합 증명 통합 솔루션 " 2. " Foresight Ventures: Cancun 업그레이드가 예정되어 있는데 어떤 L2가 적용되었습니까? 》3. https://docs.arbitrum.io/node-running/reference/arbos-software-releases/arbos204, https://medium.com/offchainlabs/arbos-20-atlas-da106378326b5, https://specs .optimism.io/protocol/derivation.html#ecotone-blob-retrieval6, https://medium.com/@tommy_chan/eip-4844-proto-danksharding-using-kzg-commitment-what-it-does-and- 어떻게-그것은-정말로-작업-35201987b24c7, https://zksync.mirror.xyz/HJ2Pj45EJkRdt5Pau-ZXwkV2ctPx8qFL19STM5jdYhc
모든 댓글