Ethereum의 중요한 확장 계획: 낙관적 롤업 상태 보고서(2부)

이 기사는 "Ethereum의 중요한 확장 계획: 낙관적 롤업 상태 보고서"의 세 번째 부분입니다. 첫 번째 및 두 번째 부분은 이전 기사를 참조하십시오.

블록 생산 블록 생산

대부분의 프로젝트는 개방적이고 무허가 블록 생산 모델을 채택합니다.

유일한 예외는 IDEX 2.0입니다. IDEX는 블록 생성에 대한 단독 권한을 갖기 때문입니다. 이 경우 사용자가 운영자의 허가 없이 자금을 인출할 수 있는 경우(즉, 상위 체인에서 트랜잭션을 직접 발행하여 자금을 인출하는 경우) 신뢰할 수 없는 속성이 유지될 수 있습니다. 이 옵션이 없으면 악의적인 운영자를 만났을 때 운영자가 사용자의 모든 인출 시도를 검열하여 롤업 체인에서 사용자의 자금을 무기한 잠그기 때문에 사용자는 속수무책입니다. 마찬가지로 허가된 시스템에서는 운영자가 블록 생산을 점차적으로 늦추거나 생산을 완전히 중단하는 것이 어렵지 않으며, 이 경우 사용자는 자금을 인출해야 합니다.

IDEX 2.0은 메인 체인 출시에서 사용자에게 종료 옵션을 제공합니다. 한 가지 문제: 이러한 옵트아웃은 사기의 경우 확인/복구되어야 하므로 악의적인 손상에 대한 보증이 수반되어야 합니다. 그러나 이러한 종료 ​​옵션이 지원된다는 점을 고려하면 IDEX의 권한 모델 자체는 시스템이 규제 상태에 있음을 보장하지 않습니다(다른 권한이 없는 체인도 특별한 경우 종료 옵션을 시작하기 위해 메인 체인을 채택할 계획임).

또한 대부분의 작업에는 블록 생성을 트랜잭션 포함 및 트랜잭션 순서에 대한 별도의 입력이라는 두 단계로 분할하는 데 대한 통찰력이 포함되어 있습니다. 이러한 모델은 검열 저항과 선행 거래를 줄일 가능성에 대한 질문을 해결합니다.

여기여기）。 

Optimism* 및 WCL과 같은 기타 업체는 거래 주문에 소각 증명 경매 모델을 사용할 계획이며, 일련의 거래가 처리된 후 거래 권한은 가장 많은 Ether 지분을 소각하려는 당사자에게 돌아갑니다. 이것의 목적은 기생적인 선점자 기회로 인한 이익 마진을 최소화하고 이상적으로는 전체 위험을 줄이기 위해 비용과 공개 경쟁을 줄이는 것입니다. "를 참조하십시오.Miner Extractable Value Auctions”。

Fuel 모델에는 당사자(예: 회사/팀)가 시퀀싱 권한에 대한 권한을 얻을 수 있는 시간 창이 있는 블록 생산 주기가 있습니다. 이 모델에서 팀은 블록 생산을 허용되는 것으로 제한하지 않고도 가치를 포착하고 애플리케이션을 수익화할 수 있는 유리한 위치에 있습니다.

