Rollup 생태계의 개발 상태에 대한 개요
원저자:Alex Beckett
원문 편집: The Way of DeFi
원저자:
Optimistic Rollup
원문 편집: The Way of DeFi
롤업은 2019년 데뷔 이후 먼 길을 왔습니다. 우리는 많은 하이브리드 진화를 포함하는 다양한 다른 유망한 Rollup 이론적 설계뿐만 아니라 두 개의 주요 경쟁자 진영의 형성을 보았습니다. 2022년 중반, Rollup 생태계의 현재 개발 상황을 살펴보겠습니다.
일반 낙관적 롤업은 zk-롤업보다 메인넷 라이브 사용량이 훨씬 더 길기 때문에 대부분의 롤업 애플리케이션을 얻습니다. 두 가지 주요 Optimistic Rollup 앱은 Arbitrum과 Optimism이며 한동안 사용되었습니다.
TVL로 측정한 Arbitrum은 24억 달러로 가장 높은 순위를 기록했습니다. 1년 중 더 좋은 기간 동안 메인넷에서 실행되고 있음에도 불구하고 시스템은 여전히 교육 테스트 중입니다. 현재 Arbitrum을 개발하는 독립체인 Offchain Labs는 단일 중앙 집중식 주문자를 운영합니다. 대화형 사기 증거는 실시간이지만 개별 주문자는 사기 증거를 생성하기 위해 분쟁을 제출할 수 있는 유일한 화이트리스트에 있는 엔터티입니다. 사용자 관점에서 그들은 탈중앙화를 향한 점진적인 움직임에도 불구하고 여전히 시스템에 대한 많은 신뢰를 가져야 합니다.
Arbitrum의 다음 프로토콜 업그레이드인 Nitro는 이미 devnet에서 실행 중이며 기존 아키텍처를 정밀 검사하여 맞춤형 Arbitrum 가상 머신을 WASM-Geth 조합으로 대체합니다. Arbitrum의 대화형 사기 증명은 WASM에서 실행되며 노드 소프트웨어는 일부 롤업 관련 최적화와 함께 Geth와 동등한 코드베이스를 갖습니다. 대체로 Nitro는 상당한 최적화, 더 높은 성능 및 더 나은 EVM 호환성을 제공할 것입니다.
Optimism은 두 번째로 큰 낙관적 롤업이며 TVL의 모든 롤업 중에서 4억 6,900만 달러로 세 번째입니다. Optimism PBC의 경우는 중앙 집중식 분류기가 하나만 있는 Arbitrum의 경우와 유사합니다. 그러나 Optimism PBC는 주문자로부터 얻은 이익을 소급하여 공공재에 자금을 지원함으로써 네트워크에 긍정적인 혜택을 제공하는 방법을 찾았습니다. 1차에서는 58개 공익 사업에 총 100만 달러를 기부했다. 중앙 집중식 주문의 경우 긍정적인 영향을 미칠 수 있는 방법이 있다면 이것이 취할 길입니다.
현재 Optimism은 사기 증거가 부족하지만 점진적인 분산화와 필요한 보안 업그레이드를 기대합니다. 이는 표준이기도 합니다. 그러나 거의 모든 롤업에는 즉시 또는 지연된 업그레이드 기능이 있으므로 롤업의 보안은 궁극적으로 멀티시그 업그레이드에 달려 있습니다.
다가오는 Bedrock 업그레이드는 Optimism의 아키텍처를 Arbitrium과 유사한 것으로 변경할 것입니다. 현재 Optimism 가상 머신은 노드 소프트웨어가 일반 Ethereum Geth 노드와 동일한 MIPS-Geth 조합으로 대체될 것입니다. 대화형 사기 증명은 원래의 비 대화형 사기 증명에 대한 업그레이드인 추가 기능으로도 사용할 수 있습니다. 일반적으로 Bedrock은 시스템에 많은 기능과 개선 사항을 추가하여 Optimism을 위한 주요 단계가 될 것입니다.
그건 그렇고, 낙관주의는 비금권적 거버넌스를 실험하기 위한 큰 발걸음이기도 합니다. 토큰 하우스와 시민 하우스, 두 하우스 사이에서 의사 결정이 이루어집니다. 토큰 하우스는 일반 토큰을 사용하여 투표하는 반면 시민 하우스는 1인 1표 시스템을 사용합니다. 이러한 점에서 이러한 시스템에서 가장 어려운 장애물은 Sybil 공격 가능성을 최소화하면서 사용자에게 시민권을 할당하는 가장 좋은 방법을 찾는 것일 수 있습니다. 이용자가 복수국적을 취득할 수 있다면 일반 시민보다 거버넌스에 더 많은 영향력을 효과적으로 행사할 수 있다. 낙관주의는 그들이 시민권을 나타내기 위해 양도할 수 없는 NFT를 사용할 것이지만 더 많은 투표를 위해 개인 키를 교환하는 개인의 위협이 남아 있다고 지적합니다.
Fuel은 Optimsitic Rollup 공간에서 주목할만한 또 다른 업체로 Arbitrum 및 Optimism과는 매우 다른 접근 방식을 취하고 있습니다. Fuel Labs는 Rust 기반 프로그래밍 언어를 사용하여 Fuel V2용 맞춤형 VM을 구축하고 있습니다. EVM 호환 롤업은 이더리움 개발 생태계를 롤업에 온보딩하는 데 특히 유용하지만, 맞춤형 VM은 기존 표준을 고수할 필요가 없기 때문에 가장 큰 성능 향상을 얻을 수 있는 곳입니다.
Fuel V2에서 제가 가장 좋아하는 부분은 아마도 병렬 트랜잭션 처리일 것입니다. 주로 데이터 용량이 충분해지면 처리량 병목 현상이 실행되기 때문입니다. 처리량 병목 현상이 실행으로 전환되면 병렬 처리를 구현하는 롤업은 그렇지 않은 롤업보다 유리합니다. 특히, Fuel V1은 이더리움에서 실행되는 최초의 메인넷 낙관적 롤업이었으며 무허가 주문자와 사기성 분쟁이 있고 업그레이드된 멀티시그가 없는 유일한 롤업으로 남아 있습니다.
현재 형태에서 낙관적 롤업은 zk-롤업보다 훨씬 우수합니다. 두 가지 주요 고려 사항은 다음과 같습니다.
Zk-rollup
완전하고 무제한적인 결합성: zk-롤업은 zk 회로에서 스마트 계약을 구성하는 데 내재된 어려움이 있습니다. 일반적으로 구성 가능한 유일한 zk-롤업은 StarkNet으로, 현재 허가된 스마트 계약 배포가 있으며 브리지가 지원할 수 있는 TVL의 양에 상한을 설정합니다. 다른 모든 zk-롤업은 애플리케이션에 따라 다르거나 토큰 전송만 가능합니다.
EVM 호환성: zk 회로는 EVM에서 표준인 특정 유형의 암호화와 고유한 호환성 문제가 있어 zkEVM을 매우 어려운 작업으로 만듭니다. Optimistic Rollup은 EVM과 호환되는 메인넷에서 얼마 동안 사용되었으며 업그레이드를 통해 동등성을 더욱 달성할 것으로 예상됩니다.
Starknet은 현재 메인넷에서 실행되는 유일한 범용 구성 가능한 zk-rollup입니다. 그러나 시스템은 여전히 다양한 제한이 있는 초기 알파 모드에 있습니다. 스타크넷과 이더리움 사이의 다리는 일정량의 TVL로 제한되어 있으며 출시 이후 점차 증가하고 있습니다. StarkNet의 스마트 계약 배포도 허용 목록에 있습니다. 개발자가 배포하려는 모든 카이로 계약을 감사할 수 있는 감사자가 충분하지 않을 수 있으므로 스마트 연결 오류의 위험을 줄이기 위한 것이라고 생각합니다. 당분간 StarkWare가 이 역할을 수행하는 것이 이치에 맞습니다. 존재. 감사 가능성은 새로운 사용자 정의 언어의 일반적인 단점 중 하나이며 zk 시스템의 복잡성은 이를 악화시킬 뿐입니다. 궁극적으로 StarkNet이 현재 선두에 있습니다.테스트넷ZkSync는 또 다른 주요 "zk-rollup" 경쟁자이며 얼마 동안 zkSync 2.0을 사용하여 범용 zk-rollup을 구축했습니다. 최근의
테스트넷
라이브 테스트넷에서 zkEVM의 첫 번째 인스턴스를 표시합니다. 그러나 zkPorter가 추가되면서 zkSync 2.0은 단순한 롤업 이상입니다. 이것은 사용자가 트랜잭션 데이터를 게시하기 위해 zkPorter와 Ethereum 중에서 선택할 수 있는 Volition이 될 것입니다. Ethereum이 댄크샤딩을 사용하여 데이터 처리량을 업그레이드하는 동안 Volition은 거래 비용의 안전성 내에서 사용자에게 옵션을 제공하는 좋은 중간 지점입니다.
대부분의 zk-rollup은 확장성을 우선시하지만 프라이버시는 zk-rollup이 활성화할 수 있는 또 다른 중요한 측면입니다. Aztec은 현재 비공개 토큰 전송 zk-rollup(zk.money)을 통해 프라이버시 공간에서 선두를 달리고 있습니다. 그들은 제가 아는 유일한 프라이버시 중심의 이더리움 롤업입니다. Aztec은 다음 주에 Aztec connect를 출시하여 사용자가 Ethereum DeFi에 비공개로 액세스할 수 있도록 합니다. 이것은 거래를 직접 차단하기보다 난독화를 통해서만 프라이버시가 달성되는 Tornado Cash와 같은 것을 사용하는 것보다 크게 개선된 것입니다. 아무도 귀하의 Tornado 지갑을 연결하지 않거나 귀하의 프라이버시가 올라가지 않기를 바랍니다.
Zk-롤업은 이미 복잡하며 프라이버시를 추가하면 문제가 더욱 복잡해집니다. zk-rollup이 개인적으로 구성 가능한 스마트 계약 상태에 도달하지 못할 가능성이 있습니다. 이 때문에 zk-rollup 또는 zk-rollup 위에 유효성 검사를 통해 응용 프로그램별 체인을 통해 프라이버시가 나타날 수 있습니다.
Scroll 및 Polygon을 위한 다양한 프로젝트를 포함하여 다양한 다른 zk-rollup도 프로덕션에 존재합니다. zk-rollups의 큰 차이점은 맞춤형 VM 또는 zkEVM 실행 환경을 사용한다는 것입니다. 장점과 단점은 낙관적 롤업과 유사합니다. 그러나 zk-rollup은 zkEVM을 구현할 때 더 복잡합니다. 따라서 StarkNet 및 Cairo와 같은 사용자 정의 VM 및 언어를 사용하는 경로를 진행하는 데 매우 강력한 사례가 될 수 있습니다.
소버린 롤업
롤업 범주의 마지막 두 개는 현재 이론적이지만 활발히 개발 중입니다. Sovereign Rollup은 기본 레이어와 독립적으로 포크할 수 있는 포크 선택 규칙이 있다는 점에서 일반적인 롤업과 다릅니다. 대신 일반 롤업은 포크 선택을 결제 계층에 위임합니다. 결제 계층은 롤업의 정확성을 보장해야 하기 때문에 결제 계층이어야 합니다.
소버린 롤업은 DA 레이어가 롤업 트랜잭션의 정확성을 보장할 수 없는 Celestia와 같은 데이터 가용성(DA) 레이어에서 가장 두드러집니다. 이로 인해 Celestia와 같은 것에 대한 롤업은 사기/유효성 증명 및 포크 선택을 통해 자체 트랜잭션 정확성을 보장해야 하므로 기본적으로 자주적입니다. 이것은 트랜잭션 주문에 동의하기 위해 Celestia가 제공한 합의로 오인되어서는 안 됩니다.
낙관적 주권 롤업의 경우 트랜잭션이 정확하다고 가정하므로 롤업 노드는 Celestia에서 블록 데이터만 다운로드하면 됩니다. Zk - 주권 롤업은 p2p 네트워크를 통해 롤업 노드 간에 배포되는 유효성 증명을 통해 정확성을 보장합니다.
나에게 소버린 롤업의 중요성은 이러한 롤업이 기본 레이어와 진정으로 독립적일 수 있도록 포크하는 기능입니다. 본질적으로 소버린 롤업은 사회적 의지 메커니즘을 되찾습니다.
결산 롤업
합의 롤업은 합의를 위해 만들어진 소버린 롤업입니다. 중요한 것은 결제 계층이 양방향 신뢰 최소화 브리지 및 롤업이 있는 모든 블록체인이라는 것입니다. 브리지를 사용하면 롤업 레이어와 결제 레이어 간에 양방향으로 토큰을 전송할 수 있습니다. 신뢰 최소화는 통신이 데이터 가용성 및 사기/타당성을 확인하여 입증된 정직한 몇 가지 가정에만 의존하는 브리지의 속성입니다.
Validum
모든 결제 계층과 마찬가지로 결제 롤업의 목적은 "롤업"을 위한 환경을 제공하여 증명을 확인하고 분쟁을 해결하며 토큰을 연결하는 것입니다. 그러나 정산 위의 "롤업"은 정산 롤업이 상주하는 데이터 가용성 계층을 통해 오프 체인 DA를 사용한다는 점에서 기술적으로 하이브리드입니다. 일종의 유효성 또는 일종의 낙관적 유효성을 만듭니다.
하이브리드 롤업
StarkEx는 신뢰할 수 있는 당사자 그룹으로 구성된 데이터 가용성 위원회(DAC)를 사용하여 StarkEx 검증을 위한 데이터 가용성을 제공합니다. 승인된 위원회에 데이터 가용성을 위임하면 보안이 감소하지만 StarkEx 유효성 검사를 통해 zk-rollup보다 저렴한 트랜잭션을 제공할 수 있습니다. 이더리움에 데이터를 게시하는 비용이 비싸기 때문에 비용 절감이 가능합니다. 롤업 거래 수수료로 이어지는 주요 가변 비용이기도 합니다.
외부 데이터 가용성 계층을 사용하면 DAC 인증의 일부 보안 문제를 완화할 수 있습니다. 보안의 주요 증가는 부정직한 활동에 대해 노드를 투옥하고 처벌할 수 있는 블록체인이 제공하는 암호 경제 보안에서 비롯됩니다. 이에 대한 Validium 구현은 "Rollup" 범위 내에서 비용-안전 절충에 대한 흥미로운 추가 사항입니다.Celestia
Optimistic Validium
이미지 설명
의 이미지
Volition
유효성 검사와 마찬가지로 낙관적 유효성 검사는 트랜잭션 데이터가 오프체인에 게시되는 하이브리드 낙관적 롤업입니다. 이 특정 잡종을 무엇이라고 불러야 하는지에 대한 일반적인 합의가 없으므로 여기에 내가 말할 것입니다.
Metis는 현재 낙관적 롤업 모델에서 보안을 희생하면서 거래 수수료를 낮추는 유일한 낙관적 검증입니다. 낙관적 유효성은 사기 증거를 생성하고 분쟁을 성공적으로 해결하기 위해 데이터 가용성이 필요하기 때문에 유효성 검증에 대한 보안 보장이 약합니다. 사기 증명은 분쟁이 발생하고 관련 상태 전환에 대한 데이터를 사용할 수 없는 경우 사기를 증명할 수 없습니다. 따라서 오프체인 데이터 가용성 제공자가 데이터를 제공하지 못하면 Optimistic validium에서 자금을 도난당할 수 있습니다.
Adamantium
zk-rollup과 validium을 결합함으로써 Volition은 사용자에게 온체인 또는 오프체인 데이터 가용성을 선택할 수 있는 하이브리드입니다. 선택은 개별 거래 수준에서 이루어지며 오프체인 데이터는 더 저렴한 수수료와 낮은 보안을 나타내는 반면 온체인 데이터는 더 높은 수수료와 더 큰 보안을 나타냅니다. 이는 사용자의 비용-안전 선호도에 맞는 체인을 명시적으로 찾는 대신 단일 시스템에서 제공하는 선택의 자유를 사용자에게 제공합니다.
Enshrined rollup
Adamantium은 모든 사람이 개인적으로 자신의 데이터 가용성을 네트워크에 제공하는 검증입니다. 개인의 트랜잭션 데이터는 개인적으로(오프체인) 저장되며 각 블록의 데이터 가용성을 증명하기 위해 온라인 상태를 유지해야 합니다. 사용자가 오프라인 상태이거나 증명에 실패하면 자금이 온체인에서 결제 계층으로 자동 인출됩니다. StarkWare가 아다만티움 설계를 내놓았지만 StarkWare나 다른 팀이 작업 중이라는 명확한 표시는 없습니다. 궁극적으로 이것이 개발되면 보안에 대해 더 많은 개인적 제어를 원하는 사용자 또는 엔티티를 위한 틈새 옵션이 될 수 있습니다. 이것이 바로 아다만티움 사용자를 "파워 사용자"라고 부르는 이유입니다.
