편집자 주: 이 기사의 출처는이더리움 애호가(ID: ethfans)편집자 주: 이 기사의 출처는
이더리움 애호가(ID: ethfans)
, 저자: Vitalik, 번역 및 교정: Shengchao & A Jian, 승인을 받아 Odaily에서 복제.번역가의 메모:
원문에서 Rollup은 단수형과 복수형으로 동시에 여러 번 나타나며, 번역문에서는 일관되게 첫 글자를 대문자로 한 Rollup으로 결정한다.롤업은 현재 이더리움 커뮤니티에서 이미 매우 유명합니다. 가까운 미래에 롤업은 확장을 달성하기 위한 이더리움의 핵심 솔루션입니다. 그러나 롤업이 정확히 무엇입니까? 이 기술에서 무엇을 얻을 수 있으며 어떻게 사용할 수 있습니까? 이 문서에서는 몇 가지 주요 질문에 답하려고 합니다.배경 지식: Layer 1 확장이란 무엇이며 Layer 2 확장이란 무엇입니까?
두 번째 확장 방법은 블록체인 사용 방식을 변경하는 것입니다. 사용자는 모든 활동을 블록체인 메인 체인에 직접 넣을 필요는 없지만 메인 체인 외부의 "두 번째 레이어" 프로토콜에서 대부분의 활동을 수행하고 체인 외부에서 발생한 모든 활동을 증명하는 인증서를 생성합니다. 모두 다음을 따릅니다. 규칙. 스마트 컨트랙트는 메인 체인에 배치되며, 입금 및 출금 처리와 위의 증명을 확인하는 두 가지 작업만 수행합니다. 증명 및 검증을 구현하는 방법에는 여러 가지가 있지만 모두 온체인에서 증명을 검증하는 것이 오프체인에서 원시 계산을 수행하는 것보다 훨씬 저렴하다는 공통 속성이 있습니다.중국어 번역）。상태 채널 대 플라즈마 대 롤업
레이어 2 확장에는 상태 채널, 플라즈마 및 롤업의 세 가지 주요 솔루션이 있습니다. 세 가지 시나리오는 각각 장단점이 있는 세 가지 패러다임을 나타냅니다. 모든 Layer 2 확장은 대략 이 세 가지 범주에 속합니다("validium"과 같은 일부 타협 솔루션을 분류하는 방법에 대한 논란이 있음)(편집자 주:https://www.jeffcoleman.ca/state-channels ，statechannels.org상태 채널은 어떻게 작동합니까?"또한보십시오"Alice가 Bob에게 네트워크 연결 서비스를 제공한다고 상상해 보십시오. 그 대가로 Bob은 Alice에게 온라인에서 생성된 트래픽에 대해 $0.001/MB를 지불합니다. Bob은 1계층 메인 체인에서 모든 수수료를 지불할 필요가 없으며 양 당사자는 다음과 같은 2계층 솔루션을 사용합니다.먼저 Bob은 스마트 계약에 1달러(스테이블 코인 또는 이에 상응하는 ETH)를 예치합니다. Alice에게 첫 번째 지불을 하기 위해 Bob은청구서
(오프체인 메시지) "티켓"은 "$0.001"라고 말하고 앨리스에게 보냅니다. 두 번째 지불을 위해 Bob은 "$0.002"라고 적힌 다른 메모에 서명하고 Alice에게 보냅니다. 등등, 각 지불에 대해 이 프로세스를 반복합니다(번역자 주: 상태 채널 참가자는 최신 상태 변경만 유지하면 되므로 새 티켓에 서명한 후에는 이전 티켓이 무효화됩니다). Alice와 Bob이 거래를 완료하면 Alice는 가장 가치 있는 청구서 패키지에 서명을 게시하고 메인 체인에 게시할 수 있습니다(채널 닫기). 스마트 계약은 Alice와 Bob의 서명을 모두 확인하고, 확인이 통과된 후 Bob의 티켓에 표시된 금액을 Alice에게 지불하고 나머지 금액(번역자 주: $1에서 전자를 뺀 금액)을 Bob에게 반환합니다. Alice(악의 또는 기술적 오류로 인해)가 채널을 닫지 않으려는 경우 Bob은 인출 시도 기간(예: 7일)을 시작할 수 있습니다. Alice가 이 기간 내에 Bob이 지불한 청구서를 제공할 수 없는 경우 Bob은 반환할 수 있습니다. 이전 스마트 계약에 저장된 모든 돈.상태 채널 기술은 강력합니다. 일반화된 상태 채널은 양방향 지불을 지원하고, 스마트 계약을 구현하고(예: Alice와 Bob이 채널에서 금융 계약에 서명) 구성 가능합니다(Alice와 Bob 사이에 열린 채널이 있는 경우, 밥 또한 앨리스와 찰리 사이에 열린 채널이 있으므로 앨리스는 신뢰 없이 찰리와 상호 작용할 수 있습니다. 그러나 채널의 역할은 제한적입니다. 아직 채널에 가입하지 않은 사용자에게 오프체인 자금을 보낼 수 없으며 명확한 논리적 소유자가 없는 개체(예: Uniswap 스마트 계약)에 사용할 수 없습니다. 또한 채널에서 처리하는 거래가 소액 결제 시나리오보다 복잡하면 채널에 많은 자금을 잠글 필요가 있습니다.Plasma 백서 Plasma Cash 원본도 참조하십시오."메인 체인에서 플라즈마 체인으로 자산을 예치하려면 사용자는 메인 체인의 자산을 플라즈마 체인을 관리하는 스마트 계약으로 보내야 합니다. 플라즈마 체인은 자산에 새로운 고유 ID(예: 537)를 할당합니다. 모든 플라즈마 체인에는 운영자가 있습니다(이는 중앙 집중식 행위자이거나 다중 서명 또는 PoS 체인이나 DPoS 체인과 같이 더 복잡한 것으로 제어될 수 있음). 가끔씩(15초, 1시간 또는 그 사이의 시간이 될 수 있음) 운영자는 모든 플라즈마 체인의 트랜잭션 "배치"를 생성합니다. 오퍼레이터는 Merkle 트리를 생성하는데 인덱스가 X인 리프 노드에서 자산 ID가 X인 자산이 이 배치에 트랜잭션이 있으면 해당 트랜잭션이 리프 노드에 존재하고 그렇지 않으면 리프 노드는 0입니다. 운영자는 이 트리의 Merkle 루트를 메인 체인에 게시합니다. 운영자는 또한 각 인덱스 X의 머클 포크를 해당 자산의 현재 소유자에게 보내야 합니다. 플라즈마 체인에서 메인 체인으로 자산을 추출해야 하는 경우 사용자는 자산의 마지막 트랜잭션에 해당하는 Merkle 분기를 메인 체인의 스마트 계약으로 보내야 합니다. 그런 다음 스마트 계약은 챌린지 기간(예: 7일)을 시작하여 누구나 다른 Merkle 포크를 사용하여 다음을 증명할 수 있습니다. 어느 시점에서 자산이 다른 사람에게 전송되어 출금 신청이 무효화되었습니다. 7일 이내에 아무도 인출이 사기였다는 것을 증명하지 못하면 사용자는 자산을 성공적으로 돌려받을 수 있습니다."Plasma는 상태 채널보다 강력한 기능을 제공합니다. 계층 2에 가입한 적이 없는 사용자에게 자산을 보낼 수 있으며 잠긴 자금이 훨씬 적습니다. 그러나 여기에는 대가가 따릅니다. 상태 채널은 "정상"일 때 메인 체인에 데이터를 저장할 필요가 없지만 Plasma는 각 체인이 메인 체인에 해시 값을 자주 게시하도록 요구합니다. 또한 플라즈마 체인의 트랜잭션에는 즉시성이 없습니다. 즉, 트랜잭션 배치(플라즈마 블록이라고도 함)의 증거(즉, Merkle 루트 값)가 메인 체인으로 전송될 때까지 기다려야 합니다.Rollup
또한 플라즈마와 상태 채널 모두 중요한 결함이 있습니다. 보안 모델의 기본이 되는 게임 이론은 두 시스템에 의해 제어되는 자산이 논리적으로 가져야 한다는 생각에 의존합니다.. 자산 소유자가 자산에 관심을 갖는 한 해당 자산과 관련된 상태 변경이 "무효"일 때 자산 소유자는 변경이 "무효"임을 보여줄 방법을 찾을 것입니다. 이것은 일부 응용 프로그램에서는 관련이 없지만 다른 많은 응용 프로그램(예: Uniswap)에서는 문제가 됩니다. 가정 종속성이라는 개념은 모순됩니다). 시스템에 있는 객체의 상태가 시스템 소유자의 동의 없이 변경될 수 있어도(예를 들어 계정 기반 시스템에서는 소유자의 동의 없이 잔액을 늘릴 수 있음) Plasma 호환으로는 잘 작동하지 않습니다. . 즉, 현실에서 플라즈마나 상태 채널을 배치할 때 "특정 애플리케이션"의 잠재적인 로직 설계 커스터마이즈 방안을 추론할 필요가 있으며, 이더리움 운영 환경(즉, "EVM")을 완벽하게 시뮬레이션할 수 있는 플라즈마를 만드는 것은 불가능합니다. ) 또는 상태 채널 시스템. 다음으로 롤업이 이 문제를 어떻게 해결하는지 살펴보겠습니다.참조: EthHub의 낙관적 롤업 소개, EthHub의 ZK 롤업 소개
플라즈마 및 상태 채널 방식은 모두 데이터와 계산을 오프체인(즉, 자체 계층 2 시스템으로) 이동한다는 점에서 "완전한" 계층 2 방식입니다. 그러나 데이터 가용성의 기본 게임 이론 원칙은 이러한 시스템이 모든 애플리케이션을 안전하게 구현할 수 없음을 의미합니다. 플라즈마 및 상태 채널은 자산 개체와 소유자 간의 관계를 명시적으로 만들어 이 문제를 해결하지만, 이로 인해 완전히 일반화되지는 않습니다. 롤업은 "하이브리드 특성"을 가진 2계층 솔루션이라는 점에서 이전 두 가지와 다릅니다. 롤업은 계산(및 전체 상태 저장소)을 오프체인으로 이동하지만 각 트랜잭션에 대한 부분 데이터 정보는 온체인에 유지합니다. 효율성을 향상시키기 위해 Rollup은 일련의 멋진 압축 트릭을 사용하고 가능할 때마다 데이터를 계산으로 대체합니다. 결과적으로 이 시스템의 확장성은 여전히 기본 블록체인의 데이터 대역폭에 의해 제한되지만 이를 기반으로 달성된 확장 배수는 매우 인상적입니다. 그러나 롤업에서는 각 트랜잭션이 메인 체인에 16바이트의 데이터만 저장하면 되며 소비되는 가스는 300 미만입니다.
메인 체인의 데이터 저장은 Rollup의 핵심 요소입니다. 메인 체인에 데이터를 저장하고 합의를 수행하면 누구나 사기 탐지, 인출 시작, 배치 생성 등 롤업의 모든 작업을 로컬에서 처리할 수 있습니다. 데이터 가용성 문제가 없기 때문에 운영자가 악을 행하거나 오프라인 상태가 되는 경우(예: 1주 종료 지연을 유발할 수 없음) 상대적으로 피해가 적고 배치 발행 권한이 누구에게 있는지 보다 명확하게 볼 수 있습니다. 롤업을 이해하기 쉽게 만듭니다. 더 중요한 것은 데이터 가용성이 없다는 것은 자산이 소유자와 명확한 논리적 매핑 관계를 가질 필요가 없다는 것을 의미합니다. 다른 레이어 2 확장 솔루션과 비교할 때 이것은 이더리움 커뮤니티가 롤업에 대해 더 흥분하게 만드는 중요한 요소입니다. 롤업은 보편적입니다. 예를 들어 EVM은 롤업에서 실행될 수 있으므로 기존 이더리움 애플리케이션을 새 애플리케이션을 작성하지 않고도 구현할 수 있습니다 .코드의 경우 롤업으로 마이그레이션합니다.메인 체인에는 스마트 컨트랙트가 있고 롤업 상태를 나타내는 머클 루트인 상태 루트가 있습니다. (상태 내용에는 Rollup 내 계정 잔액, 계약 코드 등이 포함됩니다.)Optimistic rollups vs ZK rollups
누구나 메인 체인의 스마트 컨트랙트에서 배치 트랜잭션(트랜잭션)을 시작할 수 있습니다.이 배치는 이전 상태 루트와 새 상태 루트(새로운 배치 트랜잭션 실행 후 생성된 상태 루트). 메인 체인 계약은 이전 상태 루트가 새 상태 루트와 일치하는지 여부를 확인합니다(번역자 주: 즉, 이 트랜잭션 집합 배치에 의해 트리거된 상태 전환에 의해 새 상태 루트가 생성될 수 있는지 여부). 검증이 통과되면 메인 체인의 이전 상태 루트가 새 상태 루트로 업데이트됩니다.- 입금(번역자 주: 메인 체인의 다른 곳에서 롤업 계약으로 자산 입금) 및 인출(번역자 주: 롤업 계약이 자체 자산을 제어하지 못하도록 해제하고 체인의 다른 위치로 반환)을 지원하기 위해 일괄 처리 트랜잭션의 입력 또는 출력은 롤업 "외부" 상태일 수 있습니다. 입력이 롤업 외부에서 오는 트랜잭션이 배치에 있는 경우 이 배치 작업은 메인 체인의 다른 위치에서 롤업 계약으로 자산을 전송합니다. 롤업 외부에서 오는 배치에 트랜잭션 출력이 있는 경우 이 배치는 스마트 계약에서 인출 작업을 트리거하여 자산을 롤업에서 메인 체인으로 다시 가져옵니다.
- ZK Rollup,전체 프로세스는 그렇게 간단합니다! 그러나 한 가지 더 자세한 내용이 있습니다. 배치 실행이 완료된 후 상태 루트가 올바른지 어떻게 알 수 있습니까? 누군가 결과 없이 가짜 상태 루트를 제출할 수 있다면 모든 자산을 자신에게 이전할 수 있습니다. 이 문제는 이 문제에 대한 두 가지 솔루션이 있어 두 가지 유형의 롤업이 발생하기 때문에 중요합니다.
낙관적 롤업은 사기 증명을 사용하여 위의 문제를 해결합니다. 메인 체인의 롤업 계약은 롤업의 내부 상태 루트 변경에 대한 전체 기록과 각 배치의 해시 값(상태 루트 변경 트리거)을 기록합니다. 누군가 배치에 해당하는 새로운 상태 루트가 잘못되었음을 발견하면 배치에 의해 생성된 새로운 상태 루트가 잘못되었다는 증거를 메인 체인에 게시할 수 있습니다. 컨트랙트는 증명을 검증하고 검증이 통과되면 배치 이후의 모든 배치 트랜잭션이 롤백됩니다.유효성 증명을 사용하여 위의 문제 해결: 각 배치에는 ZK-SNARK라는 암호화 증명이 포함되어 있습니다(예: PLONK 프로토콜을 사용하여 이 배치 작업 후 새 상태를 이전 상태에서 변환할 수 있음을 증명합니다(번역자 주: ZK에서 롤업, 제출된 암호 증명은 작은 크기와 빠른 검증의 특성만 있으면 되고, 영지식일 필요는 없기 때문에 ZK 롤업은 SNARK에 의해서만 구현될 수 있으며, ZK-SNARK가 반드시 필요한 것은 아닙니다. , ZK Rollup에서는 일괄 거래 정보가 메인 체인에 저장되고 이 정보가 암호 증명 시스템에서 정확히 증명된 것이기 때문에 ZK Rollup 자체에는 영지식이 없으며 영지식이 있는 ZK Rollup을 ZK라고 합니다. ZK Rollup).Batch의 계산량에 관계없이 메인 체인에서 증명을 효율적으로 검증할 수 있습니다.
일반적으로 저만의 관점은 단기적으로는 Optimisitc Rollup이 범용 EVM 구현에서 승리할 가능성이 높고 ZK Rollup은 단순 결제, 송금 및 기타 특정 애플리케이션에서 승리할 가능성이 높다는 것입니다. 그러나 중장기적으로 ZK-SNARK 기술의 개선으로 ZK Rollup은 모든 애플리케이션 시나리오에서 승리할 것입니다.낙관적 롤업의 보안은 누군가 잘못된 배치를 롤업에 게시하면 체인을 동기화한 모든 사람이 메인 체인의 계약에 사기 증거를 발행하여 배치 처리가 유효하지 않으며 롤백(번역자 주: 여기에서 저자의 "체인"이 메인 체인을 가리키는지 롤업을 가리키는지는 둘 다 맞지만 명확하지 않습니다.)
배치가 유효하지 않다고 주장하는 사기 증거는 위 다이어그램에서 녹색으로 식별된 데이터를 포함해야 합니다. 배치 자체(온체인에 저장된 해시에 대해 확인 가능) 및 배치가 특정 계정의 머클 트리를 읽거나 수정했다는 증거 길. 노란색 노드는 녹색 노드로 재구성할 수 있으므로 증명에 포함할 필요가 없습니다. 이 데이터는 일괄 처리를 수행하고 새 상태 루트를 계산하기에 충분합니다(이는 상태 비저장 클라이언트가 단일 블록을 확인하는 것과 정확히 동일한 방식임에 유의하십시오). 계산된 새 상태 루트가 일괄 처리에 제공된 것과 동일하지 않으면 일괄 처리가 사기인 것으로 판명됩니다.
보장되는 것은 배치에 오류가 있고 모든 이전 배치가 올바른 경우 배치가 잘못 구성되었음을 증명하는 사기 증거를 생성할 수 있다는 것입니다. 롤업에 유효하지 않은 배치가 여러 개 있는 경우 가장 오래된 배치가 유효하지 않음을 증명하는 것이 가장 좋습니다. 물론 보장되는 것은 배치가 정확하면 배치가 유효하지 않다는 사기 증거를 생성하는 것이 불가능하다는 것입니다.- 가장 간단한 Ethereum 전송(ETH 전송)은 약 110바이트가 걸리지만 Rollup에서 ETH 전송을 구현하는 데는 약 12바이트만 필요합니다.
- 이것은 부분적으로 롤업이 더 간단한 고급 인코딩 기술을 사용할 수 있는 반면, 이더리움의 RLP는 현재 각 값의 길이에서 1바이트를 낭비하기 때문입니다. 동시에 Rollup은 매우 영리한 압축 트릭을 사용합니다.
- Nonce: 이 매개변수의 목적은 재생을 방지하는 것입니다. account state의 현재 nonce가 5라면 해당 account의 다음 transaction의 nonce parameter는 5여야 하지만 일단 transaction이 처리되면 account state의 nonce는 6으로 증가하게 되어 트랜잭션이 nonce 5는 다시 패킹되지 않습니다. 롤업에서는 nonce를 업데이트 전 상태에서 복원하기만 하면 되기 때문에 nonce를 완전히 생략할 수 있습니다. 더 큰 nonce 데이터.
- 가스 가격: 사용자가 가스 가격의 고정 범위로 지불하도록 허용할 수 있습니다. 예를 들어 범위는 0-2에서 16의 거듭제곱입니다. 또는 배치당 고정 수수료를 부과하거나 가스 지불을 롤업에서 완전히 이동하여 거래자가 특정 채널을 통해 배치 생성자에게 지불하도록 할 수 있습니다.
- 가스: 가스의 총량을 2의 거듭제곱으로 선택할 수도 있습니다. 또는 배치 수준에서만 가스 한도를 설정할 수도 있습니다. (번역자 주: 여기서 Gas Price와 Gas는 롤업 컨트랙트와 이더리움 네트워크를 통한 전송으로 생성되는 데이터의 양을 비교하기 위한 것입니다. 롤업 프로토콜에 이러한 개념이 포함되어야 한다는 의미는 아닙니다. 예를 들어 낙관적 롤업으로서의 연료 UTXO를 기반으로 하는 프로토콜에는 이러한 개념이 전혀 포함되어 있지 않습니다.)
To: 20바이트 주소를 색인으로 대체할 수 있습니다(예를 들어, 주소가 트리에 추가된 4527번째 주소인 경우 색인 4527을 사용하여 표시합니다. 상태에 하위 트리를 추가하여 색인을 저장할 것입니다. 주소 매핑)."값: 과학적 표기법으로 값을 저장할 수 있습니다. 대부분의 경우 전송에는 1-3개의 유효 숫자만 필요합니다."서명: BLS를 사용하여 서명을 집계할 수 있으므로 많은 서명이 약 32 - 96바이트(사용된 프로토콜에 따라 다름)의 단일 서명으로 집계됩니다. 그런 다음 이 서명을 일괄 처리하여 전체 메시지 집합과 보낸 사람의 서명을 한 번에 확인할 수 있습니다. 표의 ~0.5는 메인 체인 블록에서 검증할 수 있는 집계 서명의 수가 제한되어 있으므로 배치에 트랜잭션이 많은 경우 트랜잭션 100개마다 집계 서명을 생성해야 함을 나타냅니다. (번역자 주: 일반적인 생각은 집계된 원본 서명의 수가 증가함에 따라 집계된 서명을 확인하는 데 필요한 계산량이 증가하고 Ethereum 메인 체인 블록에서 사용할 수 있는 Gas의 수가 제한되므로 집계된 서명은 원본 서명이 너무 많습니다.)ZK 롤업에는 특별하고 중요한 압축 기술이 있습니다. 거래의 일부가 검증에만 사용되고 컴퓨팅 상태 업데이트와 관련이 없다면 데이터의 이 부분은 메인 체인에 저장할 필요가 없습니다. Optimisitc Rollup에서는 후속 사기 증명 검증이 가끔 필요하기 때문에 데이터가 여전히 체인에 저장되어야 하기 때문에 이것은 수행할 수 없습니다 ZK Rollup에서는 데이터 배치의 정확성을 증명하는 SNARK 증명이 입증되었습니다. 관련 당사자가 확인에 필요한 모든 데이터를 제공했음을 확인합니다. 중요한 예는 개인 정보 보호 속성을 사용한 롤업 구현입니다. 최적화 롤업에서 개인 정보 보호를 달성하려면 각 거래에서 개인 정보를 보호하는 데 사용되는 약 500바이트의 ZK-SNARK를 체인에 업로드하고 ZK에서 개인 정보 보호를 달성해야 합니다. 롤업, 전체 배치를 포괄하는 ZK-SNARK는 이미 다음을 증명할 수 있습니다.내부
ZK-SNARK는 효과적입니다. (번역자 주: SNARK는 중첩될 수 있으므로 ZK 롤업에서 개인 정보 보호를 달성하려면 최종 생성된 가장 바깥쪽 SNARK만 체인에 제출하면 됩니다. 외부 SNARK를 확인할 때 내부 SNARK가 유효합니다. 성별은 다음에서 확인할 수 있습니다. 같은 시간.)이러한 압축 기술이 롤업 확장의 핵심이며, 이러한 기술이 없으면 롤업은 메인 체인의 확장을 기준으로 약 10배의 확장을 달성할 수 있을 것입니다. 스케일링은 이미 강력하지만 압축 기술을 사용한 후에는 거의 모든 애플리케이션이 100배 이상으로 스케일링할 수 있습니다.- 낙관적 롤업 또는 ZK 롤업에서 누가 배치를 제출할 수 있는지에 대한 많은 학파가 있습니다. 일반적으로 배치를 제출하는 사용자는 큰 보증금을 약속해야 하며, 사용자가 사기성 배치를 제출한 경우(예: 유효하지 않은 상태 루트 제출) 이 보증금의 일부는 소각되고 다른 일부는 소각됩니다. 사기 증거를 제출한 사용자에게 보상합니다. 그러나 그 외에도 많은 가능성이 있습니다.
- (번역자 주, 배치를 메인 체인에 게시할 수 있는 사용자를 시퀀서(정렬기)라고 합니다. 이 용어가 붙은 이유는 이 역할이 배치에서 트랜잭션을 정렬해야 하기 때문입니다.)
- 완전 무허가 분류기: 누구나 언제든지 배치를 제출할 수 있습니다. 이 방법은 가장 간단하지만 여러 참가자가 동시에 배치를 생성하고 제출하려고 시도하는 문제와 같은 몇 가지 심각한 단점이 있으며 그 중 하나만 성공적으로 포함될 수 있습니다. 이로 인해 증명을 생성하는 데 많은 양의 계산 오버헤드가 낭비되거나 증명을 제출하는 데 가스 오버헤드가 발생합니다.
- 중앙분류기 : 분류기 등의 역할을 통해 일괄 처리 제출 (출금 작업 제외 : 출금 작업 시 이용자가 먼저 출금 요청을 제출하고, 다음 배치에서 분류기가 출금 거래를 처리하지 않을 경우 사용자가 출금 처리 후 처리) 하나의 출금 거래만 포함된 일괄 요청은 직접 제출할 수 있습니다.) 이 방법은 "효율성"이 가장 높지만 중앙 집중식 역할에 의존해야 합니다.
분류기 경매: 경매(예: 매일)를 통해 누가 다음 날의 분류기가 될 권리가 있는지 결정합니다. 이 방식의 장점은 자금을 조달할 수 있다는 점이며, 이 자금은 Rollup의 DAO(MEV 경매 참조)를 통해 분배될 수 있습니다.
PoS 컬렉션에서 임의 선택: 누구나 ETH(또는 롤업 프로토콜에 의해 설정된 토큰)를 롤업 계약에 입금할 수 있으며 각 배치 소터는 이러한 입금자 중에서 무작위로 선택되며 선택 확률은 입금과 동일합니다. 금액은 정비례합니다. 이 체계의 주요 단점은 많은 수의 자산을 잠글 필요가 있다는 것입니다."split batch"DPoS 투표: 특정 분류기는 일괄 처리를 수행하기 위해 경매로 선택되지만 실적이 저조한 경우 토큰 보유자는 투표를 통해 그들을 쫓아내고 새로운 경매를 개최하여 교체할 수 있습니다.- 현재 개발 중인 일부 롤업은 "split-batch"(
) 모드, 즉 레이어 2 트랜잭션 일괄 제출 동작과 상태 루트 제출 동작이 별도로 수행됩니다. 여기에는 몇 가지 주요 이점이 있습니다.검열 저항을 높이고 일부 다른 배치가 미리 포장되었기 때문에 일부 배치가 무효화될 것이라는 우려를 완화하기 위해 많은 분류기가 배치를 병렬로 발행하도록 허용할 수 있습니다.
하나의 상태 루트가 사기인 경우 전체 배치를 롤백하는 대신 상태 루트를 롤백하고 누군가가 동일한 배치에 대해 새 상태 루트를 제공할 때까지 기다릴 수 있습니다. 이렇게 하면 보낸 사람의 트랜잭션이 롤백되지 않습니다.
기존 이더리움 메인 체인에서 각 블록의 Gas 라인은 1,250만 개이며 트랜잭션의 각 바이트는 체인에서 16 Gas를 소비합니다. 즉, 블록에 하나의 배치만 포함된 경우(ZK 롤업이 여기에서 사용되고 검증 증명 비용이 500,000 Gas라고 가정) 이 배치에는 1,200만 / 16 = 750,000바이트의 데이터가 포함될 수 있습니다. 위에서 언급했듯이 Rollup의 각 ETH 전송에는 12바이트의 저장 공간만 필요하므로 각 배치에는 62,500개의 트랜잭션이 포함될 수 있습니다. 현재 이더리움 메인 체인의 블록 간격은 13초로, 실현된 TPS는 약 4807입니다(비교하여 이더리움 메인 체인에서 ETH 전송의 TPS는 약 1250000 / 21000 / 13 = 45입니다).
다음 표에는 일부 다른 애플리케이션 시나리오의 확장 효율성이 포함되어 있습니다.최대 확장 배수 계산 방법: 이더리움 메인 체인에서 해당 작업의 가스 소비 / (롤업에서 해당 작업을 위해 체인에 업로드할 바이트 수 * 16) * 1200만 / 12.500만
몇 가지 이유로 이러한 수치는 실제로 지나치게 낙관적이라는 점에 유의해야 합니다. 가장 중요한 이유는 여러 롤업 시스템이 있기 때문에 한 블록에 하나의 배치만 포함하는 것이 거의 불가능하기 때문입니다. 두 번째 이유는 항상 입금과 출금이 있기 때문입니다. 세 번째 이유는 단기적으로는 롤업 사용량이 적어 고정비 과금 모델이 우세할 수 있기 때문입니다. 하지만 이러한 요소들을 고려하더라도 100배 이상의 확장은 달성하기 어렵지 않을 것입니다.- 그렇다면 특정 애플리케이션 시나리오에 따라 1000-4000 TPS를 달성하려면 어떻게 해야 할까요? 이를 위해서는 eth2 데이터 단편화가 필요합니다. 이 제안에서 12초마다 16MB의 저장 공간이 생성되며 어떤 데이터로도 채워질 수 있으며 시스템은 이러한 데이터의 가용성에 대한 합의를 보장합니다. 이 데이터 공간은 롤업에서 사용할 수 있습니다. 이 데이터 처리량은 약 1398kB/s로 현재 이더리움 메인체인 약 60kB/s의 23배에 달하며 장기적으로 데이터 용량은 더욱 늘어날 것으로 예상된다. 따라서 eth2 데이터 샤딩을 사용하여 구현된 Rollup의 TPS는 최대 100,000까지 가능하며 향후에는 더 커질 것입니다.
- Rollup의 기본 개념은 사람들에게 잘 알려져 있고 Rollup이 본질적으로 실현 가능하고 안전하다고 확신하고 이미 이더리움 메인넷에 여러 Rollup이 배포되어 있지만 Rollup 설계에는 여전히 많은 부분이 있습니다. , 확장성을 활용하기 위해 이더리움 생태계의 많은 부분을 Rollup으로 완전히 가져오는 데에는 여전히 어려움이 있습니다. 몇 가지 주요 과제는 다음과 같습니다.
- 사용자 및 생태계 진입: 현재 Rollup을 사용하는 애플리케이션이 많지 않고, 사용자가 Rollup에 익숙하지 않으며, Rollup을 통합하기 시작한 지갑이 거의 없습니다. 상인과 자선 단체는 아직 결제를 허용하지 않습니다.
- 교차 롤업 트랜잭션: 메인 체인을 통해 전송하고 해당 수수료를 생성할 필요 없이 하나의 롤업에서 다른 롤업으로 자산 및 데이터(예: 오라클 머신 출력)를 효과적으로 전송합니다.
- 감사 인센티브: 적어도 하나의 정직한 노드가 낙관적 롤업을 완전히 검증할 확률을 최대화하여 문제가 발생할 경우 누군가가 사기 증거를 발행하도록 보장하는 방법은 무엇입니까? 소규모 Rollup(TPS가 수백 이하)의 경우 이는 중요한 문제가 아니며 단순히 이타주의에 의존하여 달성할 수 있지만 대규모 Rollup의 경우 인센티브 문제에 대한 명확한 연구가 필요합니다.
- 사전 확인의 보안 극대화: 사용자 경험을 개선하기 위해 많은 롤업은 "사전 확인" 개념을 제공합니다. 즉, 트랜잭션이 완료된 후 분류기는 즉시 약속을 제공합니다. 특정 트랜잭션은 다음에 포함된 배치에서 분류기가 어기면 보증금이 파괴됩니다. 그러나 분류기가 동시에 많은 사용자에게 많은 약속을 할 수 있기 때문에 이 계획의 보안은 경제적 수준에서 제한됩니다. 이 메커니즘을 개선할 수 있습니까?
요약하다
결석 분류기에 대한 응답성 향상: 롤업의 분류기가 갑자기 오프라인 상태가 되면 다른 롤업으로 빠르고 저렴하게 대량 종료하거나 분류기를 교체하여 가능한 한 빠르고 저렴하게 이 상황에서 복구하는 방법입니다. 매우 귀중한 빠른 응답.효율적인 ZK-VM: ZK-SNARK 증명을 생성하여 범용 EVM 코드(또는 기존 계약을 컴파일할 수 있는 다른 VM)가 올바르게 실행되었고 명확한 결과가 있음을 증명합니다.