마지막으로 Celer의 Rollup은 블록 생성 자체에 자체적인 독립적인 합의 메커니즘이 포함되어 있다는 점에서 독특합니다. 롤업을 개발하기 전에 Celer는 이더리움 사이드 체인 권한 인증서를 발행할 계획이었습니다(State Guard Network "State Guardian Network") 국가 채널 네트워크의 망루 역할을 합니다. 블록 생산에 참여하는 것은 허용되지 않으며 Celer 토큰에 대한 지원이 필요합니다. 사이드체인은 Tendermint 또는 이와 유사한 것과 같은 BFT 합의를 사용합니다. Celer는 이 사이드체인 인프라를 활용하여 ORU를 제안하고 게시할 계획입니다. 블록(자세한 내용은here）。

신뢰 가정

대부분의 프로젝트는 문서 시작 부분에 설명된 레이어 2 프로토콜의 신뢰 요구 사항을 엄격하게 준수합니다.

데이터 가용성 문제에 대한 IDEX 2.0의 의존성은 이 프로토콜을 특별한 경우로 만들고 ORU의 명확하게 정의된 범위를 벗어납니다. 블록 생산자가 블록을 제안할 때 처음에는 관련 블록 데이터를 오프체인 유효성 검사기와 공유한다는 암묵적인 가정과 함께 Merkle 루트만 게시합니다. 예를 들어, 블록 데이터가 검증자와 공유되지 않는 경우 검증자는 데이터 가용성 챌린지를 발행하여 블록 제안자가 데이터를 호출 데이터로 게시하도록 할 수 있습니다(원래 일반적인 ORU 구조에서 수행된 것처럼). 블록이 유효한 것으로 판명되면 유효성 검사기는 잘못된 분쟁 챌린지에 대해 불이익을 받고 지분이 삭감됩니다.

당면한 문제는 다음과 같습니다. 위에서 설명한 불일치는 본질적으로 두 당사자 중 누가 실제로 데이터를 소유하는지에 대한 논쟁입니다.speaker/listener fault equivalence）,그러한 분쟁을 객관적으로 해결하는 것은 불가능합니다. 따라서 IDEX가 악의적인 피해를 강요하고 궁극적으로 평판에 대한 우려와 거래소 생태계에 계속 참여하고 수수료를 벌 수 있는 인센티브를 제공하는 검증인을 처벌하는 것을 방지해야 합니다. 실제로 악의적인 행동을 방지하기에 충분한지 여부에 관계없이 이러한 가정은 ORU 또는 이더리움 자체에 대한 보안 보장이므로 데이터 가용성에 대한 이러한 문제와 패널티는 추가적인 신뢰 가정으로 사용될 수 있습니다.

추가 신뢰 가정이 필요한 유일한 다른 프로젝트는 ZK-ORU이며, snark 회로를 생성하려면 신뢰할 수 있는 설정이 필요합니다. ZCash 및 Aztec과 같은 프로젝트는 정교한 행사를 통과합니다(elaborate ceremony) 이 문제를 해결하기 위해 n 참가자 중 적어도 한 명이 정직하게 행동하는 한 암호화 보안이 있으며 ANON은 ZK-ORU와 유사한 작업을 수행할 계획입니다.

마지막으로, Fuel, Optimism 및 Nutberry를 포함한 여러 프로젝트에서 사용자에게 신뢰 기반의 빠른 결제 옵션을 제공하는 것에 대해 논의했습니다. 사용자는 원하는 경우 블록에 포함하기 전에 결제 완료를 고려할 수 있습니다. 약속이 깨지면 이 사기 행위는 상위 체인에 입증되지 않지만 제3자에게 입증될 수 있습니다. 결정적으로: 이 옵션은 필수가 아니며 UI에 눈에 띄는 차이가 있습니다. 이 옵션을 전혀 신뢰하지 않는 사용자는 여전히 블록 확인을 기다리도록 선택할 수 있습니다. 마찬가지로 Celer는 사용자에게 일련의 보안/신뢰 매개변수를 제공할 계획입니다.사용자는 롤업 블록에서 모든 트랜잭션이 즉시 발표되도록 요구하거나 체인이 완료되기 전에 매개변수화된 신뢰 창을 수락할 수 있는 사이드체인이 작아지고 미션 크리티컬이 감소합니다.

이익

이익

모든 프로젝트는 작업을 무료 오픈 소스 소프트웨어로 공개할 계획입니다.

ANON은 공익성과로 엄격하게 공개하고 시행할 계획이며, 현재로서는 직접적으로 가치를 포착할 계획은 없습니다. PinkieBell(Nutberry를 지원하는 유일한 익명 개발자)도 수익을 창출할 계획은 없지만 현재 블록 생산자가 프로젝트에 참여하는 개발자에게 지불하는 소액의 수수료인 개발자 수수료를 고려하고 있습니다.

이러한 프로젝트 중 5개: Fuel Labs, Optimism, Interstate, WCL 및 IDEX는 세 가지 방법으로 작업을 수익화할 계획입니다. 프로젝트의 예를 구현하고, 거래 수수료를 청구하여 수익을 창출하고, 자금을 신속하게 인출할 수 있도록 사용자에게 유동성을 제공합니다.

Fuel, Optimism 및 Interstate의 블록 생산은 허가가 필요하지 않지만 그들이(예: 회사) 주요 블록 생산자인 경우 모든 것이 괜찮습니다. 그들은 우선 애그리게이터로서 유리한 위치에 있기 때문에 수수료를 부과하여 돈을 벌 계획입니다(앞에서 논의됨).

적어도 하나의 프로젝트에서 지불 프로세서로서의 회사의 법적 지위에 대한 불확실성을 표명했으며 문제에 대한 추가 설명을 기다리고 있습니다.

Offchain Labs는 Artibrum Rollup의 예를 나열할 계획은 없지만 자체 작업을 사용하여 프로젝트에 대한 기업 계획 및 지원은 물론 수익성 달성을 위한 경제 및 보안 측면에서 더 강력한 보장을 제공할 계획입니다.

IDEX의 경제 체계는 가장 철저합니다. 수익 창출은 교환 수수료와 기본 토큰 고유의 가치를 포함하는 암호화 경제 설정에서 파생됩니다. 블록 생산자(IDEX)와 검증자 모두 보상을 받기 때문에 IDEX는 검증자에게 직접 인센티브를 제공하려는 유일한 프로젝트이기도 합니다. IDEX와 Celer는 유틸리티 토큰을 통합할 계획인 유일한 프로젝트입니다. 몇몇 다른 팀은 레이어 2 시스템에 내재된 토큰화 개념을 비웃었습니다. 다른 팀은 가능한 경제적 토큰화 모델에 더 개방적이었지만 더 많은 연구가 필요하고 구체적으로 실행할 수 있는 계획이 없다고 느꼈습니다.

사용자 경험/검증

대부분의 프로젝트는 메타마스크 플러그인을 통해 롤업 온체인 트랜잭션을 지원할 계획이며, 자체 프런트 엔드 인터페이스를 게시하는 것 외에도 메타마스크 플러그인을 위한 인프라 도구가 기본적으로 준비되어 있습니다.

모든 사용자가 가동 시간을 유지하고 모든 블록을 검증할 필요가 없다면 모든 프로젝트가 작동할 수 있습니다. 모든 ORU의 본질은 적어도 한 명의 정직한 당사자가 주어진 시간에 진위 증명을 확인하고 발급하는 한 모든 사용자가 안전하다는 것입니다. 검증을 위한 경제적 인센티브 방식은 직접 보상을 발행하고(IDEX의 경우만 해당), 블록 생성 및 수수료 징수 기회를 가지며, 위조방지 증명서 발급 및 보상을 받을 수 있는 기회를 갖게 됩니다. 물론 위조 방지 증명의 22번째 원칙은 시스템 설계가 합리적이라면 여전히 사기가 가능한 한 많이 발생하지 않기를 바라는 것입니다.

검증에 대한 또 다른 직접적인 인센티브는 모든 사람이 관심을 갖는 트랜잭션이 완료되도록 검증자를 신뢰하는 것입니다. 즉, 종료 창이 나타날 때까지 기다리지 않아도 됩니다. 예상되는 결과는 거래소, 지갑 제공자, 빠른 종료 옵션이 있는 유동성 제공자, 크고 중요한 이체를 수용할 수 있는 사용자, 고급 사용자/열광자 및 프로젝트 생성자가 혜택을 받는 당사자가 될 것이라는 것입니다. 한 팀은 사용된 데이터의 레이어 1과 레이어 2 사이의 인센티브 상호 작용에 대한 흥미로운 질문을 하면서 채굴자들이 롤업 체인을 검증하는 것을 그들의 일로 삼을 수 있다고 제안했습니다.

연구/토론을 위한 열린 주제

BLS 서명

BLS 서명을 통해 블록 생산자는 각 롤업 블록에서 서명을 가져와 단일 집계 서명으로 대체하여 온체인 데이터 요구 사항을 ZK-롤업에 더 가깝게 만들 수 있습니다. 더 번거로운 문제 중 하나는 검증된 경우 BLS 서명을 검증하는 것이 일반적인 ECDSA 서명보다 더 많은 가스를 소비한다는 것입니다. Barry Whitehat는 다음과 같이 말했습니다.

“Post-Data”

이더리움에서 롤업 기술의 사용이 보편화된다면 대부분의 체인 데이터가 "롤링업" 형태로 존재하는 미래, 즉 실용성 측면에서 사용 가능하지만 직접적으로는 그렇지 않은 미래는 어떤 모습일지 상상할 수 있습니다. 구현에 사용 가능 이 변경 사항은 Ethereum 클라이언트 구현에 상당한 경제적 및 기술적 영향을 미칠 수 있습니다. 하나의 솔루션은 상태 모듈이나 EVM을 건드리지 않고 유용성만을 위해 "사후 데이터"라고 잠정적으로 불리는 트랜잭션 데이터의 특수 필드를 도입하여 그러한 미래를 준비하는 것입니다. 이를 통해 클라이언트는 데이터를 보다 최적으로 처리하고 저장할 수 있으며 이상적으로는 가스 가격이 결국 낮아질 것입니다.EIP이 접근법에 대한 광범위한 개요가 있지만 초기 단계에 있습니다.

본드 크기 및 챌린지 단계 매개변수

블록 생산 및 시간대에 필요한 채권에 대한 이상적인 매개변수

대부분의 팀이 최종 숫자를 정하지 않았기 때문에 블록이 확정될 때까지 공개 토론 단계에 있습니다(따라서 메인 체인으로의 철회가 가능함). 챌린지 기간이 길수록 사용자가 사기를 감지할 수 있는 시간이 더 많아지고 진위 증명을 검토하려는 채굴자가 더 잘 압박할 수 있습니다. 일부 프로젝트의 경우 안전에 더 가까워지고 사용자는 일반적으로 체인으로의 원자 변환 또는 토큰화 또는 ​​Iss에 의해 더 빨리 철회하기 때문에 며칠에서 일주일의 안전한 기간에 있는 것이 가장 좋습니다. 종료 옵션을 매도하고 채권으로 사용하는 것이 아니라Plasma구조는 이미 논의되었습니다). Ed Felten의 분석analysis, 3시간과 같은 짧은 분쟁 기간이면 충분합니다.

