원래 제목: "주석 이더리움 로드맵"
원문 편집: domothy, ETH 중국 사이트
이 기사는 독자가 이해할 수 있도록 콘텐츠에 주석을 달기 위한 최신 이더리움 로드맵을 기반으로 합니다.이더리움 로드맵위의 각 섹션은 진입점을 제공하고 각 섹션은 간략한 개요를 제공합니다.
참고: 로드맵의 화살표로 표시된 것처럼 나열된 다양한 부분은 연속 작업이 아니며 진행은 병렬입니다.
병합
목표: 이상적이고 간결하며 강력하고 분산된 PoS 합의 메커니즘을 달성합니다.
업무 완료
2020년 12월 1일 — 비콘 체인 출시
Ethereum PoS 합의 레이어를 도입하고 검증자는 이 레이어의 네트워크 보안을 유지하기 위해 ETH를 약속합니다.
비콘 체인은 컨센서스 사양에서 호출됩니다.0단계(비탈릭의주석이 달린 버전그리고 대니 라이언의주석이 달린 버전);
2021년 10월 27일 - 워밍업 포크(Altair) - 컨센서스 계층 클라이언트 개발자가 하드 포크 업그레이드 조정에 대한 테스트 실행을 수행했습니다.
라이트 클라이언트라이트 클라이언트페널티를 일부 조정했습니다.
「What’s new in ETH 2 」알테어가 설명되는 문제;
2022년 9월 15일 — 합병! PoW 퇴직 - in블록 높이 15537394합의 레이어와 실행 레이어의 병합을 완료합니다.
다음 단계
인출 — 검증인이 보증금의 전부 또는 일부를 인출할 수 있습니다.
분산 검증자 — n명이 동일한 검증자를 공유하고 m-of-n이 작동 방식에 동의해야 하는 기술인 "멀티 시그, 그러나 스테이킹용".
우발적인 삭감을 방지하고 참여를 더 쉽게 만들어 스테이킹 메커니즘을 강화합니다(예: 필요한 32 ETH를 여러 참여자 간에 신뢰 없이 분할).
병합 보기 — 한 유형의 공격을 완화하기 위해 포크 선택 규칙(검증자가 투표하는 방법)을 조정합니다.
본질적으로 악의적인 검증자가 투표를 분할하고 자신에게 유익한 블록을 재구성할 가능성을 줄이기 위해 정직한 검증자가 올바른 체인 헤드를 보도록 "강제"하는 것입니다.
ethresearch.ch 게시물이 연구에 대한 많은 (매우 기술적인) 배경이 있습니다.
개선된 집계 — 이더리움은 가능한 한 많은 검증자를 지원하기 위해 노력하지만 모든 검증자가 모든 블록에 투표하고 다른 모든 검증자의 투표를 확인하는 것은 대역폭을 너무 많이 사용합니다. 차선책은 서명을 집계하는 것이지만 여기에는 한계가 있으며 더 잘 수행할 수 있습니다.
SSF(Single Slot Finality) - 매 에포크(12.8분)가 아닌 다른 슬롯(12초)마다 체인 상태를 마무리합니다.
단일 슬롯의 최종성으로 가는 길(중국 버전);
서명 집계를 개선하는 것 외에도 다음 두 가지 사항을 파악해야 했습니다.
- SSF 합의 알고리즘 - 기존 SSF 호환 알고리즘으로는 충분하지 않습니다. 우리는 1313개 이상의 검증자가 오프라인 상태인 경우에도 체인을 활성 상태로 유지할 수 있는 알고리즘을 원합니다.
- SSF 검증인 경제학 - 검증인의 수를 제한해야 한다면 어떻게 참여율을 제한하고 어떤 희생을 치러야 할까요?
비밀 지도자 선거(SLE)
현재 블록(단일 슬롯의 리더)을 제안하기 위해 선택된 유효성 검사기는 사전에 약간 알려져 있으므로 잠재적인 DoS 공격이 다가오는 블록의 리더를 구체적으로 표적으로 삼을 수 있습니다.
ethresear.ch무작위 셔플을 기반으로 한 단일 비밀 리더 선출 프로토콜에 대한 게시물이 있습니다. 리더 증명과 함께 블록을 게시할 때까지는 리더 자신을 제외하고 누가 이 슬롯의 리더가 될지 아무도 모릅니다.
비단일 비밀 지도자 선거옵션일 수도 있습니다.
더 많은 검증자 지원 — 지속적인 장기적 노력: 더 많은 검증자를 안전하게 지원하는 것이 항상 우리의 목표입니다.
양자 안전, 집계 친화적인 서명 — 이더리움을 양자 안전으로 만드는 것은 양자 컴퓨터가 합법적인 문제가 되기 전에 이더리움을 양자 안전으로 만들기 위한 우리의 장기적인 노력의 일부입니다.
사용된 BLS 서명 체계는 양자 컴퓨터에 의해 깨지는 것으로 알려진 암호화를 기반으로 하지만 양자 안전하다고 알려진 대체 서명 체계는 BLS만큼 효율적으로 서명을 집계하지 않습니다(따라서 양자 안전 및 집계인 체계가 필요함). -친숙한);
두 가지 주요 양자 보안 체계는 다음과 같습니다.STARK 기반및 격자 기반;
스컬지(숨겨진 위험 해결)
관련된 링크들:
관련된 링크들:
업무 완료
프로토콜 외부의 MEV 시장 — MEV-Boost 미들웨어를 사용하면 일반 검증인이 복잡한 MEV 정책을 직접 실행하지 않고도 MEV에서 이익을 얻을 수 있습니다.
이 솔루션은 자체적으로 완전하지 않습니다.질문 검토;
기사를 읽다 "The Cost of Resilience"그리고"The Future of MEV is SUAVE” 이러한 계약 이외의 MEV 시장을 보다 탄력적으로 만들 계획에 대해 알아보십시오.
다음 단계
패킷 목록 또는 대안 — 블록 제안자가 블록 빌더에 제약을 두도록 합니다. 즉, 트랜잭션을 포함하도록 강제합니다.
In-protocol PBS — 블록 구축 시장을 프로토콜에 직접 작성합니다.
MEV 소각 — 블록체인이 그렇지 않았다면 온체인 경제에서 추출되었을 가치를 포착할 수 있습니다.
애플리케이션 계층 MEV 최소화 — 이 작업은 L1과 직접적인 관련이 없으며 개발자가 dapp을 설계할 때 MEV를 염두에 두어야 합니다. 다음은 MEV 최소화 전략을 채택한 DApp의 몇 가지 예입니다.예。
분산 빌더 경로. 블록 제안 프로세스가 분산된 상태로 유지되기 때문에 이제 블록 구축이 중앙 집중화되는 별도의 문제가 있습니다. 로드맵의 다른 모든 것은 블록 구축의 중앙 집중화라는 최악의 시나리오를 최소화하도록 설계되었지만 블록 구축을 여러 노드에 분산시킬 수 있다는 것은 여전히 큰 이점입니다.
Blob 구조 - 일반 소비자 등급 하드웨어가 실행될 수 있는 많은 노드에서 데이터 샤딩의 고대역폭 및 처리 요구 사항을 오프로드하는 방법을 찾습니다.
사전 확인 서비스 - 사용자에게 트랜잭션이 다음 블록에 포함될 것이라는 강력한 보증을 제공합니다.
Frontrunning 보호 - 분산 빌드 프로세스가 신뢰할 수 있는 중립을 유지하도록 샌드위치 공격과 같은 독성 MEV를 최소화합니다.
관련된 링크들:
관련된 링크들:
더 버지(보더)
목표: 블록 확인은 매우 쉬워야 합니다. N 바이트의 데이터를 다운로드하고, 몇 가지 기본 계산을 수행하고, SNARK를 확인하면 완료됩니다.
이 부분은 기본적으로 "클라이언트 측의 단점”: 모든 사람이 전체 노드를 원하거나 실행할 수 있는 것은 아닙니다. The Verge의 목표는 실행하기 쉽고 많은 스토리지나 대역폭이 필요하지 않은 무신뢰 또는 신뢰 최소화 대안을 도입하는 것입니다. The Verge의 궁극적인 목표는 이러한 라이트 클라이언트가 현재 전체 노드와 동일한 보안 보장을 제공하는 것입니다.
이 모든 것은 SNARK 및 STARK와 같은 영지식 기술에 의존하며, 이 기술은 다항식 약속 체계에 의존합니다. 이에 대한 몇 가지 링크는 다음과 같습니다.
zk-SNARK가 가능한 이유를 소개합니다.(중국 버전)
업무 완료
최악의 EVM DoS 문제가 수정되었습니다. 주로 가스 가격 책정이 베를린 업그레이드에서 수정되었습니다.
기본 라이트 클라이언트 지원(동기화 위원회) — 동기화 위원회 덕분에 합의 계층을 따르는 라이트 클라이언트를 쉽게 구축할 수 있습니다.
배우다헬리오스 클라이언트동기화 위원회가 활용되는 방법(이러한 위원회가 어떻게 작동하는지에 대한 좋은 설명)
다음 단계
EIP-4844 구현 — 메인넷에 EIP-4844 배포
기본 롤업 스케일링 - 작동하려면 다음에 의존합니다.
EIP-4844 - Blobspace의 사용 가능한 용량을 제한하는 "모든 노드가 모든 데이터를 다운로드" 특성으로 인해 달성된 확장성은 여전히 기본/제한된 것으로 간주됩니다.
롤업의 제한된 훈련 바퀴 단계(기사는 롤업 훈련 바퀴를 제거할 것을 제안합니다.노선지도);
전체 롤업 확장 — 다음 작업에 의존합니다.
DAS(Data Availability Sampling)의 P2P 설계: 데이터 샤딩 네트워크 연결 문제와 관련된 일부 작업 및 연구;
데이터 가용성 샘플링 클라이언트: 몇 킬로바이트를 무작위로 샘플링하여 데이터 사용 가능 여부를 신속하게 결정할 수 있는 경량 클라이언트를 개발합니다.
효율적인 DA 자가 치유: 최악의 네트워크 조건(예: 악의적인 유효성 검사기 공격 또는 대규모 블록 노드의 긴 다운타임)에서 모든 데이터를 효율적으로 재구성할 수 있습니다.
훈련 바퀴 없는 롤업: 완전히 분산된 시퀀서, 신뢰할 수 없는 사기 증명, 불변 계약 등;
양자 안전, 신뢰할 수 있는 초기화 약속 — 이더리움 양자 안전을 만드는 것은 양자 컴퓨터가 합법적인 문제가 되기 전에 이더리움 양자 안전을 만들기 위한 우리의 장기적인 노력의 일부입니다.
효율적이고 강력하지만 모든 곳에서 사용되는 다항식 약속(KZG)은 양자 안전하지 않으며 신뢰할 수 있는 초기화가 필요합니다. 후드 아래에서 KZG를 핫 스와핑하는 궁극적인 목표와 함께 보다 이상적인 장기 사용 약속에 대한 연구가 진행 중입니다.
SNARK / STARK Application-Specific Integrated Circuit — 증명 생성 전용 하드웨어.
Verkle 트리 — 전역 상태에 사용되는 데이터 구조를 보다 효율적인 버전으로 대체합니다.
주요 이점은 헤더만 보고 계정 잔액과 같은 것을 확인하기 위해 라이트 클라이언트가 쉽게 확인할 수 있는 매우 간결한 증명을 생성하는 기능입니다. 그들은 이미 동기화 위원회를 활용하여 주어진 블록 헤더가 실제로 메인 블록의 일부인지 확인할 수 있습니다. 체인;
적절한 사양을 작성하고, 안전한 마이그레이션을 보장하고, 업데이트/편집 상태의 EVM Gas 오버헤드에 어떤 영향을 미치는지 파악해야 합니다(이는 또한 The Purge 부분에서 "SELF-DESTRUCT"를 취소하는 작업에 따라 다름).
SNARK 기반 라이트 클라이언트 — 동기화 위원회에서 SNARK 상태 전환 증명을 생성하여 현재 동기화 위원회를 구성하는 유효성 검사기를 신속하게 증명합니다.
전적으로 SNARK에 기반한 이더리움 — 다음 3가지 항목이 함께 "이더리움의 마지막 사진매우 효율적이고 신뢰할 수 없는 블록 검증 구현을 위한 중요한 이정표:
Verkle 증명을 위한 SNARK - Verkle 증명을 단일 SNARK에 통합함으로써 블록은 수정하는 부분 상태에 대한 짧고 독립적인 증명을 포함하므로 블록 N을 확인하기 위해 블록 N-1의 전체 상태를 확인할 필요가 없습니다. 올바르게 수정되었습니다.
컨센서스 상태 전환을 위한 SNARK — 신뢰 최소화된 동기화 위원회에서 컨센서스 레이어에서 발생하는 모든 일에 대한 완전 무신뢰 검증에 이르기까지
L1 EVM용 SNARK - zk-EVM에서 롤업 팀이 수행한 작업을 활용하여 zk-EVM을 L1에 직접 통합:
- 프로토콜에 작성된 Rollup에 대해 읽기우편;
L1 Gas Cap 증가 — "모든 노드가 모든 것을 저장해야 한다"는 현재의 부담을 제거하여 블록을 신뢰하지 않고 검증하면 더 큰 L1 확장성을 위해 더 큰 블록을 더 쉽게 형성할 수 있습니다(이렇게 하면 모든 L2 확장의 효과가 자동으로 향상됩니다).
양자 안전 SNARK(STARK와 같은)로 이동 — 이더리움을 양자 안전으로 만드는 것은 양자 컴퓨터가 합법적인 문제가 되기 전에 이더리움을 양자 안전으로 만들기 위한 우리의 장기적인 노력의 일부입니다.
SNARK는 양자 컴퓨터에서 해독할 수 있는 것으로 알려진 암호화를 기반으로 하지만 STARK는 그렇지 않습니다.
퍼지
목표: 프로토콜을 단순화하고, 기술 부채를 청산하고, 기록 데이터를 정리하여 네트워크 참여 비용을 제한합니다.
업무 완료
대부분의 가스 회수량 지우기 — 모두가스 가격 책정베를린에서 업그레이드 작업이 완료되었습니다.
Beacon Chain Fast Sync — 모든 개발 작업은 제네시스가 아닌 가장 최근에 완료된 에포크(대부분의 합의 계층 클라이언트에서 "체크포인트 동기화"라고 함)에서 동기화하도록 수행되었습니다.
EIP-4444 사양 - 읽기배우다.배우다.
다음 단계
기록 데이터 최대 절전 모드 — 이전 기록 상태를 최대 절전 모드로 전환하여 스토리지 요구 사항, 동기화 시간 및 코드 복잡성을 줄입니다.
이 기사를 읽으십시오긴 트위터;
EIP-4444의 구현에 의존합니다. 즉, 다음과 같은 다른 수단을 사용합니다.Portal Network) 역사적 상태 대안에 접근하기 위해;
과거 데이터 최대 절전 모드를 위한 VitalikAMA;
State Dormancy — 상태와 관련하여 "일회성 결제, 데이터 영구 저장" 문제를 수정합니다.
이 아이디어는 주로 상태의 사용되지 않는 부분을 자동으로 최대 절전 모드로 전환하고 필요한 경우 사용자가 휴면 상태를 활성화하는 데 사용할 수 있는 버클 트리 루트만 남기는 것입니다.
상태 휴면 메커니즘을 위한 VitalikAMA;
다음 작업에 따라 다릅니다.
- 기본 상태 저장 최대 절전 모드 사양: 이를 구현하려는 방법은 여기를 참조하세요.잠재적 로드맵(그리고다른 옵션);
- 주소 공간 확장:주소 크기 늘리기, 충돌을 방지하고 상태 주기에 대한 데이터를 늘리기 위해 20바이트에서 32바이트로 증가했습니다.
- 애플리케이션 분석: 현재 애플리케이션/계약을 어떻게 깨뜨리고 이러한 애플리케이션/계약이 어떻게 적응해야 하는지 파악합니다.
로그 개혁 - 단순화이벤트 로그역사적 사건을 보다 효율적으로 검색하기 위해 노력합니다.
직렬화 조정 - 실행 계층에서 사용RLP데이터 직렬화 및 합의 계층은 SSZ를 사용하며 점차 RLP를 포기하고SSZ。
제거된 이전 트랜잭션 유형 — 이전 트랜잭션 유형 지원 중지(참조EIP-2718 ) 클라이언트 측에서 코드 복잡성을 제거합니다(일부 이전 버전과의 호환성 희생).
EVM 단순화 경로
SELFDESTRUCT 취소 — 이 opcode는 많은 문제의 원인입니다.
- 《SELFDESTRUCT를 제거하기 위한 실용적인 해결 방법" 이 opcode를 제거하는 이유와 방법을 설명합니다.
- 관련 EIP:EIP-4758 、 EIP-4760 게다가논의하다;
여기여기말하는;
사전 컴파일 -> EVM 구현 — 사전 컴파일된 계약을 포기하고 직접 EVM 구현을 채택합니다(즉, 대규모 모듈식 작업, The Splurge 참조).
과시
목표: 다른 것들을 완벽하게 합니다.
더 높은 우선 순위가 필요하지 않은 모든 좋은 내용은 The Splurge의 이 섹션에 속합니다. 가장 큰 것은계정 추상화,그러나 기존 콘텐츠에 대한 작은 조정도 있습니다.
업무 완료
EIP-1559 — 유명한EIP가져왔다많은 혜택, 단지 ETH를 파괴하는 것이 아닙니다.
ERC-4337 사양 —ERC핵심 프로토콜을 수정하지 않고 계정 추상화 도입을 목표로 함
다음 단계
EIP-1559의 최종 형태 — 제작다차원그리고AMM Curve그리고지각된 시간의.
EVM 개선 경로와 The Purge의 간소화된 경로가 함께 EVM의 최종 형태를 형성합니다.
EVM 개체 형식(EOF) — EVM 바이트코드가 배포될 때 확인 및 버전 관리를 허용하는 여러 EIP 집합입니다. 이것을 읽으십시오그리고그리고트위터 포스트;
대규모 모듈식 작업 — 로드맵에 있는 대부분의 암호화는 EVM에서 직접 보다 효율적으로 수행할 수 있는 많은 수의 모듈식 작업에 의존합니다.
EVM의 추가 개선 - EVM을 개선하기 위해 추가할 가치가 있는 모든 것, 또는제거하다복잡성을 제거하는 것;
계정 추상화의 최종 형식을 구현하는 계정 추상화 경로입니다. 다음에 대한 자세한 내용은 Vitalik's를 참조하십시오.설명하다:
ERC-4337 — 호환 가능하고 실질적으로 채택된 스마트 지갑 개발;
EOA 계정의 자발적 전환 - EIP를 통해 일반 계정은 코드를 비가역적으로 추가하여 계약으로 전환할 수 있습니다. 즉, 4337 호환 스마트 지갑이 됩니다.
동의서 작성 — 모든 기존 계정에 대해 위의 변환을 강제 실행합니다.
검증 가능한 지연 기능(VDF) — 본질적으로 "비병렬 작업 증명"PoS 등에서 사용되는 임의성 향상。
이것 좀 봐우편, VDF 소개 및 잠재적 용도
여기여기많은 아이디어를 참조하십시오.
