1. “이더리움 L2란 무엇인가”에 대한 논란
지난달 Dankrad는 "이더리움을 데이터 가용성 계층(DA)으로 사용하지 않으면 이더리움의 롤업이 아니므로 이더리움의 L2가 아니다"라고 트윗했습니다. 또한 그는 플라즈마와 상태 채널은 L2로 간주된다고 말했습니다. 하지만 Validium은 그렇지 않습니다. Dankrad가 자신의 의견을 발표한 후 L2 분야의 많은 건축업자와 연구자들이 이에 의문을 제기하기 시작했습니다. 비용 절감을 위해 Ethereum을 데이터 가용성 계층으로 사용하지 않는 L2 프로젝트가 많이 있습니다. 이러한 프로젝트가 L2 목록에 포함되지 않으면 이러한 확장 네트워크 프로젝트에 상당한 영향을 미칠 것입니다. 또한 일부에서는 Validium이 L2로 간주되지 않으면 Plasma도 L2로 간주되어서는 안 된다고 주장합니다.
따라서 Ethereum의 문서를 자세히 살펴보면 Validium이 L2 플랫폼인지 여부가 명확하지 않다는 것을 알 수 있습니다. 그러나 그들은 Validium이 유효성 증명을 사용하기 때문에 Plasma보다 더 안전하다고 언급합니다. 이는 일부 관점에서 Plasma가 Validium보다 더 안전하다고 믿는 Dankred의 관점과 모순되는 것 같습니다. 왜냐하면 사용자는 Validium이 지원할 수 없는 과거 상태를 사용하여 종료할 수 있기 때문입니다. 따라서 L2에 Plasmas와 Validium을 포함해야 하는지에 대해서는 명확한 답이 없습니다.
그러나 L2BEAT는 웹사이트에 "롤업만 표시" 필터를 적용하여 사용자가 이더리움을 DA 레이어로 사용하지 않는 모든 프로젝트를 필터링할 수 있도록 했습니다. L2와 Rollup에 대한 논쟁은 그 이상입니다. 또한 "데이터 가용성이 헷갈리는 용어이고, 데이터 퍼블리싱이 더 좋다", "클래식 롤업도 소버린 롤업이다", "소버린 롤업은 전혀 롤업이 아니다" 등 다양한 의견도 많이 들었습니다.
그렇다면 이러한 정의에 매달리기보다는 좀 더 의미 있는 주제, 즉 우리가 원하는 이더리움 L2의 종류에 대해 집중해 보겠습니다.
2. 우리는 어떤 종류의 이더리움 롤업을 원합니까?
정의에 따르면 레이어 2는 이더리움을 확장하고 이더리움의 보안 보장을 상속하는 독립적인 블록체인입니다.
Ethereum Rollup의 보안 문제는 과소평가되어 있습니다. 우리는 Rollup이 보안을 향상시키고 애플리케이션에 맞게 맞춤화된 모듈식 블록체인이 더 많아지기를 바랍니다.
레이어 2 솔루션에 포함하고자 하는 기능은 다음과 같습니다.
- 첫째, 우리는 L2가 이더리움을 확장할 수 있기를 원합니다. 즉, L2는 이더리움에 대한 검증 브리지가 있어야 사용자가 L2와 이더리움 간에 자산을 전송하고 이더리움으로부터 보안을 받을 수 있습니다. 예를 들어, Ethereum의 보안을 유지하면서 상대적으로 저렴한 비용으로 특정 거래에 Arbitrum L2의 ETH를 사용할 수 있습니다.
- 둘째, L2가 이더리움의 보안을 계승하여 초고도의 보안을 달성할 수 있기를 바랍니다.
- 첫째, L2가 이더리움의 보안을 계승할 수 있기를 바랍니다. 이를 달성하는 가장 좋은 방법은 Ethereum을 데이터 가용성(DA) 계층으로 사용하여 Ethereum의 롤업 역할을 하는 것입니다. 이상적으로는 L2 노드를 무신뢰 노드로 만들고 이더리움만 신뢰하면 Rollup의 보안을 완전히 보장할 수 있습니다.
- 둘째, Rollup이 Ethereum의 활동을 상속받을 수 있기를 바랍니다. 사용자는 Rollup 노드가 작동하지 않는 경우에도 스스로 Rollup을 실행할 수 있거나 최소한 L2를 종료하고 L1으로 자금을 되돌릴 수 있는 방법이 있어야 합니다.
- 또한 Rollup이 Ethereum의 분산화 및 검열 저항성을 계승할 수 있기를 바랍니다.
2.1 이더리움 보안 상속
이더리움(ETH)의 보안을 더 잘 계승하기 위해서는 이더리움을 데이터 가용성 및 거래 주문뿐만 아니라 결제에도 사용해야 합니다. 롤업 계층은 트랜잭션 실행과 상태 전환 수행을 담당합니다. 사기 증명 또는 유효성 증명을 통해 이더리움으로 결제합니다.
다이어그램에서 볼 수 있듯이 Rollup 노드의 역할은 Sequencer, Proposer 및 ZK Prover의 2~3가지 유형으로 나눌 수 있습니다.
- Sequencer는 Rollup에서 중요한 역할을 하며, Ethereum을 사용하여 트랜잭션을 패키징하고 Ethereum 네트워크에 제출하여 데이터 가용성과 트랜잭션 순서를 보장합니다.
- 동시에 제안자는 이러한 트랜잭션을 실행하고 롤업의 최신 상태를 생성한 다음 새 상태의 머클 루트를 이더리움에 제출합니다. 이것이 낙관적 롤업이고 지정된 시간 내에 아무도 챌린지를 시작하지 않으면 상태 루트가 수락되고 트랜잭션이 확인됩니다.
- ZK Rollup의 경우 증명자는 상태 루트의 유효성을 증명하는 영지식 증명을 생성합니다. ZKP가 이더리움에 제출되고 확인되면 거래도 확인됩니다.
따라서 이 모든 데이터가 이더리움에 커밋되고 확인되면 트랜잭션을 롤백하려면 이더리움을 롤백해야 하므로 이더리움의 보안 보장을 상속받습니다. 게다가 이 세 가지 역할은 때때로 동일한 노드에서 수행됩니다. Optimism과 같은 일부 프로토콜에서는 Sequencer가 트랜잭션 배치와 Merkle 상태 루트를 모두 제출합니다.
또 다른 보안 관련 문제는 Rollup의 상태 검증인데 앞서 언급했듯이 Optimistic Rollup은 사기 증명을 사용하는 반면 ZK Rollup은 영지식 증명과 같은 유효성 증명을 사용합니다.
- Optimism 및 Arbitrum과 같은 사기 증명을 사용하면 롤업이 EVM(Ethereum Virtual Machine)과 동일할 수 있다는 장점이 있습니다. 그러나 사용자는 자신의 자금을 보호하기 위해 체인을 검증해야 하며 약 7일의 긴 도전 기간으로 인해 거래의 최종 확인이 더 느립니다.
- Starknet, zkSync, Scroll 및 Polygon zkEVM과 같은 ZK 롤업은 영지식 증명을 사용하여 상태가 올바르게 계산되었음을 입증함으로써 더 강력한 보안을 제공합니다. L1에서 ZKP가 확인되면 거래가 즉시 완료됩니다. 이 작업은 단 몇 분 또는 최대 몇 시간만 소요되며, 이는 낙관적 롤업보다 훨씬 빠릅니다. 그러나 ZK 롤업은 일반적으로 EVM과 완전히 동일하지 않습니다.
보안 관점에서는 영지식 증명이 더 잘 작동합니다. 그들은 낙관적 롤업과 같이 인센티브를 받은 참가자의 정직성에 의존하기보다는 상태 검증을 위해 무신뢰 암호화 메커니즘에 의존합니다. 그러나 거래 수수료는 더 높을 수 있으며 EVM과 완전히 동일하지 않을 수 있습니다. 따라서 어떤 것을 사용할지 선택하는 것은 네트워크의 목표에 따라 달라집니다.
보안 관점에서는 영지식 증명이 더 잘 작동합니다. 그들은 낙관적 롤업과 같이 인센티브를 받은 참가자의 정직성에 의존하기보다는 상태 검증을 위해 무신뢰 암호화 메커니즘에 의존합니다. 그러나 거래 수수료는 더 높을 수 있으며 EVM과 완전히 동일하지 않을 수 있습니다. 따라서 어떤 것을 사용할지 선택하는 것은 네트워크의 목표에 따라 달라집니다.
어떤 경우에는 하이브리드 접근 방식으로 두 롤업의 기능을 결합할 수 있습니다. Morphism이라는 새로운 프로젝트에서는 ZK 유효성 증명을 사용하여 낙관적 롤업 설계의 문제에 대응합니다. 이를 통해 문제 창을 7일에서 1일로 줄이고 DA 비용을 줄일 수 있습니다. OP 스택은 또한 Optimism에 결함이 있는 프로그램을 증명하기 위해 ZKP를 사용하는 방법도 조사했습니다.
그러나 Rollup의 업그레이드 가능성에 대한 보안상의 우려가 큽니다. Rollup에 긴급한 버그 수정이 필요하거나 새로운 기능을 지원하기 위해 업그레이드해야 하는 경우 Ethereum에서 Rollup 스마트 계약을 업그레이드해야 하는 경우가 있습니다. 따라서 누가 이러한 스마트 계약을 통제하는지가 중요합니다.
- 많은 롤업에서 업그레이드 제어의 핵심은 핵심 팀 구성원이 보유합니다. 이론적으로 이러한 구성원은 에스컬레이션 메커니즘을 사용하여 사용자의 자금을 훔칠 수 있습니다. Vitalic이 말했듯이 이는 개발자에게 "백도어"와 같습니다.
- 이 문제를 방지하려면 업그레이드 기능을 비활성화할 수 있습니다. 예를 들어 Fuel V1은 업그레이드 기능을 비활성화했지만 업데이트가 반복될 때마다 스마트 계약을 재배포해야 했으며 사용자는 자산을 새 버전으로 수동으로 마이그레이션해야 했습니다. 이 프로세스는 새 프로젝트를 시작하는 것과 유사하여 유동성이 단편화되고 유연성이 크게 감소합니다.
- 더 나은 접근 방식은 거버넌스 업그레이드에 DAO를 사용하고 업그레이드에 동의하지 않는 사용자가 업그레이드가 발생하기 전에 종료할 수 있도록 지연을 설정하는 것입니다. 이는 정직한 다수 가정과 같은 일부 DAO 보안 가정을 Rollup에 추가합니다.
전반적으로 이더리움의 보안을 계승하기 위해 롤업에서는 데이터 가용성, 거래 순서 및 정산을 위해 이더리움을 사용하는 것을 권장합니다. 상태 검증의 경우 영지식 증명을 사용하는 것이 더 안정적입니다. 업그레이드 가능성을 지원하려면 DAO를 사용하여 업그레이드를 관리하고 사용자에게 종료할 수 있는 충분한 시간(예: 30일)을 제공하는 것이 좋습니다.
2.2 이더리움의 생존성을 계승하다
이제 이더리움에서 생명력을 상속받는 방법에 대해 이야기해보겠습니다.
현재의 시리얼라이저와 제안자가 다운되더라도 이더리움 메인넷의 도움으로 사용자가 L2 상태를 다시 생성하고 Rollup을 계속 실행할 수 있거나 적어도 사용자가 신뢰 없이 종료할 수 있는 방법이 있기를 바랍니다.
- 그러나 지금까지 Optimism, zkSync Era 및 Base와 같은 많은 기존 롤업에는 이 메커니즘이 부족하다는 사실이 발견되었습니다. 따라서 이런 일이 발생하면 Rollup 실행이 중지되고 모든 사람이 L2에서 자금을 잃게 됩니다.
- 일부 롤업을 사용하면 사용자는 L2에서 Merkle 증명 또는 ZK 자금 증명을 제출하여 인출을 강제하고 L1에서 자금을 인출할 수 있습니다.
- 하지만 일부 롤업에서는 담보를 제외한 자산 출금을 허용하지 않으므로 L2 로컬 자산은 출금이 불가능합니다. 담보물을 NFT 또는 LP 토큰으로 교환하는 경우 Ethereum L1에서 다시 돌려받지 못할 수도 있습니다.
- dYdX와 같은 롤업을 사용하면 L2 기본 자산을 담보로 전환한 다음 L1에서 인출할 수 있습니다.
- 일부 롤업은 NFT를 L1으로 인출하는 것도 지원합니다.
- 더 나은 솔루션은 사용자가 시퀀서 및 제안자가 되어 롤업을 계속 실행할 수 있도록 하는 것입니다. 예를 들어 Polygon zkEVM은 라이선스가 필요 없는 시퀀서를 사용합니다. Arbitrum을 사용하면 사용자는 거래를 L1으로 전송하여 롤업에 포함되도록 강제할 수 있습니다(이 경우 하루 지연이 있습니다). 또한, 현재 화이트리스트 제안자가 연속 6일 동안 활동하지 않으면 누구나 제안자가 될 수 있습니다.
실제로 활동은 분권화 정도와도 관련이 있습니다. Rollup 노드가 더 잘 분산되고 검열에 강하면 Rollup의 활동이 더 좋아질 것입니다.
따라서 Rollup의 생존성을 높이기 위해 장애 발생 시 사용자가 직접 트랜잭션을 주문하고 제안할 수 있는 분산형 노드를 제안합니다.
2.3 이더리움의 탈중앙화와 검열 저항성을 물려받다
Rollup 탈중앙화에 대한 연구는 주로 탈중앙화 Sequencer에 중점을 두고 있습니다.
- 오늘날 거의 모든 롤업 네트워크는 중앙 집중식 시퀀서만 사용합니다. 시퀀서는 사용자의 거래를 거부하고 MEV를 악의적으로 추출하여 사용자에게 재정적으로 피해를 줄 수 있는 능력을 갖추고 있습니다. 또한 단일 시퀀서를 사용하면 검열 저항이 부족합니다.
- 따라서 Rollup이 분산형 시퀀서를 구현하기 위해 모색하고 있는 유망한 접근 방식 중 하나는 무허가형 PoS 분산형 시퀀서입니다. 이 방법은 POS 규칙에 따라 시퀀서를 선택하고 BFT 기반 합의 알고리즘을 실행하여 트랜잭션 배치에 대한 합의에 도달하는 Morphism Rollup에 사용됩니다. 일부 다른 롤업에서는 리더 선택 방법을 사용하여 매 에포크마다 리더 시퀀서를 선택하려고 합니다.
- 또 다른 방법은 MEV 경매를 이용하는 것입니다. 각 에포크에서 참가자는 거래 수수료에서 기대하는 이익과 시퀀서로 인출할 수 있는 MEV를 기반으로 입찰합니다. 승자는 롤업 재무부에 입찰 금액을 지불하고 해당 시대 동안 거래를 주문하고 모든 이익을 얻을 수 있는 권리를 얻습니다.
- Polygon의 효율성 증명은 누구나 시퀀서나 수집자가 될 수 있는 또 다른 접근 방식입니다. 시퀀서는 Ethereum L1에 트랜잭션 배치를 제안할 때 스팸 공격을 방지하기 위해 추가 비용을 지불해야 합니다. 집계자는 시퀀서가 발행한 배치 트랜잭션을 확인하고, 유효성 인증서를 제출한 첫 번째 집계자는 시퀀서가 예치한 토큰을 받게 됩니다. 그러나 지연되는 집계자의 컴퓨팅 리소스가 낭비될 수 있습니다.
- 공유 시퀀서 접근 방식에서는 노드 그룹이 여러 롤업에 시퀀싱 서비스를 제공합니다. 롤업은 공유 시퀀서 네트워크에 연결하여 트랜잭션 순서 지정 및 블록 생성을 처리합니다. 공유 시퀀서 풀은 분산되어 있습니다(합의 프로토콜을 실행하여 트랜잭션에 동의하고 트랜잭션 일괄 제출).
분산형 시퀀서를 위한 이러한 모든 기술은 아직 초기 단계에 있으며 계속 발전하고 있습니다. 따라서 현재로서는 중립적인 평가만 제공할 수 있습니다.
ZKP 증명자는 MEV를 수행할 수 없고 악의적으로 행동하기 어렵기 때문에 Polygon의 효율성 증명만큼 분산화되고 허가가 없을 수 있습니다.
요약하자면, Rollup의 분산화와 검열 저항을 강화하려면 분산형 직렬 변환기와 증명자가 필요합니다.
보안 문제 외에도 고려해야 할 다른 요소가 많이 있습니다. 다음은 몇 가지 관련 질문입니다.
보안 문제 외에도 고려해야 할 다른 요소가 많이 있습니다. 다음은 몇 가지 관련 질문입니다.
- 시퀀서와 ZKP 증명자의 인센티브 균형을 맞추는 방법은 무엇입니까? 시퀀서는 MEV를 실행할 수 있지만 증명자는 실행할 수 없습니다. 이 메커니즘은 사람들이 더 기꺼이 직렬화자가 되도록 만듭니다. 그러나 영지식 증명을 생성하려면 트랜잭션을 패키징하는 것보다 더 많은 컴퓨팅 성능이 필요하기 때문에 실제로 시퀀서보다 더 많은 증명자가 필요합니다. 그렇다면 둘 사이의 인센티브 균형을 맞추는 방법은 무엇입니까? 저는 영리한 동적 수수료 모델과 인센티브 모델을 설계해야 한다고 생각합니다.
- EIP4844 업그레이드 후 Rollup은 Blob을 사용하여 데이터를 저장하게 되며, Blob 데이터는 Ethereum에 1~3개월 동안만 저장되는데 이것이 Rollup에 영향을 미치나요? 내 대답은 '예'입니다. 약간의 영향이 있을 것으로 생각되지만 쉽게 해결될 것입니다. Rollup의 기록 데이터는 보관을 위해 분산 저장소에 업로드할 수 있습니다. Rollup의 모든 노드가 오프라인 상태가 되면(특히 현재 단일 직렬 변환기 상황에서) 사용자는 분산형 스토리지 시스템에서 기록 데이터를 다운로드하고 이를 Ethereum L1의 Blob 데이터와 결합하여 상태를 재구성해야 합니다.
- 롤업 거래 수수료를 줄이는 방법은 무엇입니까? Rollup을 설계할 때 보안, 분산화, 비용 효율성 간에 많은 절충안이 있었습니다. 예를 들어, 보안 강화를 위해 상태를 확인하기 위해 ZKP를 사용하지만, 이를 위해서는 더 많은 컴퓨팅 성능이 필요하고 트랜잭션 비용도 더 높아집니다. 이는 보안과 비용 간의 균형입니다. 일부 ZK 롤업은 재귀 증명을 사용하여 여러 거래 배치에 대한 ZKP를 집계한 다음 집계된 증명을 L1에 제출합니다. 이를 통해 이더리움의 가스 비용을 절약하고 L2 거래 수수료를 줄일 수 있지만 거래의 최종 확인 시간도 길어집니다.
요약하다
요약하자면, 원래 질문으로 돌아가서 어떤 종류의 이더리움 롤업을 원합니까?
- 첫째, 롤업이 이더리움의 보안뿐만 아니라 생존성, 탈중앙화, 검열 저항성을 계승하기를 바랍니다.
- 실제로 업그레이드 가능성, 분산형 직렬 변환기 및 영지식 증명의 신뢰할 수 있는 설정에는 모두 추가 신뢰 가정이 포함될 수 있으므로 추가 신뢰 가정을 도입하지 않는 L2 롤업을 만드는 것은 매우 어렵습니다. L2 롤업 노드를 신뢰하지 않고 L2 롤업이 ETH의 보안을 완전히 상속한다고 말할 수는 없습니다.
- 더 나은 보안을 위해. L1 롤업 스마트 계약의 업그레이드는 DAO에 의해 관리되어야 하며 사용자가 업그레이드에 동의하지 않을 경우 종료할 수 있는 충분한 시간을 허용하도록 지연이 설정되어야 합니다. 그러나 이 접근 방식은 DAO 보안 가정을 시스템에 도입하기도 합니다.
- 마지막으로 중요한 것은 단일 직렬 변환기를 사용하는 대신 더 나은 생존 가능성, 분산화 및 검열 저항을 위해 분산형 직렬 변환기를 사용하는 것입니다.
프레젠테이션을 마치기 전에, 여기에 계신 누군가가 훌륭한 아이디어를 가지고 있고 이를 구현하기 위한 자원이 필요하다면 주저하지 말고 Foresight Ventures에 문의해 주시기 바랍니다.
또한 Foresight X 인큐베이션 프로그램에 귀하를 초대합니다. 우리는 귀하의 기업가적 여정을 지원하고 육성하기 위해 왔습니다. 깊은 산업 지식과 광범위한 자원을 통해 귀하의 프로젝트가 성공할 수 있도록 보장해 드립니다.
또한 학계 또는 연구 분야에서 일하는 경우 Foresight X는 연구 경로를 지원하기 위해 경쟁력 있는 보조금을 제공합니다.
또한 연구 보고서를 포함하여 귀하가 관심을 가질 수 있는 모든 링크가 포함된 QR 코드를 여기에 제공합니다. 자세한 내용을 보려면 사진을 찍거나 코드를 스캔하세요. 세션이 끝난 후 질문이 있으면 Twitter에서 저를 찾아보실 수 있습니다.
시간 내주셔서 다시 한 번 감사드리며, 모두 즐겁고 행복한 하루 보내시기 바랍니다.
PPT 내용을 참조하려면 여기를 클릭하세요: https://img.foresightnews.pro/file/L2(0920).pdf
모든 댓글