레이어 2 구조에서 보상이 무효인 경우 채권을 필요한 담보로 사용하여 사용자에게 보상할 수 있지만 ORU에서의 채권은 다르다. (아마도 사기꾼에 대해 성공적으로 증언한 것에 대한 보상으로). 제안된 채권 요구 사항은 ETH2.0 지분 요구 사항과 비슷한 32ETH에서 1ETH까지 다양하지만 일부에서는 롤업 체인의 경제적 가치 금액과 동일해야 한다고 제안합니다(오프체인 랩계획"1 Eth 또는 체인 총 가치의 2% 중 더 큰 금액")

은둔

플라즈마 및 채널 구조와 관련된 롤업의 한 가지 단점은 데이터가 완전히 오프체인되는 개인 정보 보호 혜택을 얻지 못한다는 것입니다. 여기에 언급된 개인 정보 보호 혜택을 제공하는 유일한 프로젝트는 ZK-ORU입니다. 다른 프로젝트에서는 두 가지 방법으로 프라이버시 중심 롤업 생성에 대해 논의하고 있습니다. 패브릭에 다른 잘 알려진 프라이버시 기술을 구현하거나(예: Tornado Cash - esque 믹서 또는 Aztrec-esque 프라이버시 계층) 하이브리드 롤업/연합 데이터 모델 생성 많은 양의 사용 가능한 데이터에 의존할 수 있으므로 체인의 게시가 줄어듭니다.

