Vitalik: 기본 레이어 가격 오라클 머신에 절대 반대합니다. 이더리움 L1 레이어의 기능은 분명히 제한되어야 합니다.
편집자 주: 이 기사의 출처는배빗 정보 (ID: bitcoin8btc)편집자 주: 이 기사의 출처는
배빗 정보 (ID: bitcoin8btc)
, 저자: Justin Drake & Vitalik Buterin, 컴파일러: 무료 및 간편함, 승인을 받아 게시됨.
앞글자: 비트코인 반감기 드라마를 본 후 이더리움에 주목하자 어제 이더리움 공동 창업자 비탈릭 부테린은 이더리움 2.0 연구원 저스틴 드레이크가 제안한 최신 베이스 레이어 가격 오라클 제안에 대해 확고한 반대를 표명하는 글을 썼고, 6개의 주요 반대 의견을 전달합니다.또한 그는 이더리움 생태계가 L1 계층을 통해 모든 중요한 기능을 독점하는 것이 아니라 강력한 애플리케이션 계층 토큰 생태계의 이점을 얻는다고 말했습니다. 이더리움 2.0의 핵심 인물들 간의 이 전투에서 누구를 지지합니까?
이미지 설명
참고: 다음 제안은 Justin Drake가 제안한 것입니다.
간단히 말해서, 우리는 비콘 체인에 간단한 가격 피드 서비스를 추가하여 작은 주요 자산 세트를 추적할 것을 제안합니다. 이 서비스를 통해 각 시대 경계(예: 6.4분)에서 추적된 각 자산에 대한 가격을 생성하는 완전히 분산된 오라클을 생성할 수 있습니다.
@albert, @benjaminion, @dankrad, @danrobinson, @DCinvestor, @djrtwo, Eric Conner, Evan Van Ness, @karl, @khovratovich, Mehdi Zerouali, @mkoeppelmann, @paulhauser, @protolambda, @Robert, @ryanseanadams에게 감사드립니다. , @sassal, @scott_lew_is, @vbuterin의 피드백 및 토론.
보조 제목
구조
price_data: PriceData 필드를 BeaconBlockBody에 추가합니다.
Ethereum 2.0 합의 관점에서 price_data 개체는 낙서 문자열처럼 처리됩니다. 즉, price_data는 비콘 체인 상태 전이 함수 및 포크 선택 규칙에 의해 값이 무시되는 임의의 데이터일 수 있습니다.
정직한 비콘 블록 제안자는 추적된 각 자산에 대해 가능한 최상의 가격으로 PriceData를 채워야 하며 이러한 가격은 다음을 충족해야 합니다.
기준선 - 추적된 자산을 나타내는 1 ETH;
스냅샷 - 가장 최근 PRICES_PER_ASSET 에포크 경계의 스냅샷(AssetPrices 벡터에서 연령 순서 증가).
반올림 - 반올림을 사용합니다(예: 1ETH가 22,732.66엔인 경우 Price(22733)로 설정).
overflow - uint64가 넘치면 Price(2**64 - 1)로 설정합니다.
Underflow - 가격이 음수이면 Price(0)로 설정됩니다.
보조 제목
예: 정직한 다수 ETH-USD Oracle
우리는 각 에포크 주기 경계에서 다수의 정직한 ETH-USD 오라클을 구축할 수 있습니다.
주어진 에포크 경계(최대 SLOTS_PER_epoch*prices_PER_ASSET=256 가격대)에 해당하는 모든 가격의 중앙값을 취하는 스마트 계약을 고려하십시오.
해당 비콘 블록의 절반 이상이 정직한 검증자에 의해 생산된 경우 중간 가격은 안전합니다. 즉, 부정직한 검증자가 조작하지 않습니다.
기본 기능 다음은 이 가격 피드 서비스의 기본 기능입니다.
합의 미니멀리즘 - price_data를 낙서와 동일하게 취급하여 비콘 체인 상태 전환 기능 및 포크 선택 규칙에 미치는 영향을 최소화합니다.
보조금 제공 - 각 비콘 블록에는 애플리케이션 레이어 블록 공간 제한 및 가스 시장을 우회하는 전용 PriceData 개체가 포함되어 있습니다.
대역폭 효율성 - 추적된 각 자산에 대해 BeaconBlock당 320바이트의 오버헤드가 type_byte_length(uint64) * PRICES_PER_ASSET = 64바이트로 직렬화됩니다. 블록 전파의 대역폭 오버헤드는 특히 네트워크가 압축된 경우 작습니다.
다른 체인에서 사용 가능 - 이 서비스는 Ethereum 1.0 및 Ethereum 2.0뿐만 아니라 다른 블록체인에서도 사용할 수 있습니다. 완전히 분산된 지갑을 통해 법정화폐 가스 비용을 추정하는 것과 같이 오프체인에서도 사용할 수 있습니다.
초기 배포 - 이 가격 피드 서비스는 준비가 되었을 때 배포할 수 있는 선택적 Ethereum 2.0 인프라입니다. 이더리움 1.0의 DeFi 생태계는 1단계에서와 같이 이점을 누릴 것입니다.
보조 제목
가격 피드 거버넌스
최소 실행 가능 — 추적된 자산 집합은 실행 가능한 최소 수준으로 유지되어야 합니다. 즉, 이더리움의 장기적인 건전성과 성공에 중요한 자산만 포함됩니다. 5개의 초기 자산(USD, EUR, RMB, JPY, GBP)은 세 가지 주요 원칙을 반영합니다. (1. 신뢰할 수 있는 중립성, 2. 높은 유동성, 3. 광범위한 적용)
Coarse Consensus - 새로운 자산(예: 금, 석유, 비트코인)은 대략적인 합의에 의해 구동되는 하드 포크를 통해 추적 세트에 추가될 수 있습니다.
이전 버전과의 호환성 - 이전 버전과의 호환성을 위해 추가된 자산은 이전 버전과의 호환성을 유지하기 위해 추적 세트에서 제거할 수 없습니다.
보조 제목
운영자 행동 확인
정직한 실행자 - 정직한 실행자는 정의에 따라 합의 규칙을 준수하고 정확한 가격 데이터를 보고하는 검증 노드를 실행합니다.
게으른 러너(Lazy Runner) - 가장 게으른 행동이 기본 검증인 클라이언트 설정을 실행하는 게으른 러너(예: 바쁜 아마추어 스테이커)입니다. 따라서 게으른 운영자는 올바른 가격 데이터를 보고하는 유효성 검사기를 실행해야 합니다. (임대, CPU 시간, RAM, 디스크 등의 계산 오버헤드가 작기 때문에 계산 대기 시간은 고려할 필요가 없습니다.)
합리적인 운영자 - 합리적인 운영자는 수익 극대화를 추구하며 검증을 위한 최대 추출 가능한 가치(VEV, 채굴자의 추출 가능한 가치 개념과 유사)를 달성하기 위해 가격 데이터 조작을 고려할 것입니다. 그러나 PriceData 개체는 공개되고 암호로 서명되기 때문에 커뮤니티에서 부정직한 유효성 검사기를 식별할 수 있습니다. 잠재적인 처벌에는 다음이 포함됩니다. (1. 명성 상실, 2. 인증 잔액 몰수, 3. 고아)
보조 제목
유효성 검사기 클라이언트 지침
검증 클라이언트는 에포크 경계에서 가격을 도출하기 위해 외부 소스를 쿼리할 수 있어야 합니다. 클라이언트 구현 지침은 다음과 같습니다.
차별화 — 온체인 소스(예: Uniswap V2, MakerDAO, Chainlink, 참조 oracles.club)와 오프체인 소스(예: Coinbase, CoinMarketCap) 모두 견고성을 위해 다양한 가격 소스를 쿼리해야 합니다.
보안 - 신뢰할 수 없는 API를 쿼리할 때 생성되는 공격 벡터는 신중하게 처리해야 합니다.
외부 문제에 유의하십시오. 이상 소스를 적절하게 처리해야 합니다(예: 온전성 검사 및 가중 중앙값 사용).
사용자 지정 가능성 - 클라이언트 운영자는 기본 가격 파생 논리를 쉽게 변경하고 가격 소스를 사용자 지정할 수 있어야 합니다.
역상관 - 구현은 가격 도출 논리의 역상관을 최대화하기 위해 노력해야 합니다(예: 구현, 버전, 슬롯 전체).
dApp 가이드
기록 누산기 - 각 PriceData 개체는 BeaconState의 Historical_roots에 대해 유효성을 검사할 수 있습니다. 가스 효율을 개선하기 위해 SHA256 Merkle 검증 데이터(증인)를 SNARK(plookup과 같은 기술로 최적화)로 효과적으로 압축할 수 있습니다.
위험 분석 — dApp은 정직하지 않은 검증자에 의한 가격 조작의 위험을 신중하게 평가하고 정보에 입각한 보안 가정(예: 검증인 정직성 가정)을 만들어야 합니다.
하이브리드 오라클 - dApp은 중요한 가격 피드 서비스를 다른 가격 소스와 결합하는 것을 고려해야 합니다. 가격 피드 서비스는 이더리움 생태계의 선택권과 견고성을 높이기 위해 설계된 인프라입니다.
아래는 Ethereum 공동 창립자 Vitalik buterin의 전투 의견입니다.
"절대 반대합니다!
우선, 이것은 블록체인의 기술적 특성에 대한 근본적인 변화입니다. 이제 우리는 블록체인 진행의 정확성을 프로그래밍 방식으로 완전히 검증할 수 있는 기능을 갖게 되었습니다. 유효성은 결정론적 기능이며 가용성(즉, 무검열)은 온라인 노드에서 확인할 수 있으며 지연 시간이 짧은 온라인 노드가 블록체인이 거래를 검열하는지 여부에 대한 합의에 도달하는 기술도 있습니다.
한편, 이 제안의 목적은 원칙적으로도 어떤 가정 하에서도 프로그래밍 방식으로 검증할 수 없는 체인 속성을 도입하는 것입니다. 입력값의 정확한 가치에 대한 명백한 합의가 없는 미래의 세계에서도(예: 앞서 언급한 국가 중 하나의 내전과 양쪽 통화가 "진짜" USD/CNY/JPY라고 주장하는 경우).
둘째, 이 제안은 정직한 다수에 의존하지만, 이더리움 2.0에서 우리가 하고 있는 많은 일은 근본적으로 정직한 다수의 가정을 없애고 정직한 다수가 실패할 경우 "두 번째 방어선"을 만들려고 노력하는 것입니다." ,예를 들어:
사악하지는 않지만 게으른 참가자를 모두 포함하기 위해 집합체의 보안 가정을 "정직해야 함"에서 변경하려는 에스크로 증명;
데이터 가용성 증명 및 사기 증명(사기 증명)을 통해 51% 공격 체인이 유효하지 않거나 사용할 수 없는 블록을 거부할 수 있습니다.
사용자는 라이트 노드뿐만 아니라 전체 노드를 실행할 수 있습니다.
위에서 언급한 검열 탐지 기술;
활동 공개 메커니즘 없음 및 >1/3 오프라인 공격의 경우 복구 작업
정직한 다수에 의존하는 디자인을 만드는 것은 이러한 모든 발전의 반대 방향으로 진행됩니다.
셋째, 그것은 협정의 중립성을 훼손하고 중립성 타협을 위한 심연으로의 미끄러짐을 열어준다. 제안은 (1) "defi"를 권한이 있는 애플리케이션 클래스로 승격하고 (ii) 특정 자산/가격 지수 세트를 승격시킵니다. 또한 어떤 통화가 충분히 중요한지, 어떤 애플리케이션 클래스가 충분히 중요한지, 비상 상황을 판단하는 방법 등과 같은 기본 거버넌스의 정치적 위험을 도입할 것입니다.
넷째, 오라클 디자인의 혁신에 대한 문을 닫습니다. 예를 들어 이 디자인에 대한 자연스러운 대안은 시간 T의 가격이 에서만 합의되어야 한다는 것입니다. API가 예기치 않게 잘못되었습니다. 오라클을 설계하는 방법에는 여러 가지가 있으며 L1 접근 방식으로 생태계를 지배하는 것은 정답이 아닌 것 같습니다.
다섯째, 클라이언트가 오라클을 유지하기 위해 더 많은 자동 업데이트를 요구하기 때문에 스테이킹 유효성 검사기의 중앙 집중화 위험이 증가합니다. 이로 인해 유효성 검사기가 클라이언트 개발자 지침을 맹목적으로 따르는 위험이 증가합니다(또는 사람들이 스스로 검증 노드가 되어 검증 풀);
”
여섯째, 응용 계층 토큰 기반 오라클(예: Augur 등)과 비교할 때 실제로 더 많은 보안을 제공하지 않습니다. MKR은 약 200만 ETH의 시가 총액을 가지고 있으므로 애플리케이션 계층 토큰은 분명히 상당한 시가 총액을 얻을 수 있습니다. 우리는 이더리움 2.0의 초기 스테이킹 코인이 200만 ETH(장기 가치는 1000만 ETH에 이를 수 있음) 범위에 있을 것으로 예측합니다. 따라서 기본 계층 오라클의 보안 수준은 애플리케이션 계층 오라클의 보안 수준보다 훨씬 높지 않으며 그 차이는 기껏해야 10배에 불과한 것으로 보입니다.
