하나의 기사에서 Ethereum 로드맵의 구현 진행 상황에 대해 알아보십시오.
원문 편집: The Way of DeFi
원문 편집: The Way of DeFi
참고: 이 문서는 이더리움 로드맵의 다양한 프로젝트에 대한 진입점 역할을 하여 더 깊이 파고들려는 사람들을 위한 빠른 요약과 링크를 제공합니다.
살아있는 문서이므로 여기에 제공된 정보가 불분명하거나 부정확하거나 오래되었거나 더 나은 링크가 없는 경우 언제든지 저에게 연락하십시오.
로드맵의 화살표로 표시된 것처럼 나열된 단계는 순차적이지 않고 다양한 노력이 동시에 진행되고 있습니다.
1. 병합
목표: 이상적이고 간단하며 강력하고 탈중앙화된 지분 증명(PoS) 합의를 갖습니다.
무슨 일이 있었는지
1. 2020년 12월 1일 - 비콘 체인 출시.
검증인이 스테이킹한 ETH로 보호되는 이더리움 합의 레이어 도입
합의 사양에서 0단계라고 함(Vitalik 및 Danny Ryan의 주석 버전).
2. 2021년 10월 27일 - 워밍업 포크(Altair) - 컨센서스 클라이언트 개발자가 조정된 하드 포크 업그레이드를 시범 운영합니다.
Altair는 라이트 클라이언트를 지원하기 위해 동기화 위원회를 도입하고 일부 페널티를 조정했습니다.
알테어 발표;
Altair 사양(주석 버전),
Altair에 대한 "ETH 2의 새로운 기능" 기사
3. 2022년 9월 15일 - 합병! 더 이상 PoW 없음 - 합의 레이어와 집행 레이어가 블록 15,537,394에서 크게 병합되었습니다.
무엇 향후 계획
1. 출금 – 검증인이 스테이킹한 ETH 지분의 전부 또는 일부를 출금할 수 있습니다.
Capella 포크는 합의 계층에 대한 변경 사항을 지정합니다.
EIP-4895는 실행 계층에 대한 변경 사항을 지정합니다.
Tim Beiko의 인출에 대한 자주 묻는 질문;
추가 정보가 포함된 출금 메타 사양
2. 분산 검증자 - n명의 개인이 동일한 검증자를 공유하고 m-of-n이 작동 방식에 동의해야 하는 다중 서명을 도입합니다.
우발적인 삭감을 방지하고 접근성을 높임으로써 스테이킹을 강화합니다(예: 필요한 32 ETH를 여러 참가자에게 무신뢰 배포).
이것은 프로토콜 내에 있는 것이 아니며 SSV 및 Obol과 같은 팀이 작업하고 있습니다.
3. 병합 보기 - 포크 선택 규칙(검증자가 투표하는 방법)을 조정하여 공격 클래스를 완화합니다.
본질적으로 정직한 검증자가 체인의 올바른 헤드에 대한 자신의 의견을 "강제"하여 악의적인 검증자가 투표를 분할하고 나중에 블록을 마음대로 재구성할 가능성을 줄입니다.
(매우 기술적인) 연구 배경이 많은 ethressearch.ch 게시물;
4. 개선된 집계 - 이더리움은 가능한 한 많은 검증자를 지원하기 위해 노력하지만 각 검증자가 각 블록에 투표하는 것(및 다른 모든 검증자의 투표를 확인하는 것)은 대역폭을 너무 많이 사용합니다. 차선책은 집계된 서명이지만 제한 사항이 있으며 더 잘 수행할 수 있습니다.
BLS 집계의 이점에 대한 인기 있는 과학 게시물입니다.
잠재적 후보: 혼;
5. SSF(Single Slot Finality) - 체인은 에포크(12.8분) 대신 각 슬롯(12초)에 의해 결정됩니다.
SSF로의 경로;
개선된 서명 집계 외에도 다음 두 가지 사항을 해결해야 합니다.
(1) SSF 합의 알고리즘 - 기존 SSF 호환 알고리즘으로는 충분하지 않습니다. 검증인의 1/3 이상이 오프라인 상태인 경우에도 체인을 활성 상태로 유지할 수 있는 알고리즘을 원합니다.
(2) SSF 검증자 경제학 - 검증자 수를 제한해야 하는 경우 참여를 어떻게 제한하고 어떤 희생을 치러야 합니까?
6. 비밀 지도자 선거(SLE)
오늘날 블록을 제안하기 위해 선택된 검증자(슬롯 리더)는 사전에 알려져 있으므로 잠재적인 DoS 공격이 다가오는 블록의 리더를 구체적으로 표적으로 삼을 수 있습니다.
랜덤 셔플링이 있는 단일 SLE 프로토콜에 대한 ethressearch.ch의 게시물: 리더가 자신의 블록과 리더십 증명을 공개할 때까지 리더 자신을 제외하고 누가 슬롯의 리더가 될지 아무도 모릅니다.
비단일 비밀 리더 선출도 옵션이 될 수 있습니다.
7. 더 많은 검증자 지원 - 지속적인 장기적 노력: 더 많은 검증자를 안전하게 지원하는 것이 항상 바람직합니다.
8. 양자 안전 집계 친화적 서명 - 이더리움을 양자 컴퓨터 공격으로부터 안전하게 만듭니다.
이더리움에서 사용하는 BLS 서명 체계 이면의 암호화는 양자 컴퓨터에 의해 깨진 것으로 알려져 있지만 알려진 양자 안전 대체 서명 체계는 BLS 서명 체계만큼 효율적으로 집계되지 않습니다(따라서 양자 안전을 모두 갖춘 방법이 필요함). 및 집계 친화적) 계획);
두 가지 주요 양자 보안 방법은 STARK 및 Lattice를 기반으로 합니다.
9. EIP-4844 구현 - EIP-4844를 이더리움 메인넷에 적용합니다.
설명, 예상 일정, 사양 등 신뢰할 수 있는 설정을 생성하려면 "행사"가 필요합니다.
EIP-4844 구현 일정 개요
10. 기본 롤업 확장 - 다음에 따라 다름:
EIP-4844 - Blobspace의 사용 가능한 용량을 제한하는 "모든 노드가 모든 데이터를 다운로드" 특성으로 인해 확장이 여전히 기본/제한적인 것으로 간주됩니다.
롤업 제한된 훈련용 바퀴(제안된 이정표 참조)
11. 전체 롤업 확장 - 다음에 따라 달라집니다.
데이터 가용성 샘플링을 위한 P2P 설계: 데이터 샤딩에 필요한 네트워크에 대한 모든 노력과 연구
DA 샘플링 클라이언트: 수 킬로바이트의 무작위 샘플링을 통해 데이터 사용 가능 여부를 빠르게 판단할 수 있는 경량 클라이언트 개발
효율적인 DA 자가 치유: 최악의 네트워크 조건에서 모든 데이터를 효율적으로 재구성할 수 있습니다(예: 악의적인 유효성 검사기 공격 또는 많은 노드의 장기간 다운타임).
훈련 바퀴가 없는 롤업: 완전히 분산된 시퀀서, 신뢰할 수 없는 사기 증명자, 불변 계약 등
12. 양자 보안 및 신뢰할 수 없는 설정 약속 - 이더리움이 양자 컴퓨터에 영향을 받지 않도록 합니다.
다항식 약속(KZG)은 효율적이고 강력하지만 양자 안전하지 않으며 신뢰할 수 있는 설정이 필요합니다. KZG 내부의 "핫 스와핑"이라는 궁극적인 목표와 함께 보다 이상적인 장기적 약속에 대한 연구가 진행 중입니다.
2. 스컬지
관련된 링크들:
관련된 링크들:
신뢰할 수 있는 중립성에 의해 안내됩니다.
MEV에 대한 다양한 트윗
MEV 및 PBS에 관한 기사
PBS의 링크 목록
무슨 일이 있었는지
1. 프로토콜 외부의 MEV 시장 - MEV-Boost 미들웨어를 사용하면 복잡한 MEV 전략을 직접 실행하지 않고도 일반 검증인이 MEV에서 이익을 얻을 수 있습니다.
검열 문제가 있기 때문에 솔루션 자체가 완전하지 않습니다.
이러한 비계약 시장을 보다 탄력적으로 만들기 위한 아이디어와 계획은 탄력성 비용 및 SUAVE를 참조하십시오.
무엇 향후 계획
1. 포함 목록 또는 대안 - 블록 제안자가 블록 빌더에 제한을 가하도록 합니다. 즉, 트랜잭션을 포함하도록 강제합니다.
( 1 ) 목록 주석을 포함합니다.
(2) 블록 제안자에게 부담을 주지 않고 블록 빌더를 제한하는 연구;
2. 프로토콜 내 PBS – 블록 빌더 시장을 프로토콜에 직접 통합합니다.
3. MEV 소각 - 블록체인이 온체인 경제에서 추출한 가치를 포착하도록 합니다.
(1) 제안자 경매를 통한 MEV 제안의 직접 파기
(2) 위원회 중심의 MEV 스무딩을 통해 프로토콜이 MEV를 인식할 수 있습니다.
(3) 경제적 인센티브를 통해 설정된 검증인을 제한하면 마이너스 발행을 통해 간접적으로 MEV를 소각합니다.
4. 애플리케이션 계층 MEV 최소화 - L1과 직접적인 관련이 없는 이 프로젝트에는 개발자가 dapp을 설계할 때 MEV를 고려하는 것이 포함됩니다. 다음은 MEV 최소화 전략을 사용하는 dapp의 몇 가지 예입니다.
분산 빌더 트랙
블록 제안이 분산된 상태로 유지됨에 따라 이제 블록 구축이 중앙 집중화되는 별도의 문제가 있습니다. 중앙 집중식 블록 구축의 최악의 부정적인 영향을 최소화하는 것을 목표로 하는 로드맵의 다른 모든 프로젝트에도 불구하고 블록 구축을 여러 노드에 분산시킬 수 있다는 것은 여전히 주요 이점입니다.
Blob 구성 - 일반 소비자 하드웨어가 실행될 수 있는 여러 노드에서 데이터 샤딩의 높은 대역폭 및 처리 요구를 오프로드하는 방법을 찾습니다.
사전 확인 서비스 - 사용자에게 트랜잭션이 다음 블록에 포함될 것이라는 강력한 보증을 제공합니다.
리드 보호 - 샌드위치 트랜잭션과 같은 독성 MEV를 최소화하여 분산 빌드를 안정적으로 중립으로 유지합니다.
매우 개방적인 설계 고려 사항이 있는 여전히 활발한 연구 영역이므로 처음 두 항목을 프로토콜에 포함해야 하는지 여부가 불분명합니다(따라서 로드맵의 물음표 상태).
관련 링크는 다음과 같습니다.
분산 블록 구성을 언급하는 병합 블록 구성에 대해 이야기하십시오: https://www.youtube.com/watch?v=KP 5 ppCRH 0 iM
분산형 블록 빌더와 대화: https://www.youtube.com/watch?v=fAgrIdyWIqc
분산 블록 구축에 대한 생각: https://github.com/flashbots/mev-boost/issues/139
3. 직전
목표: 블록 확인은 매우 간단해야 합니다. N 바이트의 데이터를 다운로드하고, 몇 가지 기본 계산을 수행하고, SNARK를 확인하면 완료됩니다.
이 단계는 본질적으로 가벼운 클라이언트를 구현하여 "클라이언트 격차"를 메우는 것입니다. 모든 사람이 전체 노드를 실행하기를 원하거나 실행할 수 있는 것은 아닙니다. The Verge의 목표는 실행하기 쉽고 많은 스토리지와 대역폭이 필요하지 않은 무신뢰 또는 신뢰 최소화 대안을 도입하는 것입니다. The Verge의 궁극적인 목표는 이러한 라이트 클라이언트가 오늘날의 전체 노드와 동일한 보안 보장을 제공하는 것입니다.
모든 것은 SNARK 및 STARK와 같은 영지식 기술에 의존하며, 이 기술은 자체적으로 다항식 약속 체계에 의존합니다. 관련 링크는 다음과 같습니다.
zk-SNARK가 구현되는 방법을 간략하게 소개합니다.
STARK의 분석;
수학과 프로그래밍을 어느 정도 알고 있다면 이 기사를 통해 zk-SNARK가 무엇인지 이해할 수 있습니다.
이더리움 확장에서 다항식 약정 체계의 역할에 대해;
무슨 일이 있었는지
1. 베를린 업그레이드에서 수정된 가장 심각한 EVM DoS 문제 해결 - 주로 가스 가격 문제.
2. 기본 라이트 클라이언트 지원(동기화 위원회) - 동기화 위원회 덕분에 합의 계층을 따르는 라이트 클라이언트를 쉽게 구축할 수 있습니다.
Helios 클라이언트가 동기식 위원회를 활용하는 방법을 확인하십시오(및 이러한 위원회의 작동 방식에 대한 훌륭한 기사).
무엇 향후 계획
1. SNARK / STARK ASIC - 증명 생성을 위해 특별히 제작된 하드웨어.
2. Verkle 트리 - 전역 상태에 사용되는 데이터 구조를 보다 효율적인 데이터 구조로 바꿉니다.
(1) Verkle 트리의 연결된 목록입니다.
(2) 주요 이점은 라이트 클라이언트가 블록 헤더만 사용하여 계정 잔액과 같은 것을 쉽게 확인할 수 있는 매우 짧은 증명을 갖는 것입니다. 그들은 이미 동기화 위원회를 활용하여 주어진 블록이 블록 헤더가 실제로 메인 블록의 일부인지 확인할 수 있습니다. 체인;
(3) 올바른 사양, 안전하게 전환하는 방법, 업데이트/편집 상태의 EVM 가스 비용에 미치는 영향을 파악하는 데 의존합니다(또한 The Purge에서 SELF-DESTRUCT를 허용하지 않는 것에 의존함).
3. SNARK 기반 라이트 클라이언트 – SNARKify 동기화 위원회 전환으로 현재 동기화 위원회가 어떤 검증인으로 구성되어 있는지 빠르게 증명
4. 완전히 SNARK된 이더리움 - 다음 3가지 항목은 이더리움이 매우 효율적이고 신뢰할 수 없는 블록 검증 최종성을 갖기 위한 주요 이정표를 구성합니다.
(1) Verkle 증명을 위한 SNARK - Verkle 증명을 SNARK에 통합하면 블록이 수정하는 부분 상태에 대한 짧고 독립적인 증명을 포함하므로 블록 여부를 확인하기 위해 블록 N-1의 전체 상태를 확인할 필요가 없습니다. N은 올바르게 수정합니다.
(2) 컨센서스 상태 전환을 위한 SNARK — 신뢰 최소화된 동기화 위원회에서 컨센서스 레이어에서 발생하는 모든 일에 대해 완전히 신뢰할 수 없는 검증으로 이동합니다.
(3) L1 EVM용 SNARK - zk-EVM을 L1에 직접 통합하여 zk-EVM에 대한 롤업 팀의 노력을 활용합니다(강화된 롤업에 대한 게시물 참조).
5. L1 가스 한도 증가 - 신뢰할 수 없는 방식으로 블록을 검증하기 위해 "모든 노드가 모든 것을 저장해야 하는" 오늘날의 부담을 제거하여 블록이 크면 L1 확장성을 더 쉽게 얻을 수 있습니다(이는 모든 L2 확장을 자동으로 합성합니다).
6. 양자 안전 SNARK(예: STARK)로 전환하여 이더리움이 양자 컴퓨터 공격에 면역이 되도록 합니다(SNARK의 효율성은 양자 컴퓨터에 의해 해독되는 것으로 알려진 암호화에 의존하지만 STARK는 그렇지 않음).
4. 퍼지
목표: 프로토콜을 단순화하고 기술 부채를 제거하며 오래된 기록을 정리하여 네트워크 참여 비용을 제한합니다.
무슨 일이 있었는지
1. 대부분의 가스 환급을 제거합니다. 모든 가스 가격 재조정은 베를린 업그레이드에서 이루어집니다.
2. 비콘 체인 빠른 동기화 - 모든 개발 작업은 원본이 아닌 가장 최근에 완료된 에포크에서 동기화됩니다(대부분의 합의 클라이언트에서 "체크포인트 동기화"라고 함).
3. EIP-4444 사양 - EIP 사양을 참조하십시오.
무엇 향후 계획
1. 기록 만료 - 이전 기록을 만료하여 스토리지 요구 사항, 동기화 시간 및 코드 복잡성을 줄입니다.
(1) 이 트위터 게시물을 참조하십시오.
(2) EIP-4444 구현에 따라 다른 수단(예: 포털 네트워크)을 통해 대체 기록에 액세스하는 데 의존합니다.
(3) 과거 만료에 대한 Vitalik의 AMA;
2. 상태 만료 - 상태에 대한 전체 "한 번 지불, 데이터 영구 저장" 문제를 해결합니다.
(1) 아이디어는 상태의 사용되지 않는 부분을 자동으로 만료시키고 사용자가 필요할 때 만료된 상태를 복원하는 데 사용할 수 있는 버클 트리 루트만 유지하는 것입니다.
(2) 상태 만료에 대한 Vitalik의 AMA;
(3) 의존: 기본 상태 만료 사양 - 실제로 수행하는 방법은 잠재적 로드맵(및 기타 옵션)을 참조하십시오.
주소 공간 확장 - 주소 크기를 20바이트에서 32바이트로 늘려 충돌을 방지하고 상태 주기에 대한 데이터를 추가합니다.
응용 프로그램 분석 - 현재 응용 프로그램/계약을 위반할 수 있는 방법과 적합성을 확인합니다.
3. 로그 개혁 - 이벤트 로그 작동 방식을 단순화하여 과거 이벤트를 보다 효율적으로 검색합니다.
4. 직렬화 조정 - 실행 계층은 데이터 직렬화를 위해 RLP를 사용하는 반면 합의 계층은 SSZ를 사용하여 RLP를 제거하고 모든 곳에서 SSZ를 사용합니다.
5. 이전 트랜잭션 유형 제거 - 이전 트랜잭션 유형(EIP-2718 참조) 지원을 중단하여 클라이언트에서 코드 복잡성을 제거합니다(일부 이전 버전과의 호환성 비용).
6. EVM 단순화된 트랙.
(1) SELFDESTRUCT 비활성화 - 이 opcode는 많은 문제의 원인입니다(관련 EIP: EIP-4758 및 EIP-4760 및 토론).
(2) 가스 메커니즘 단순화 - 여기에 언급된 많은 가스 관련 EVM 기능을 제거해야 합니다.
(3) 사전 컴파일 --> EVM 구현 -- 사전 컴파일된 계약을 제거하고 직접 EVM 구현을 지원합니다(즉, 대규모 모듈식 작업, The Splurge 참조).
5. 과시
목표: 다른 모든 것을 수정
더 높은 우선 순위 업그레이드에 필요하지 않은 모든 멋진 개선 사항은 The Splurge에 속합니다. 가장 큰 개선 항목은 계정 추상화이지만 기존 항목에 대한 작은 조정입니다.
무슨 일이 있었는지
1. EIP-1559 - 이 유명한 EIP는 ETH를 소각하는 것 외에도 많은 이점이 있습니다.
2. ERC-4337 사양 - 이 ERC는 핵심 프로토콜을 수정하지 않고 계정 추상화를 도입하는 것을 목표로 합니다(ERC-4337의 초기 설명 문서).
무엇 향후 계획
1. 최종 단계의 EIP-1559 – EIP-1559는 다차원을 통해 향상되었습니다.
2. EVM 개선 트랙 및 The Purge에서 EVM의 최종 단계까지의 단순화된 트랙.
(1) EVM 개체 형식(EOF) — 배포 시 EVM 바이트코드의 확인 및 버전 관리를 허용하는 일련의 EIP입니다. 이 설명 기사 및 트위터 스레드를 참조하십시오.
(2) 대규모 모듈식 작업 - 로드맵의 많은 암호화는 EVM에서 직접 보다 효율적으로 수행할 수 있는 모듈식 작업을 위해 매우 많은 수에 의존합니다.
(3) 추가 EVM 개선 - EVM을 개선하기 위해 추가할 가치가 있는 모든 것 또는 복잡성을 제거하기 위해 제거된 모든 것
3. 최종 단계 계정 추상화로 이어지는 계정 추상화 트랙. 자세한 내용은 다음 항목에 대한 Vitalik의 설명을 참조하십시오.
(1) ERC-4337 - 실제 채택을 위해 호환되는 스마트 지갑을 개발합니다.
(2) 자발적 EOA 전환 - EIP를 통해 일반 계정에 비가역적으로 코드를 추가하여 계약 계정, 즉 4337 표준을 충족하는 스마트 지갑으로 전환할 수 있습니다.
(3) 계약 내 전환 - 모든 기존 계정에 대해 위의 전환을 의무화합니다.
4. VDF(Verifiable Delay Function) - 무엇보다도 PoS의 무작위성을 강화하는 기본적으로 "병렬화할 수 없는 작업 증명"입니다(VDF 및 잠재적 용도에 대한 ethressearch.ch 게시물 참조).
5. 더스트 계정을 위한 솔루션 탐색 - 가치보다 이사 비용이 더 많이 드는 "더스트 펀드" 절약. 여기에 많은 아이디어가 있습니다: https://ethereum-magicians.org/t/some-medium-term-dust-cleanup-ideas/6287