블록 생산 모델

전체 EVM/애플리케이션별 분할 외에도 팀 간의 주요 논쟁 중 하나는 어떤 모델의 무허가 블록 생성이 수용 가능한지, 그리고 다른 모델이 무엇을 산출하는지, 즉 다음과 같습니다.

• 단일 우선순위 애그리게이터 모델은 선행 실행이 감소할 때만 더 파괴적인 선행 실행에 인센티브를 부여합니까?

• 부유한 당사자가 순수한 지분 증명인 블록 생산을 악의적으로 방해하고 효과적으로 검열할까요?

• 소각 증명 경매에서 시장 가치가 완전히 반영되고 입증되는 방법.

일부 연구 및 모델링을 통해 이러한 질문에 대한 해답을 얻을 수 있지만 실제 테스트를 거치기 전까지는 결론을 내리지 못할 수 있습니다.

Optimistic Game Semantics

계층 2 구조의 이론적 특성에 대한 Optimism 팀의 연구는Optimistic Game Semantics결론적으로

결론적으로

Optimistic Rollup 패턴을 사용하는 팀은 다양한 관점에서 결론을 도출합니다. 다른 레이어 2 구조의 이론적 디자인 공간 탐색, EVM에서 실행 엔진을 효율적으로 실행하는 방법 찾기, Ethereum의 기존 애플리케이션의 확장 가능한 버전 만들기 등 ORU로 수렴 실질적인 복잡성을 최소화하면서 충분한 확장성 이점을 얻는 것이 최선의 방법입니다.

우리는 이러한 문제가 메인넷에 도달하고 생태계가 이러한 도구를 어떻게 사용하는지 확인해야만 이러한 열린 질문에 답할 수 있습니다. 거래에서. 그러나 테스트넷에 이미 여러 프로젝트가 있고 은밀한 연구나 사용성 문제가 발견되지 않았기 때문에 곧 실용적인 응용 프로그램을 보게 될 것이라고 가정하는 것이 안전합니다. 확장 가능한 자율 스마트 계약이 등장하고 있습니다.

*정정: 이 게시물의 이전 버전은 Optimism의 계획된 블록 생성 모델을 통해 로케이터로 우선 순위를 지정할 수 있다고 표시했습니다. MEV 경매 프로토콜은 실제로 누구에게도 특권을 부여하지 않습니다. 감사해요Ben Jones。

인터뷰에 참여해주신 모든 팀들께 감사드리며, 매우 유익한 토론에 감사드립니다.

Daniel Goldman원래 주소:여기。

원래 주소:https://medium.com/