Tiêu đề gốc: "Lộ trình Ethereum được chú thích"
Biên dịch nguyên văn: domothy, trang ETH Trung Quốc
Bài viết này dựa trên lộ trình Ethereum mới nhất để chú thích nội dung, nhằm mục đích để người đọc hiểuLộ trình EthereumMỗi phần ở trên cung cấp các điểm vào và mỗi phần cung cấp một cái nhìn tổng quan ngắn gọn.
Lưu ý: Như được chỉ ra bởi các mũi tên trên lộ trình, các phần khác nhau được liệt kê không hoạt động liên tục và quá trình phát triển của chúng diễn ra song song.
sự hợp nhất
Mục tiêu: Để đạt được một cơ chế đồng thuận PoS lý tưởng, ngắn gọn, mạnh mẽ và phi tập trung.
công việc đã hoàn thành
Ngày 1 tháng 12 năm 2020 — Ra mắt chuỗi Beacon
Giới thiệu lớp đồng thuận Ethereum PoS và người xác minh cam kết ETH sẽ duy trì bảo mật mạng của lớp này;
Chuỗi đèn hiệu được gọi trong đặc tả đồng thuậngiai đoạn 0(Vitalik củaphiên bản chú thíchvà của Danny Ryanphiên bản chú thích）；
Ngày 27 tháng 10 năm 2021 - Khởi động fork (Altair) - Các nhà phát triển ứng dụng khách tầng đồng thuận đã thực hiện chạy thử nghiệm về việc phối hợp nâng cấp hard fork.
khách hàng nhẹkhách hàng nhẹ, và thực hiện một số điều chỉnh đối với hình phạt;
「What’s new in ETH 2 」Vấn đề trong đó Altair được giải thích;
Ngày 15 tháng 9 năm 2022 — Hợp nhất! Nghỉ hưu PoW - trongChiều cao khối 15537394Hoàn thành việc hợp nhất lớp đồng thuận và lớp thực thi.
bước tiếp theo
Rút tiền — Cho phép người xác nhận rút toàn bộ hoặc một phần tiền gửi
CapellaCác nhánh xác định các thay đổi trong lớp đồng thuận;
EIP-4895 Chỉ định các thay đổi trong lớp thực thi;
Tim Beiko khi rút tiềnFAQ；
Trình xác thực phân tán — "Multi-sig, but for staking", một kỹ thuật trong đó n người chia sẻ cùng một trình xác thực và m-of-n phải đồng ý về cách hoạt động của nó.
Tăng cường cơ chế đặt cược bằng cách ngăn chặn việc vô tình cắt giảm và giúp việc tham gia dễ dàng hơn (ví dụ: bằng cách phân chia 32 ETH cần thiết một cách đáng tin cậy cho nhiều người tham gia);
Đây không phải là công việc của thỏa thuận,SSVVàObolvà các nhóm khác đang thực hiện nghiên cứu này;
Xem hợp nhất — điều chỉnh các quy tắc lựa chọn ngã ba (cách người xác thực bỏ phiếu) để giảm thiểu một loại tấn công.
Về bản chất, nó là để "buộc" những người xác minh trung thực nhìn thấy người đứng đầu chuỗi chính xác, để giảm khả năng những người xác minh độc hại chia phiếu bầu và tổ chức lại các khối có lợi cho họ;
bài đăng trên ethresear.chCó rất nhiều nền tảng (rất kỹ thuật) về nghiên cứu này trong ;
Tổng hợp được cải thiện — Ethereum cố gắng hỗ trợ nhiều trình xác thực nhất có thể, nhưng việc mọi người xác thực bỏ phiếu trên mỗi khối (và xác minh mọi phiếu bầu của người xác nhận khác) là quá tốn băng thông. Điều tốt nhất tiếp theo là tổng hợp chữ ký, nhưng điều này có những hạn chế và có thể được thực hiện tốt hơn.
Giới thiệu về lợi ích của chữ ký tổng hợp BLSgiải thích bài；
Kỹ thuật chữ ký của ứng viên tiềm năng:Horn；
Độ cuối cùng của một vị trí (SSF) - Hoàn thiện trạng thái chuỗi ở mọi vị trí khác (12 giây) thay vì mọi kỷ nguyên khác (12,8 phút).
Con đường đến mục đích cuối cùng trong một khe duy nhất(Phiên bản Trung Quốc);
Ngoài việc cải thiện tổng hợp chữ ký, chúng tôi phải tìm ra hai điều:
- Thuật toán đồng thuận SSF - thuật toán tương thích với SSF hiện có là không đủ, chúng tôi muốn một thuật toán có thể giữ cho chuỗi tồn tại ngay cả khi có hơn 1313 trình xác thực đang ngoại tuyến;
- Tính kinh tế của Trình xác thực SSF - Nếu cuối cùng chúng tôi phải giới hạn số lượng trình xác thực, làm cách nào để giới hạn tỷ lệ tham gia và chúng tôi cần phải hy sinh những gì?
Bầu cử thủ lĩnh bí mật (SLE)
Hiện tại, các trình xác thực được chọn để đề xuất một khối (các phần tử dẫn đầu của một vị trí) đã được biết trước một chút, cho phép các cuộc tấn công DoS tiềm năng nhắm mục tiêu cụ thể vào các phần tử dẫn đầu của các khối sắp tới;
ethresear.chCó một bài đăng về một giao thức bầu chọn người lãnh đạo bí mật duy nhất dựa trên xáo trộn ngẫu nhiên: không ai biết ai sẽ là người lãnh đạo của vị trí này ngoại trừ chính người lãnh đạo cho đến khi họ xuất bản khối của họ cùng với bằng chứng về người lãnh đạo;
Bầu cử thủ lĩnh bí mật không độc thâncũng có thể là một lựa chọn;
Hỗ trợ nhiều trình xác thực hơn — Một nỗ lực dài hạn liên tục: Hỗ trợ nhiều trình xác thực hơn một cách an toàn luôn là mục tiêu của chúng tôi.
Chữ ký an toàn lượng tử, thân thiện với tổng hợp — Làm cho Ethereum an toàn lượng tử là một phần trong nỗ lực lâu dài của chúng tôi nhằm làm cho Ethereum an toàn lượng tử trước khi máy tính lượng tử trở thành mối quan tâm chính đáng.
Lược đồ chữ ký BLS được sử dụng dựa trên mật mã được biết là đã bị phá vỡ bởi máy tính lượng tử, nhưng các lược đồ chữ ký thay thế được biết là an toàn lượng tử không tổng hợp chữ ký hiệu quả như BLS (do đó cần có một lược đồ vừa an toàn lượng tử vừa tổng hợp -thân thiện);
Hai chương trình bảo mật lượng tử chính làdựa trên STARKvà Dựa trên lưới;
The Scourge (giải quyết những nguy hiểm tiềm ẩn)
Liên kết liên quan:
Liên kết liên quan:
công việc đã hoàn thành
Thị trường MEV bên ngoài giao thức — Phần mềm trung gian MEV-Boost cho phép các trình xác thực thông thường kiếm lợi nhuận từ MEV mà không cần phải tự chạy các chính sách MEV phức tạp.
Giải pháp này không hoàn chỉnh bởi vì nó cóôn tập câu hỏi；
Đọc bài viết "The Cost of Resilience"Và"The Future of MEV is SUAVE” để tìm hiểu về các kế hoạch làm cho thị trường MEV bên ngoài các thỏa thuận này trở nên linh hoạt hơn;
bước tiếp theo
Danh sách gói hoặc các lựa chọn thay thế — hãy để những người đề xuất khối đặt ra các ràng buộc đối với những người xây dựng khối, tức là buộc họ phải bao gồm các giao dịch.
PBS trong giao thức — ghi trực tiếp thị trường xây dựng khối vào giao thức.
Ghi MEV — Cho phép chuỗi khối thu được giá trị mà lẽ ra sẽ được trích xuất từ nền kinh tế trực tuyến.
Tối thiểu hóa MEV của lớp ứng dụng — Công việc này không liên quan trực tiếp đến L1, nó liên quan đến việc các nhà phát triển cần ghi nhớ MEV khi thiết kế dapp của họ. Dưới đây là một vài ví dụ về DApps áp dụng chiến lược giảm thiểu MEVví dụ。
Lộ trình xây dựng phân tán. Vì quy trình đề xuất khối được duy trì phi tập trung, nên giờ đây chúng tôi có một vấn đề riêng khi việc xây dựng khối trở nên tập trung. Mặc dù mọi thứ khác trên lộ trình được thiết kế để giảm thiểu trường hợp xấu nhất của việc tập trung xây dựng khối, nhưng khả năng phân phối việc xây dựng khối trên nhiều nút vẫn là một lợi ích lớn.
Cấu trúc blob - tìm cách giảm tải các yêu cầu xử lý và băng thông cao của việc bảo vệ dữ liệu trên nhiều nút mà phần cứng cấp độ người tiêu dùng thông thường có thể chạy trên đó;
Dịch vụ xác nhận trước - mang đến cho người dùng sự đảm bảo chắc chắn rằng giao dịch của họ sẽ được đưa vào khối tiếp theo;
Bảo vệ chạy trước - Giảm thiểu MEV độc hại, chẳng hạn như các cuộc tấn công kiểu bánh sandwich, để quy trình xây dựng phân tán duy trì tính trung lập đáng tin cậy;
Liên kết liên quan:
Liên kết liên quan:
The Verge (Biên giới)
Mục tiêu: Việc xác minh một khối phải cực kỳ dễ dàng - tải xuống N byte dữ liệu, thực hiện một số tính toán cơ bản, xác minh SNARK và bạn đã hoàn tất.
Phần này về cơ bản là điền vào "Thiếu sót về phía khách hàng”: Không phải ai cũng muốn hoặc có thể chạy một nút đầy đủ. Mục tiêu của The Verge là giới thiệu các giải pháp thay thế không tin cậy hoặc giảm thiểu tin cậy, dễ chạy và không yêu cầu nhiều dung lượng lưu trữ hoặc băng thông. Mục tiêu cuối cùng của The Verge là dành cho các ứng dụng khách nhẹ này để cung cấp các đảm bảo bảo mật giống như các nút đầy đủ hiện tại.
Tất cả điều này đều dựa vào các kỹ thuật không có kiến thức như SNARK và STARK, bản thân chúng dựa trên các sơ đồ cam kết đa thức. Dưới đây là một số liên kết về điều này:
Giới thiệu tại sao có thể sử dụng zk-SNARK(Phiên bản Trung Quốc)
Giả sử bạn là người biết toán học và lập trình, hãy giải thích zkSNARK cho bạn
Vai trò của các kế hoạch cam kết đa thức trong việc mở rộng quy mô Ethereum
công việc đã hoàn thành
Sự cố EVM DoS tồi tệ nhất đã được khắc phục - chủ yếu là giá Gas, đã được khắc phục trong bản nâng cấp Berlin.
Hỗ trợ ứng dụng khách nhẹ cơ bản (ủy ban đồng bộ hóa) — Nhờ có ủy ban đồng bộ hóa, thật dễ dàng để xây dựng các ứng dụng khách nhẹ tuân theo lớp đồng thuận.
học hỏikhách hàng của HeliosCách sử dụng các ủy ban đồng bộ hóa (giải thích tốt về cách thức hoạt động của các ủy ban này);
bước tiếp theo
Triển khai EIP-4844 — Triển khai EIP-4844 trên mạng chính
Một "buổi lễ" sẽ được yêu cầu để tạo khởi tạo đáng tin cậy:giải thích、sự chỉ rõ、sự chỉ rõ；
Chia tỷ lệ tổng số cơ bản — Dựa vào những điều sau đây để hoạt động:
EIP-4844 - khả năng mở rộng đạt được vẫn được coi là cơ bản/bị hạn chế do tính chất "mọi nút tải xuống tất cả dữ liệu" làm hạn chế khả năng sử dụng được của blobspace;
Giai đoạn bánh xe tập rollup hạn chế (bài viết đề xuất bỏ bánh xe tập rollupbản đồ lộ trình）；
Thay đổi quy mô tổng số đầy đủ — Dựa vào công việc sau:
Thiết kế P2P của DAS (Lấy mẫu sẵn có của dữ liệu): Một số công việc và nghiên cứu liên quan đến các vấn đề kết nối mạng bảo vệ dữ liệu;
Ứng dụng khách lấy mẫu tính khả dụng của dữ liệu: phát triển ứng dụng khách nhẹ có thể nhanh chóng xác định xem dữ liệu có sẵn hay không bằng cách lấy mẫu ngẫu nhiên một vài kilobyte;
Tự phục hồi DA hiệu quả: có thể xây dựng lại tất cả dữ liệu một cách hiệu quả trong điều kiện mạng tồi tệ nhất (ví dụ: tấn công trình xác thực độc hại hoặc thời gian ngừng hoạt động lâu của các nút khối lớn)
Rollup không có bánh xe đào tạo: trình sắp xếp phi tập trung hoàn toàn, bằng chứng gian lận đáng tin cậy, hợp đồng bất biến, v.v.;
Lời hứa về an toàn lượng tử, khởi tạo đáng tin cậy — làm cho Ethereum an toàn lượng tử là một phần trong nỗ lực dài hạn của chúng tôi nhằm làm cho Ethereum an toàn lượng tử trước khi máy tính lượng tử trở thành mối quan tâm chính đáng.
Mặc dù hiệu quả và mạnh mẽ, các cam kết đa thức (KZG) được sử dụng ở mọi nơi không an toàn lượng tử và yêu cầu khởi tạo đáng tin cậy. Nghiên cứu về lời hứa về việc sử dụng lâu dài lý tưởng hơn đang được tiến hành, với mục tiêu cuối cùng là trao đổi nóng KZG dưới mui xe;
SNARK / STARK Mạch tích hợp dành riêng cho ứng dụng — phần cứng dành riêng để tạo bằng chứng.
Cây Verkle — thay thế cấu trúc dữ liệu được sử dụng cho trạng thái toàn cầu bằng một phiên bản hiệu quả hơn.
Lợi ích chính là khả năng tạo ra các bằng chứng rất ngắn gọn mà khách hàng nhẹ có thể dễ dàng xác minh để xác minh những thứ như số dư tài khoản bằng cách chỉ nhìn vào tiêu đề - họ đã có thể tận dụng các ủy ban đồng bộ hóa để xác minh rằng tiêu đề khối nhất định thực sự là một phần của khối chính. xích;
Cần viết một thông số kỹ thuật phù hợp, đảm bảo di chuyển an toàn và tìm hiểu xem nó sẽ ảnh hưởng như thế nào đến chi phí cập nhật/chỉnh sửa trạng thái EVM Gas (điều này còn phụ thuộc vào công việc hủy "SELF-DESTRUCT" trong phần Thanh lọc);
Các ứng dụng khách nhẹ dựa trên SNARK — Tạo bằng chứng SNARK về các chuyển đổi trạng thái trong Ủy ban đồng bộ hóa để nhanh chóng chứng minh trình xác thực nào tạo nên Ủy ban đồng bộ hóa hiện tại.
Ethereum hoàn toàn dựa trên SNARK — 3 mục sau cùng tạo nên "Bức tranh cuối cùng về EthereumMột cột mốc quan trọng để triển khai xác minh khối cực kỳ hiệu quả và đáng tin cậy:
SNARK cho Bằng chứng Verkle - Bằng cách kết hợp bằng chứng Verkle vào một SNARK duy nhất, các khối sẽ chứa bằng chứng ngắn, độc lập về trạng thái một phần mà chúng sửa đổi, do đó không cần xác minh toàn bộ trạng thái của khối N-1 để xác minh khối N. sửa đổi một cách chính xác;
SNARK cho quá trình chuyển đổi trạng thái đồng thuận — từ các ủy ban đồng bộ tối thiểu hóa độ tin cậy đến xác minh hoàn toàn không tin cậy đối với mọi thứ diễn ra trên lớp đồng thuận;
SNARK cho L1 EVM - Tận dụng công việc do nhóm tổng hợp thực hiện trên zk-EVM, tích hợp trực tiếp zk-EVM vào L1:
- Đọc về Rollup được viết trong giao thứcbưu kiện；
Tăng L1 Gas Cap — Các khối xác thực không đáng tin cậy bằng cách loại bỏ gánh nặng hiện tại “mọi nút cần lưu trữ mọi thứ” sẽ giúp dễ dàng hình thành các khối lớn hơn để có nhiều khả năng mở rộng L1 hơn (điều này sẽ tự động nâng cao hiệu quả của tất cả việc mở rộng L2).
Chuyển sang SNARK an toàn lượng tử (như STARK) — Làm cho Ethereum an toàn lượng tử là một phần trong nỗ lực dài hạn của chúng tôi nhằm làm cho Ethereum an toàn lượng tử trước khi máy tính lượng tử trở thành mối quan tâm chính đáng.
SNARK dựa trên mật mã được biết là có thể bẻ khóa bằng máy tính lượng tử, trong khi STARK thì không;
cuộc thanh trừng
Mục tiêu: Đơn giản hóa giao thức, xóa nợ kỹ thuật và hạn chế chi phí tham gia mạng bằng cách xóa dữ liệu lịch sử.
công việc đã hoàn thành
Xóa hầu hết tiền lãi Gas — tất cảđịnh giá lại gasCông việc nâng cấp đã được thực hiện ở Berlin.
Beacon Chain Fast Sync — Tất cả công việc phát triển đã được thực hiện để đồng bộ hóa từ kỷ nguyên được hoàn thiện gần đây nhất (được gọi là "đồng bộ hóa điểm kiểm tra" trong hầu hết các máy khách lớp đồng thuận) thay vì từ nguồn gốc.
Thông số kỹ thuật EIP-4444 - Đọchọc hỏi.học hỏi.
bước tiếp theo
Ngủ đông dữ liệu lịch sử — Giảm yêu cầu lưu trữ, thời gian đồng bộ hóa và độ phức tạp của mã bằng cách ngủ đông trạng thái lịch sử cũ.
đọc bài báo nàyTwitter dài；
Dựa vào việc triển khai EIP-4444, tức là bằng các phương tiện khác nhưPortal Network) để truy cập các lựa chọn thay thế trạng thái lịch sử;
Vitalik cho chế độ ngủ đông dữ liệu lịch sửAMA；
Trạng thái không hoạt động — Về trạng thái, khắc phục sự cố "thanh toán một lần, lưu trữ vĩnh viễn dữ liệu".
Ý tưởng chủ yếu là để các phần không sử dụng của trạng thái tự động ngủ đông, chỉ để lại một gốc cây verkle mà người dùng có thể sử dụng để kích hoạt trạng thái không hoạt động nếu cần;
Vitalik cho cơ chế ngủ đông của nhà nướcAMA；
Phụ thuộc vào những công việc này:
- Đặc điểm kỹ thuật ngủ đông trạng thái cơ bản: cách chúng tôi dự định triển khai nó, xem phần nàylộ trình tiềm năng(Vàsự lựa chọn khác）；
- Phần mở rộng không gian địa chỉ:tăng kích thước địa chỉ, tăng từ 20 byte lên 32 byte để ngăn xung đột và tăng dữ liệu về chu kỳ trạng thái;
- Phân tích ứng dụng: tìm hiểu xem nó sẽ phá vỡ các ứng dụng/hợp đồng hiện tại như thế nào và các ứng dụng/hợp đồng này cần phải điều chỉnh như thế nào;
Cải cách nhật ký - Đơn giản hóaNhật ký sự kiệnlàm việc để tìm kiếm hiệu quả hơn các sự kiện lịch sử.
Phối hợp tuần tự hóa - Sử dụng lớp thực thiRLPTuần tự hóa dữ liệu và lớp đồng thuận sử dụng SSZ, dần dần sẽ từ bỏ RLP và sử dụngSSZ。
Đã loại bỏ các loại giao dịch cũ — Ngừng hỗ trợ các loại giao dịch cũ (xemEIP-2718 ) để loại bỏ độ phức tạp của mã ở phía máy khách (hy sinh một số khả năng tương thích ngược).
Lộ trình đơn giản hóa EVM
Hủy SELFDESTRUCT — opcode này là nguồn gốc của nhiều vấn đề:
- 《Giải pháp thực tế để loại bỏ SELFDESTRUCT" giải thích lý do và cách xóa opcode này;
- Các EIP liên quan:EIP-4758 、 EIP-4760 cũng nhưbàn luận；
đâyđâyđược nhắc đến;
Biên dịch trước -> Triển khai EVM — Bỏ các hợp đồng được biên dịch trước và áp dụng triển khai EVM trực tiếp (nghĩa là các hoạt động mô-đun lớn, xem The Splurge);
sự phô trương
Mục tiêu: Hoàn thiện những thứ khác.
Tất cả những thứ tốt không cần ưu tiên cao hơn đều thuộc phần này của The Splurge. cái lớn nhất làtrừu tượng hóa tài khoản,Nhưng cũng có những điều chỉnh nhỏ đối với nội dung hiện có.
công việc đã hoàn thành
EIP-1559 — nổi tiếngEIPMang nóRất nhiều lợi ích, không chỉ phá hủy ETH.
Thông số kỹ thuật ERC-4337 —ERCNhằm mục đích giới thiệu tính trừu tượng của tài khoản mà không sửa đổi giao thức cốt lõi
bước tiếp theo
Hình thức cuối cùng của EIP-1559 — bằng cách tạođa chiềuVàAMM CurveVàthời gian nhận thứccủa.
Lộ trình sàng lọc EVM và lộ trình đơn giản hóa trong The Purge cùng nhau tạo thành hình thức cuối cùng của EVM.
Định dạng đối tượng EVM (EOF) — Một tập hợp nhiều EIP cho phép xác minh và lập phiên bản mã byte EVM khi nó được triển khai. Vui lòng đọc cái nàyVàVàbài đăng trên twitter；
Hoạt động theo mô-đun lớn — Phần lớn mật mã trong lộ trình dựa trên các hoạt động theo mô-đun trên số lượng lớn, có thể được thực hiện trực tiếp hiệu quả hơn trong EVM;
Tinh chỉnh thêm EVM — bất kỳ thứ gì khác đáng để thêm vào để cải thiện EVM, hoặcdi dờimột cái gì đó để loại bỏ sự phức tạp;
Lộ trình trừu tượng hóa tài khoản thực hiện hình thức cuối cùng của trừu tượng hóa tài khoản. Để biết thêm thông tin về những điều sau đây, hãy xem Vitalik'smô tả：
ERC-4337 — phát triển ví thông minh tương thích, được áp dụng thực tế;
Tự nguyện chuyển đổi tài khoản EOA - thông qua EIP, các tài khoản thông thường được phép thêm mã không thể thay đổi để chuyển đổi chúng thành hợp đồng, nghĩa là trở thành ví thông minh tương thích 4337;
Được viết trong thỏa thuận — để buộc chuyển đổi ở trên cho tất cả các tài khoản hiện có;
Verifiable Delay Functions (VDF) — về cơ bản là “bằng chứng công việc không song song” sẽTăng cường tính ngẫu nhiên được sử dụng trong PoS và những thứ khác。
xem cái nàybưu kiện, giới thiệu về VDF và những ứng dụng tiềm năng của chúng
đâyđâyXem một loạt các ý tưởng.
IOS
Android