Tác giả gốc: Hakeen, W3.Hitchhiker
Biên tập gốc: Evelyn, W3.Hitchhiker
1. Lộ trình nâng cấp Ethereum M2SVPS
The Merge
Trong giai đoạn Hợp nhất, cơ chế đồng thuận POW sẽ chuyển sang POS và chuỗi đèn hiệu sẽ được hợp nhất với nhau. Để dễ hiểu, chúng tôi đơn giản hóa cấu trúc của Ethereum thành sơ đồ sau:
Ở đây, trước tiên chúng ta định nghĩa phân mảnh là gì: hiểu đơn giản là quá trình phân chia cơ sở dữ liệu theo chiều ngang để trải tải
Sau khi chuyển đổi sang POS: trình đề xuất khối và trình xác minh khối được tách ra và quy trình làm việc của POS như sau (theo cách hiểu ở trên):
Gửi một giao dịch trên Rollup
Trình xác thực thêm giao dịch vào khối phân đoạn
Chuỗi đèn hiệu chọn trình xác thực để đề xuất các khối mới
Những người xác thực còn lại thành lập các ủy ban ngẫu nhiên và xác thực các đề xuất trên phân đoạn
Các khối đề xuất và chứng minh các đề xuất cần phải được hoàn thành trong một khoảng thời gian, thường là 12 giây. Cứ 32 vị trí tạo thành một chu kỳ kỷ nguyên và mỗi kỷ nguyên sẽ phá vỡ trật tự của trình xác thực và bầu lại ủy ban.
Sau khi sáp nhập, Ethereum sẽ triển khai lớp đồng thuậnTách người đề xuất-người xây dựng (PBS). Vitalik tin rằng trò chơi cuối cùng của tất cả các chuỗi khối sẽ là sản xuất khối tập trung và xác minh khối phi tập trung. Do dữ liệu khối Ethereum bị phân mảnh rất dày đặc nên việc tập trung sản xuất khối là cần thiết do yêu cầu cao về tính sẵn có của dữ liệu. Đồng thời, phải có một cách để duy trì một bộ trình xác thực phi tập trung có thể xác thực các khối và thực hiện lấy mẫu tính khả dụng của dữ liệu.
Công cụ khai thác và xác minh khối được tách biệt. Những người khai thác xây dựng các khối và gửi chúng cho những người xác thực. Đặt giá thầu để người xác thực chọn khối của riêng họ, sau đó người xác thực bỏ phiếu để quyết định xem khối có hợp lệ hay không.
Phân mảnh là một phương thức phân vùng có thể phân phối các tác vụ tính toán và khối lượng công việc lưu trữ trong mạng P2P. Sau phương thức xử lý này, mỗi nút không chịu trách nhiệm xử lý tải giao dịch của toàn mạng mà chỉ cần duy trì dữ liệu liên quan đến phân vùng của nó ( hoặc phân mảnh).thông tin vẫn ổn. Mỗi phân đoạn có mạng trình xác thực hoặc nút riêng.
Các vấn đề bảo mật phân mảnh: Ví dụ: nếu có 10 chuỗi phân đoạn trong toàn bộ mạng, thì cần 51% công suất tính toán để phá hủy toàn bộ mạng và chỉ cần 5,1% công suất tính toán để phá hủy một phân đoạn. Do đó, những cải tiến tiếp theo bao gồm thuật toán SSF, thuật toán này có thể ngăn chặn hiệu quả các cuộc tấn công 51% sức mạnh tính toán. dựa theovitalikTóm lại, việc chuyển sang SSF là một lộ trình kéo dài nhiều năm và thậm chí với rất nhiều công việc đã hoàn thành cho đến nay, đây sẽ là một trong những thay đổi lớn mà Ethereum sẽ thực hiện sau này và nó sẽ thua xa cơ chế chứng minh PoS của Ethereum, sharding và cây Verkle được khởi chạy đầy đủ sau đó.
Chuỗi báo hiệu chịu trách nhiệm tạo các số ngẫu nhiên, gán các nút cho các phân đoạn, chụp ảnh chụp nhanh của một phân đoạn duy nhất và các chức năng khác nhau, chịu trách nhiệm hoàn thành giao tiếp giữa các phân đoạn và điều phối đồng bộ hóa mạng.
Các bước thực hiện của beacon chain như sau:
Các nhà sản xuất khối cam kết đặt tiêu đề khối cùng với giá thầu.
Người tạo khối (người xác minh) trên chuỗi đèn hiệu chọn tiêu đề khối chiến thắng và đặt giá thầu, bất kể người đóng gói khối cuối cùng có tạo phần thân khối hay không, họ sẽ nhận được phí đấu giá chiến thắng một cách vô điều kiện.
Ủy ban (được chọn ngẫu nhiên trong số những người xác thực) bỏ phiếu để xác nhận tiêu đề khối thu được.
Trình đóng gói khối tiết lộ phần thân khối.
The Surge
Mục tiêu chính của lộ trình này là thúc đẩy mở rộng tập trung vào Rollup. Surge đề cập đến việc bổ sung Ethereum sharding, đây là một giải pháp mở rộng quy mô,Tuyên bố của Quỹ Ethereum: Giải pháp này sẽ tiếp tục kích hoạt chuỗi khối lớp 2 có phí gas thấp, giảm chi phí tổng số hoặc giao dịch theo gói và giúp người dùng vận hành các nút bảo mật mạng Ethereum dễ dàng hơn.
Sơ đồ vẫn có thể được hiểu với sơ đồ đơn giản hóa sau:
Lấy nguyên tắc hoạt động của zkrollup làm ví dụ: zkrollup được chia thành trình sắp xếp thứ tự và trình tổng hợp. Trình sắp xếp thứ tự chịu trách nhiệm sắp xếp các giao dịch của người dùng, đóng gói chúng thành các lô và gửi chúng đến trình tổng hợp. Bộ tổng hợp thực hiện giao dịch, tạo gốc trạng thái sau (gốc trạng thái sau) từ gốc trạng thái trước, sau đó tạo bằng chứng (bằng chứng). Bộ tổng hợp cuối cùng gửi gốc trạng thái trước, gốc sau trạng thái, dữ liệu giao dịch và bằng chứng cho L1 Hợp đồng trên hợp đồng chịu trách nhiệm xác minh xem bằng chứng có hợp lệ hay không và dữ liệu giao dịch được lưu trữ trong calldata. Tính khả dụng của dữ liệu Zkrollup cho phép mọi người khôi phục trạng thái toàn cầu của tài khoản dựa trên dữ liệu giao dịch được lưu trữ trên chuỗi.
Nhưng dùng calldata rất mắc nên toàn bộGiao thức EIP-4844(Có thể thay đổi bất cứ lúc nào) Đề xuất thay đổi kích thước của khối giao dịch thành 1-2MB, tạo nền tảng vững chắc cho quá trình tổng hợp và phân mảnh dữ liệu trong tương lai. Hiện tại, kích thước khối của Ethereum là khoảng 60KB ~ 100KB, lấy EIP-4844 làm ví dụ, giới hạn kích thước khối có thể tăng lên 10 ~ 34 lần. Định dạng khối được gọi là blob (còn được gọi là phân đoạn dữ liệu).
The Scourge
Tai họa ở giai đoạn này là phần bổ sung cho lộ trình và chủ yếu được sử dụng để giải quyết các vấn đề của MEV. Vậy MEV là gì?
Tên đầy đủ của MEV là Giá trị có thể khai thác của người khai thác / Giá trị có thể khai thác tối đa. Khái niệm này lần đầu tiên được áp dụng trongbằng chứng làm việchợp nhấthợp nhấtSau khi chuyển đổi sang bằng chứng cổ phần, những người xác thực sẽ chịu trách nhiệm về các vai trò này và việc khai thác sẽ không còn được áp dụng (phương pháp trích xuất giá trị được mô tả ở đây sẽ vẫn tồn tại sau quá trình chuyển đổi này, do đó cần phải thay đổi tên). Để tiếp tục sử dụng cùng một từ viết tắt nhằm đảm bảo tính liên tục trong khi vẫn duy trì ý nghĩa cơ bản giống nhau, "Giá trị có thể trích xuất tối đa" hiện được sử dụng như một giải pháp thay thế bao quát hơn.
Không gian chênh lệch giá bao gồm:
Bằng cách nén không gian lưu trữ, thu được chênh lệch giá của phí gas;
Trọng tài chạy trước: Tìm kiếm rộng rãi các giao dịch trên mempool, máy thực hiện các tính toán cục bộ để xem liệu nó có sinh lãi hay không và nếu có, hãy bắt đầu giao dịch tương tự với địa chỉ của chính nó và sử dụng phí gas cao hơn;
Tìm mục tiêu thanh lý: Các bot đua nhau phân tích dữ liệu chuỗi khối nhanh nhất để xác định người vay nào có thể được thanh lý, sau đó là người đầu tiên gửi giao dịch thanh lý và thu phí thanh lý của riêng họ.
Giao dịch bánh sandwich: Người tìm kiếm sẽ theo dõi các giao dịch lớn của DEX trong mempool. Ví dụ: ai đó muốn mua 10.000 UNI bằng DAI trên Uniswap. Các giao dịch lớn như vậy có thể có tác động đáng kể đến cặp UNI / DAI, có khả năng làm tăng đáng kể giá của UNI so với DAI. Người tìm kiếm có thể tính toán tác động giá gần đúng của giao dịch số lượng lớn đối với cặp UNI / DAI và thực hiện lệnh mua tối ưu ngay trước giao dịch số lượng lớn, mua UNI ở mức giá thấp và sau đó thực hiện lệnh bán ngay sau khi giao dịch lớn giao dịch số tiền, với số lượng đặt hàng lớn dẫn đến giá bán cao hơn.
Nhược điểm của MEV:
Một số hình thức MEV, chẳng hạn như giao dịch bánh sandwich, có thể dẫn đến trải nghiệm người dùng tồi tệ hơn đáng kể. Người dùng bị mắc kẹt ở giữa phải đối mặt với trượt giá cao hơn và thực hiện giao dịch kém hơn. Ở lớp mạng, những người đi trước nói chung và việc họ thường xuyên tham gia đấu giá gas (khi hai hoặc nhiều người đi trước tăng dần phí gas cho các giao dịch của chính họ để các giao dịch của họ được đưa vào khối tiếp theo) dẫn đến tắc nghẽn mạng và phí gas cao cho những người khác cố gắng chạy các giao dịch bình thường. Ngoài những gì xảy ra trong một khối, MEV cũng có thể có tác động bất lợi giữa các khối. Nếu MEV có sẵn trong một khối vượt quá nhiều so với phần thưởng khối tiêu chuẩn, thì những người khai thác có thể được khuyến khích khai thác lại các khối và nắm bắt MEV cho chính họ, dẫn đến việc tổ chức lại chuỗi khối và sự mất ổn định đồng thuận.
Phần lớn MEV được trích xuất bởi những người tham gia mạng độc lập được gọi là "người tìm kiếm". Những người tìm kiếm chạy các thuật toán phức tạp trên dữ liệu chuỗi khối để phát hiện các cơ hội MEV có lợi nhuận và có các bot tự động gửi các giao dịch có lợi nhuận này lên mạng. Vấn đề MEV trên Ethereum liên quan đến việc sử dụng bot để khai thác các giao dịch mạng, gây tắc nghẽn và phí cao.
The Verge
Verge sẽ thực hiện "cây cỏ roi ngựa"(một loại bằng chứng toán học) và "máy khách không trạng thái". Những nâng cấp kỹ thuật này sẽ cho phép người dùng trở thành người xác thực mạng mà không cần lưu trữ một lượng lớn dữ liệu trên máy của họ. Đây cũng là một trong những bước xung quanh việc mở rộng tổng số, được đề cập trước đó Thông qua nguyên tắc làm việc đơn giản của zk rollup, trình tổng hợp gửi bằng chứng và hợp đồng xác minh trên lớp 1 chỉ cần xác minh cam kết KZG trong blob và bằng chứng được tạo. Dưới đây là phần giới thiệu ngắn gọn về cam kết KZG, đó là để đảm bảo rằng tất cả các giao dịch được đưa vào. Vì quá trình tổng hợp có thể gửi một số giao dịch để tạo bằng chứng, nếu KZG được sử dụng, thì tất cả các giao dịch sẽ được đảm bảo được đưa vào để tạo bằng chứng.
The Verge đảm bảo rằng việc xác minh rất đơn giản. Bạn chỉ cần tải xuống N byte dữ liệu và thực hiện các phép tính cơ bản để xác minh bằng chứng được gửi bởi tổng số.
bài viết nàybài viết này。
The Purge
Purge sẽ giảm dung lượng cần thiết để lưu trữ ETH trên ổ cứng, cố gắng đơn giản hóa giao thức Ethereum và không yêu cầu các nút lưu trữ lịch sử. Điều này có thể làm tăng đáng kể băng thông của mạng.
EIP-4444:
Khách hàng PHẢI ngừng phục vụ tiêu đề, nội dung và người nhận cũ hơn một năm trên lớp P2P. Khách hàng có thể lược bỏ những dữ liệu lịch sử này cục bộ. Bảo tồn lịch sử của Ethereum là điều cơ bản và tôi tin rằng có nhiều cách khác nhau để đạt được điều này. Dữ liệu lịch sử có thể được đóng gói và chia sẻ qua các liên kết hoặc mạng nam châm torrent như IPFS. Ngoài ra, các hệ thống như Portal Network hoặc The Graph có thể được sử dụng để lấy dữ liệu lịch sử. Khách hàng nên cho phép nhập và xuất dữ liệu lịch sử. Khách hàng có thể cung cấp các tập lệnh tìm nạp/xác thực dữ liệu và tự động nhập chúng.
The Splurge
Lộ trình này chủ yếu là một số bản sửa lỗi tối ưu hóa từng phần, chẳng hạn như trừu tượng hóa tài khoản, tối ưu hóa EVM và sơ đồ số ngẫu nhiên VDF, v.v.
Trừu tượng hóa tài khoản (Account Abstraction, AA) được đề cập ở đây luôn là mục tiêu mà Lớp 2 của hệ thống ZK muốn đạt được đầu tiên. Vậy trừu tượng hóa tài khoản là gì? Sau khi thực hiện trừu tượng hóa tài khoản, tài khoản hợp đồng thông minh cũng có thể bắt đầu giao dịch mà không cần dựa vào cơ chế "giao dịch meta" (điều này đã được đề xuất trong EIP-4844).
Trong Ethereum, tài khoản được chia thành tài khoản hợp đồng và tài khoản bên ngoài. Hiện tại, chỉ có một loại giao dịch trong Ethereum, phải được bắt đầu bởi một địa chỉ bên ngoài và địa chỉ hợp đồng không thể chủ động bắt đầu giao dịch. Do đó, bất kỳ thay đổi nào về trạng thái của bản thân hợp đồng đều phải phụ thuộc vào giao dịch do địa chỉ bên ngoài khởi tạo. ít nhất một tài khoản bên ngoài.
Bất kể ứng dụng nào được sử dụng trên Ethereum, người dùng phải nắm giữ Ethereum (và chịu rủi ro biến động giá Ethereum). Thứ hai, người dùng cần xử lý logic phí phức tạp, giá gas, giới hạn gas, chặn giao dịch, những khái niệm này quá phức tạp đối với người dùng. Nhiều ví hoặc ứng dụng blockchain cố gắng cải thiện trải nghiệm người dùng thông qua tối ưu hóa sản phẩm, nhưng hiệu quả rất ít.
Mục tiêu của giải pháp lấy tài khoản làm trung tâm là tạo tài khoản cho người dùng dựa trên quản lý hợp đồng thông minh. Lợi ích của việc triển khai trừu tượng hóa tài khoản là:
Hợp đồng hiện tại có thể giữ ETH và gửi trực tiếp các giao dịch bao gồm tất cả các chữ ký.Người dùng không nhất thiết phải trả phí gas cho các giao dịch, tất cả phụ thuộc vào dự án.
Do triển khai mật mã tùy chỉnh, việc sử dụng các đường cong elip ESCDA cho chữ ký sẽ không bắt buộc trong tương lai. Trong tương lai, nhận dạng vân tay, nhận dạng khuôn mặt, sinh trắc học và các công nghệ khác của điện thoại di động có thể được sử dụng làm phương thức chữ ký.
Điều này cải thiện đáng kể trải nghiệm người dùng khi tương tác với Ethereum.
2. Mô đun hóa Ethereum
Toàn bộ Ethereum có xu hướng mô đun hóa và lớp thực thi do Lớp 2 phụ trách (chẳng hạn như arbitrum, zksync, starknet, đa giác zkevm, v.v.). Họ chịu trách nhiệm thực hiện các giao dịch của người dùng trên L2 và gửi bằng chứng. Lớp 2 thường sử dụng công nghệ OP/công nghệ ZK.Về mặt lý thuyết, TPS của công nghệ ZK cao hơn nhiều so với OP.Hiện tại, một số lượng lớn hệ sinh thái đang sử dụng hệ thống OP, nhưng trong tương lai, với sự cải tiến của công nghệ ZK , ngày càng nhiều ứng dụng sẽ được chuyển sang bộ phận ZK. Phần này mô tả chi tiết và bổ sung lý do và cách thức của lộ trình.
Hiện tại Ethereum mới chỉ tách lớp thực thi, thực tế các lớp khác vẫn còn lẫn lộn. Trong tầm nhìn của Celestia, lớp thực thi chỉ thực hiện hai việc: đối với một giao dịch đơn lẻ, thực hiện giao dịch và thay đổi trạng thái; đối với cùng một lô giao dịch, hãy tính toán gốc trạng thái của lô. Một phần công việc của lớp thực thi Ethereum hiện tại được giao cho Rollup, được chúng tôi gọi là StarkNet, zkSync, Arbitrum và Optimism.
Bây giờ cho dù đó là sự lạc quan, đa giác, starknet, zksync, v.v., tất cả đều đang khám phá con đường mô đun hóa.
Chủ nghĩa lạc quan đề xuất ngăn xếp nền tảng / op, đa giác cũng đang phát triển tính khả dụng của đa giác như một lớp khả dụng của dữ liệu và siêu mạng được sử dụng để đơn giản hóa việc tạo chuỗi và chia sẻ các bộ trình xác thực.
Lớp giải quyết: Có thể hiểu là quá trình xác minh gốc trạng thái trước, gốc trạng thái sau, tính hợp lệ của bằng chứng (zkRollup) hoặc bằng chứng gian lận (Bản tổng hợp lạc quan) bằng hợp đồng Rollup trên chuỗi chính.
Lớp đồng thuận: Bất kể PoW, PoS hay các thuật toán đồng thuận khác, lớp đồng thuận là để đạt được sự đồng thuận về điều gì đó trong một hệ thống phân tán, nghĩa là đạt được sự đồng thuận về tính hợp lệ của quá trình chuyển đổi trạng thái (trạng thái cũ bắt nguồn từ hậu trạng thái sau gốc tính toán). Trong bối cảnh mô đun hóa, ý nghĩa của lớp giải quyết và lớp đồng thuận có phần giống nhau, vì vậy một số nhà nghiên cứu đã thống nhất lớp giải quyết và lớp đồng thuận.
Lớp tính khả dụng của dữ liệu: Đảm bảo rằng dữ liệu giao dịch được tải hoàn toàn lên lớp tính khả dụng của dữ liệu và nút xác minh có thể tái tạo tất cả các thay đổi trạng thái thông qua dữ liệu trong lớp này.
Điều cần phân biệt ở đây là sự khác biệt giữa tính khả dụng của dữ liệu và lưu trữ dữ liệu:
Tính khả dụng của dữ liệu hoàn toàn khác với lưu trữ dữ liệu, trong đó tính khả dụng của dữ liệu kể từ lần phát hành khối mới nhất, trong khi tính năng sau liên quan đến việc lưu trữ dữ liệu một cách an toàn và đảm bảo rằng dữ liệu có thể được truy cập khi cần.
1. Các bản tổng hợp khác nhau trên lớp dàn xếp
Từ quan điểm của lớp giải quyết, hiện tại người ta tin rằng trọng tâm của bản tổng hợp là hệ thống ZK. Nếu kích thước, mức tiêu thụ gas và chi phí của hệ thống bằng chứng ZK được cải thiện thông qua việc triển khai hệ thống ZK, đồng thời kết hợp với xử lý đệ quy và song song, TPS của nó có thể được mở rộng đáng kể. Vì vậy, hãy bắt đầu với ZK rollup.
Với sự phát triển mở rộng của Ethereum, công nghệ Zero Knowledge Proof (ZKP) được Vitalik coi là giải pháp được kỳ vọng sẽ là dấu chấm hết cho cuộc chiến mở rộng.
Bản chất của ZKP là để ai đó chứng minh rằng họ biết hoặc có thứ gì đó. Ví dụ, tôi có thể chứng minh rằng tôi có chìa khóa mở cửa mà không cần phải rút chìa khóa ra. Chứng minh kiến thức về mật khẩu của tài khoản mà không cần phải nhập mật khẩu đó và có nguy cơ bị lộ là một công nghệ có liên quan đến quyền riêng tư cá nhân, mã hóa, kinh doanh và thậm chí là giải trừ hạt nhân. Nâng cao hiểu biết của bạn với phiên bản sửa đổi của Bài toán triệu phú của Yao: Bài toán này thảo luận về hai triệu phú, Alice và Bob, những người muốn biết ai trong số họ giàu hơn mà không tiết lộ tài sản thực tế của họ.
Giả sử một căn hộ cho thuê với giá 1.000 đô la mỗi tháng, bạn sẽ phải trả ít nhất 40 lần tiền thuê một tháng để đủ điều kiện trở thành ứng cử viên cho thuê. Sau đó, chúng tôi (người thuê nhà) cần chứng minh rằng thu nhập hàng năm của chúng tôi phải trên 40.000 đô la. Nhưng chủ nhà không muốn chúng tôi tìm ra sơ hở nên đã chọn cách không công bố giá thuê cụ thể, mục đích của ông ấy là để kiểm tra xem chúng tôi có đạt tiêu chuẩn hay không, và câu trả lời chỉ là đạt hoặc không, và ông ấy không chịu trách nhiệm cụ thể. số lượng.
Hiện có mười hộp được đánh dấu $10-$100k với mức tăng $10k. Mỗi cái có một chìa khóa và một khe cắm. Chủ nhà bước vào phòng với chiếc hộp và phá hủy 9 chiếc chìa khóa, lấy chiếc chìa khóa có dán nhãn hộp $40k.
Tiền lương hàng năm của người thuê nhà đạt 75.000 đô la Mỹ, và đại lý ngân hàng giám sát việc phát hành tài liệu chứng nhận tài sản, mà không chỉ định số tiền cụ thể, bản chất của tài liệu này là bản sao kê tài sản của ngân hàng có thể xác minh tài liệu yêu cầu. Sau đó, chúng tôi thả tệp đó vào các thùng từ 10 nghìn đến 70 nghìn. Sau đó, khi chủ nhà dùng chìa khóa 40k để mở hộp và nhìn thấy các giấy tờ yêu cầu có thể kiểm chứng được bên trong, thì xác định người thuê đủ điều kiện.
Các điểm liên quan bao gồm người khai báo (ngân hàng) cấp giấy chứng nhận tuân thủ tài sản và người xác minh (chủ nhà) xác minh xem người thuê có đủ điều kiện thông qua khóa hay không. Một lần nữa xin nhấn mạnh rằng chỉ có hai lựa chọn cho kết quả xác minh—đủ điều kiện và không đủ điều kiện, đồng thời không và không thể yêu cầu người thuê chỉ định số lượng tài sản.
Chúng ta vẫn có thể sử dụng hình dưới đây để hiểu, giao dịch được thực hiện trên lớp 2 và giao dịch được gửi trên phân đoạn. Lớp 2 thường áp dụng hình thức cuộn lên, nghĩa là nhiều giao dịch được đóng gói thành một đợt trên lớp 2 để xử lý các giao dịch, sau đó được gửi tới hợp đồng thông minh cuộn lên của lớp 1. Điều này bao gồm các gốc trạng thái cũ và mới. Hợp đồng trên lớp 1 sẽ xác minh xem hai gốc trạng thái có khớp nhau hay không. Nếu chúng khớp nhau, gốc trạng thái cũ trên chuỗi chính sẽ được thay thế bằng gốc trạng thái mới. Sau đó, làm cách nào để xác minh rằng gốc trạng thái thu được sau khi xử lý hàng loạt là chính xác? Sử dụng công nghệ chống gian lận và zk để xác nhận giao dịch và xác minh gốc trạng thái tương ứng.
Layer 2 (rollup) ở đây tương đương với bên khai báo (ngân hàng) trong ví dụ trên và thao tác đóng gói của nó chính là thao tác khai báo này, nó không đưa ra tuyên bố về số tiền cụ thể mà xác nhận xem nó có đạt tiêu chuẩn hay không. Những gì được đóng gói và gửi đến lớp 1 là tài liệu khai báo có thể yêu cầu này. Cái gốc của việc xác minh tình trạng cũ và mới là chủ nhà sử dụng chìa khóa để xác minh xem sức mạnh kinh tế của người thuê nhà mà anh ta mong đợi có đạt tiêu chuẩn hay không. Vấn đề xác minh gốc của trạng thái là tuyên bố được gửi bởi ngân hàng, làm thế nào để đưa ra tuyên bố để làm cho vấn đề trở nên đáng tin cậy.
Dựa trên một tổng số lạc quan là bằng chứng gian lận, hợp đồng Tổng số của chuỗi chính ghi lại bản ghi đầy đủ về thay đổi gốc trạng thái nội bộ của Tổng số, cũng như giá trị băm của mỗi lô (kích hoạt thay đổi gốc trạng thái). Nếu ai đó thấy rằng gốc trạng thái mới tương ứng với một đợt là sai, họ có thể đăng bằng chứng trên chuỗi chính rằng gốc trạng thái mới do lô tạo ra là sai. Hợp đồng xác minh bằng chứng và nếu quá trình xác minh được thông qua, tất cả các giao dịch xử lý hàng loạt sau khi xử lý hàng loạt sẽ được khôi phục.
Phương thức xác minh ở đây tương đương với việc người khai báo (ngân hàng) nộp tài liệu kê khai tài sản có thể xác minh, sau đó công bố tất cả tài liệu tài sản lên chuỗi, đồng thời dữ liệu cũng được công bố trên chuỗi và những người thách thức khác thực hiện tính toán dựa trên bản gốc dữ liệu để xem có thể kiểm chứng được Giấy tờ tài sản có sai sót hay giả mạo hay không, nếu có vấn đề thì phản đối, nếu phản đối thành công thì yêu cầu ngân hàng. Vấn đề quan trọng nhất ở đây là cho phép người thách thức có thời gian thu thập dữ liệu và xác minh tính xác thực của tài liệu.
Đối với Rollup sử dụng công nghệ Zero Knowledge Proof (ZKP), mỗi lô chứa một bằng chứng mật mã được gọi là ZK-SNARK. Các ngân hàng tạo tài liệu kê khai tài sản thông qua công nghệ bằng chứng mật mã. Theo cách này, không cần dành thời gian cho người thách thức, vì vậy vai trò của người thách đấu không tồn tại.
2. Rollup hệ thống ZK hiện tại không như mong đợi
Hiện tại, hermez của loạt đa giác đã được phát hành và mạng chính zksync dev và mạng chính starknet cũng đã được khởi chạy. Nhưng tốc độ giao dịch của họ dường như khác xa với lý thuyết của chúng tôi, đặc biệt là người dùng starknet có thể nhận thấy rõ ràng rằng tốc độ mạng chính của nó chậm một cách đáng ngạc nhiên. Lý do là vẫn rất khó tạo ra bằng chứng với công nghệ bằng chứng không kiến thức, chi phí vẫn còn cao và cần phải cân bằng giữa khả năng tương thích của Ethereum và hiệu suất của zkevm. Nhóm Polygon cũng thừa nhận: "Phiên bản testnet của Polygon zkEVM cũng có thông lượng hạn chế, có nghĩa là nó còn lâu mới là một cỗ máy mở rộng quy mô được tối ưu hóa.”
3. Lớp khả dụng của dữ liệu
Các bước thực thi trừu tượng của Ethereum như sau:
Trong quá trình phân quyền trong Ethereum, chúng ta cũng có thể thấy nó trên lộ trình The Merge - trình xác thực phi tập trung. Điều quan trọng nhất trong số này là nhận ra sự đa dạng của khách hàng, giảm ngưỡng đầu vào của máy và tăng số lượng người xác minh. Do đó, nếu một số người xác minh có máy không đạt tiêu chuẩn muốn tham gia vào mạng, họ có thể sử dụng ứng dụng khách nhẹ. Nguyên tắc hoạt động của nút nhẹ là yêu cầu tiêu đề khối thông qua các nút đầy đủ liền kề. Chỉ nút nhẹ cần tải xuống và xác minh tiêu đề khối. Nếu các nút nhẹ không tham gia, thì tất cả các giao dịch cần phải được xác minh bởi nút đầy đủ, do đó, nút đầy đủ cần tải xuống và xác minh từng giao dịch trong khối. Đồng thời, khi khối lượng giao dịch tăng lên, nút đầy đủ được chịu áp lực ngày càng lớn, nên mạng nút dần có xu hướng hiệu suất cao và tập trung.
Nhưng vấn đề ở đây là các nút đầy đủ độc hại có thể đưa ra các tiêu đề khối bị thiếu/không hợp lệ, nhưng các nút nhẹ không có cách nào để làm giả. Có hai cách để giải quyết vấn đề này. Theo dõi tính hợp lệ của khối, xây dựng bằng chứng gian lận sau khi tìm thấy khối không hợp lệ và đánh giá nó là tiêu đề khối hợp lệ nếu không nhận được bằng chứng gian lận trong một khoảng thời gian. Nhưng rõ ràng là cần phải có một nút đầy đủ đáng tin cậy ở đây, nghĩa là cần phải có các cài đặt đáng tin cậy hoặc các giả định trung thực. Tuy nhiên, nhà sản xuất khối có thể che giấu một số giao dịch và bằng chứng gian lận rõ ràng là không hợp lệ, bởi vì nút trung thực cũng phụ thuộc vào dữ liệu của nhà sản xuất khối. data , thì đương nhiên sẽ không có bằng chứng gian lận nào được tạo ra.
Mustarfa AI-Bassam và Vitalik đề xuất một giải pháp mới - xóa mã hóa - trong một bài báo đồng tác giả. Mã xóa được sử dụng để giải quyết vấn đề về tính khả dụng của dữ liệu. Ví dụ: tính sẵn có của celestia và đa giác sử dụng mã xóa sậy-solomon. Nhưng làm sao để đảm bảo dữ liệu truyền đi là dữ liệu hoàn chỉnh, kết hợp với cam kết/ bằng chứng gian lận của KZG.
Trong cam kết/bằng chứng gian lận của KZG, có thể đảm bảo rằng các nhà sản xuất khối xuất bản dữ liệu hoàn chỉnh mà không che giấu các giao dịch, sau đó mã hóa dữ liệu thông qua mã xóa, sau đó lấy mẫu dữ liệu sẵn có để các nút ánh sáng có thể xác minh chính xác dữ liệu.
Dữ liệu do trình tổng hợp gửi trong Rollup được lưu trữ trên chuỗi dưới dạng calldata, vì dữ liệu calldata rẻ hơn các khu vực lưu trữ khác.
Calldata cost in gas = Transaction size × 16 gas per byte
Chi phí chính của mỗi giao dịch là chi phí của dữ liệu cuộc gọi, vì lưu trữ trên chuỗi cực kỳ tốn kém và phần này chiếm tới 80% đến 95% chi phí tổng hợp.
Vì vấn đề này, chúng tôi đã đề xuất blob định dạng giao dịch mới của EIP-4844, giúp mở rộng dung lượng khối và giảm phí gas cần thiết để gửi lên chuỗi.
4. Lớp dữ liệu sẵn có trên chuỗi và ngoài chuỗi
Vậy làm thế nào để giải quyết vấn đề đắt đỏ dữ liệu trên chuỗi? Có một số phương pháp:
Đầu tiên là nén kích thước của dữ liệu calldata được tải lên L1. Đã có nhiều tối ưu hóa về vấn đề này.
Thứ hai là giảm chi phí lưu trữ dữ liệu trên chuỗi và cung cấp "khối lớn" để tổng hợp thông qua quá trình danksharding và danksharding nguyên mẫu của Ethereum, với không gian sẵn có dữ liệu lớn hơn, đồng thời sử dụng mã xóa và cam kết KZG để giải quyết vấn đề về nút nhẹ . Chẳng hạn như EIP-4844.
Thứ ba là loại bỏ tính khả dụng của dữ liệu khỏi chuỗi. Các giải pháp chung cho phần này bao gồm tính khả dụng của celestia/đa giác, v.v.
Theo vị trí lưu trữ dữ liệu sẵn có, chúng tôi chia nó thành hình sau:
Giải pháp của Validium: đặt tính khả dụng của dữ liệu ngoài chuỗi, sau đó các dữ liệu giao dịch này sẽ được duy trì bởi các nhà khai thác tập trung và người dùng cần cài đặt đáng tin cậy, tuy nhiên chi phí sẽ rất thấp nhưng đồng thời hầu như không có bảo mật. Sau đó, cả starkex và arbitrum nova đều đề xuất thành lập DAC để chịu trách nhiệm lưu trữ dữ liệu giao dịch. Các thành viên của DAC là những cá nhân hoặc tổ chức nổi tiếng trong phạm vi quyền hạn hợp pháp và giả định đáng tin cậy là họ sẽ không thông đồng và làm điều ác.
Zkporter đề xuất người giám hộ (người nắm giữ mã thông báo zksync) cam kết duy trì tính khả dụng của dữ liệu. Nếu xảy ra lỗi về tính khả dụng của dữ liệu, số tiền đã cam kết sẽ bị mất. Volition là sự lựa chọn của người dùng về tính khả dụng của dữ liệu trên chuỗi/ngoài chuỗi và lựa chọn giữa bảo mật và chi phí theo nhu cầu.
Tại thời điểm này, celestia và đa giác đã xuất hiện. Nếu hợp lệ có yêu cầu về tính khả dụng của dữ liệu ngoài chuỗi và lo ngại rằng mức độ phân cấp sẽ thấp, điều này sẽ dẫn đến các cuộc tấn công khóa riêng tư tương tự như cầu nối chuỗi chéo, thì giải pháp DA chung phi tập trung có thể giải quyết vấn đề này. Celestia và tính sẵn sàng của đa giác cung cấp hợp lệ với giải pháp DA ngoài chuỗi bằng cách trở thành một chuỗi riêng biệt. Nhưng thông qua một chuỗi riêng biệt, mặc dù tính bảo mật được cải thiện nhưng chi phí sẽ tăng theo.
Việc mở rộng Rollup thực sự có hai phần, một là tốc độ thực thi của bộ tổng hợp, hai là cần có sự hợp tác của tầng sẵn sàng dữ liệu, hiện tại bộ tổng hợp được điều hành bởi một máy chủ tập trung, giả sử rằng tốc độ thực hiện giao dịch có thể đạt tới một mức độ vô hạn. , thì vấn đề nan giải về quy mô chính là nó bị ảnh hưởng bởi thông lượng dữ liệu của giải pháp tính khả dụng của dữ liệu cơ bản. Cách tối đa hóa thông lượng không gian dữ liệu của giải pháp tính khả dụng của dữ liệu là rất quan trọng nếu một bản tổng hợp muốn tối đa hóa thông lượng giao dịch của nó.
Quay lại từ đầu, sử dụng các cam kết KZG hoặc bằng chứng gian lận để đảm bảo tính toàn vẹn của dữ liệu và mở rộng dữ liệu giao dịch thông qua mã xóa để giúp các nút ánh sáng lấy mẫu dữ liệu sẵn có nhằm đảm bảo hơn nữa rằng các nút ánh sáng có thể xác minh chính xác dữ liệu.
Bạn cũng có thể muốn hỏi, cam kết của KZG hoạt động như thế nào để đảm bảo tính toàn vẹn của dữ liệu? Có lẽ một chút của một câu trả lời:
Lời hứa KZG: Chứng minh rằng giá trị của đa thức tại một vị trí cụ thể phù hợp với một giá trị được chỉ định.
Cam kết KZG không gì khác hơn là một loại cam kết đa thức, có thể xác minh thông báo mà không đưa ra thông báo cụ thể. Quá trình gần đúng như sau:
Chuyển đổi dữ liệu thành đa thức thông qua mã hóa xóa và mở rộng nó. Sử dụng KZG hứa hẹn sẽ đảm bảo rằng các tiện ích mở rộng của chúng tôi là hợp lệ và dữ liệu gốc là hợp lệ. Sau đó, sử dụng tiện ích mở rộng để xây dựng lại dữ liệu và cuối cùng thực hiện lấy mẫu tính khả dụng của dữ liệu.
Một người đi làm tạo ra một cam kết và liên kết nó với một thông điệp.
Gửi tin nhắn bị ràng buộc đến người xác minh Sơ đồ liên lạc ở đây có liên quan đến kích thước của kích thước bằng chứng.
Người xác minh (người xác minh), nhiều giá trị được đưa vào trường hữu hạn để xác minh xem nó có còn bằng a hay không (đây là quá trình lấy mẫu khả năng sử dụng), nguyên tắc cơ bản là số lần xác minh càng nhiều thì xác suất thành công càng cao. Chính xác.
Celestia yêu cầu các trình xác thực tải xuống toàn bộ khối và quá trình nhúng ngày nay sử dụng các kỹ thuật lấy mẫu tính khả dụng của dữ liệu.
Vì khối có sẵn một phần nên chúng tôi cần đảm bảo đồng bộ hóa khi xây dựng lại khối bất cứ lúc nào. Khi khối thực sự có sẵn một phần, các nút giao tiếp với nhau để ghép khối lại với nhau.
So sánh Lời hứa KZG và Bằng chứng gian lận dữ liệu:
Có thể thấy rằng KZG hứa sẽ đảm bảo rằng việc mở rộng và dữ liệu là chính xác, và bằng chứng gian lận giới thiệu bên thứ ba để quan sát. Sự khác biệt rõ ràng nhất là bằng chứng gian lận cần một khoảng thời gian để phản hồi người quan sát trước khi báo cáo gian lận, tại thời điểm này, các nút cần được đồng bộ hóa trực tiếp để toàn bộ mạng có thể nhận được bằng chứng gian lận kịp thời. KZG nhanh hơn đáng kể so với bằng chứng gian lận, sử dụng các phương pháp toán học để đảm bảo tính chính xác của dữ liệu mà không cần thời gian chờ đợi.
Nó có thể biện minh cho dữ liệu và phần mở rộng của nó. Tuy nhiên, do cam kết KZG một chiều cần tiêu tốn nhiều tài nguyên hơn nên Ethereum chọn cam kết KZG hai chiều.
Ví dụ: 100 hàng × 100 cột, tức là 100,00 lượt chia sẻ (shares). Nhưng mỗi lần lấy mẫu không phải là một trong mười ngàn đảm bảo. Sau đó, việc mở rộng bốn lần có nghĩa là ít nhất 1/4 toàn bộ phần phải không có sẵn và bạn có thể rút ra một phần không có sẵn, điều đó có nghĩa là nó thực sự không có sẵn, vì nó không thể được phục hồi. Chỉ khi không có 1/4 mới có thể khôi phục, tìm lỗi mới thực sự hiệu quả nên xác suất rút một lần là khoảng 1/4. Bơm hơn mười lần, mười lăm lần, có thể đạt được độ tin cậy đảm bảo 99%. Bây giờ hãy đưa ra các lựa chọn trong khoảng 15–20 lần.
5、EIP-4844(Proto-Danksharding)
Trong quá trình triển khai proto-danksharding, tất cả người xác thực và người dùng vẫn phải trực tiếp xác minh tính khả dụng của toàn bộ dữ liệu.
Tính năng chính được giới thiệu bởi Proto-danksharding là một loại giao dịch mới, mà chúng tôi gọi là giao dịch blob-carrying. Một giao dịch với một đốm màu tương tự như một giao dịch thông thường, ngoại trừ việc nó cũng mang một phần dữ liệu bổ sung được gọi là một đốm màu. Các đốm màu rất lớn (~125 kB) và rẻ hơn nhiều so với gọi dữ liệu với số lượng tương tự. Tuy nhiên, những đốm màu này không thể truy cập được từ EVM (chỉ hứa hẹn với các đốm màu). Và các đốm màu được lưu trữ bởi lớp đồng thuận (chuỗi báo hiệu) thay vì lớp thực thi. Đây thực sự là sự khởi đầu của sự hình thành dần dần khái niệm về sharding dữ liệu.
Vì trình xác thực và ứng dụng khách vẫn cần tải xuống toàn bộ nội dung blob nên mục tiêu băng thông dữ liệu trong proto-danksharding là 1 MB trên mỗi ổ cắm thay vì 16 MB đầy đủ. Tuy nhiên, vì những con số này không cạnh tranh với việc sử dụng gas của các giao dịch Ethereum hiện có, nên vẫn có những lợi ích lớn về khả năng mở rộng.
Mặc dù triển khai phân đoạn đầy đủ (sử dụng lấy mẫu tính khả dụng của dữ liệu, v.v.) là một nhiệm vụ phức tạp và vẫn là một nhiệm vụ phức tạp sau khi proto-danksharding, nhưng sự phức tạp này được chứa trong lớp đồng thuận. Sau khi triển khai proto-danksharding, nhóm khách hàng lớp điều hành, nhà phát triển tổng số và người dùng không cần thực hiện thêm công việc nào để hoàn tất quá trình chuyển đổi sang phân đoạn đầy đủ. Proto-danksharding cũng tách dữ liệu blob khỏi calldata, giúp khách hàng lưu trữ dữ liệu blob dễ dàng hơn trong thời gian ngắn hơn.
Cần lưu ý rằng tất cả công việc được thực hiện bởi lớp đồng thuận mà không có bất kỳ công việc bổ sung nào được thực hiện bởi nhóm khách hàng, người dùng hoặc nhà phát triển Rollup.
Cả EIP-4488 và proto-danksharding đều dẫn đến mức sử dụng tối đa trong thời gian dài là khoảng 1 MB trên mỗi ổ cắm (12 giây). Điều này tương đương với khoảng 2,5 TB mỗi năm, cao hơn nhiều so với tốc độ tăng trưởng mà Ethereum cần hiện nay.
Trong trường hợp EIP-4488, cần có đề xuất hết hạn lịch sử để khắc phục sự cố nàyEIP-4444(được đề cập trong phần lộ trình), nơi khách hàng không còn phải lưu trữ lịch sử sau một khoảng thời gian nhất định.
6. Phân mảnh dữ liệu
Ở đây, tôi sẽ giải thích càng nhiều càng tốt từ quan điểm của Xiaobai về các vấn đề mà mọi người đang thảo luận trong quá trình mở rộng Ethereum. Vì vậy, hãy quay trở lại với sharding, và một lần nữa nhấn mạnh khái niệm một chiều của sharding: hiểu đơn giản là quá trình chia cơ sở dữ liệu theo chiều ngang để phân bổ tải.
Ở đây, một vấn đề rất quan trọng với sharding dữ liệu của chúng tôi là trong PBS (người đề xuất được tách ra khỏi trình tạo khối, như đã đề cập trong lộ trình The Merge), trong sharding, mỗi nhóm nút chỉ xử lý các giao dịch trong phân đoạn này sẽ tương đối độc lập giữa các phân đoạn, vậy hai người dùng AB và AB nên ở các phân đoạn khác nhau và chuyển tiền cho nhau như thế nào? Sau đó, cần có khả năng giao tiếp xuyên chip tốt.
Cách cũ là chia nhỏ lớp dữ liệu sẵn có, mỗi lớp có những người đề xuất và ủy ban độc lập. Trong tập hợp các trình xác minh, mỗi trình xác minh thay phiên nhau xác minh dữ liệu của đoạn và họ tải xuống tất cả dữ liệu để xác minh.
điểm yếu là:
Cần có công nghệ đồng bộ hóa nghiêm ngặt để đảm bảo rằng các trình xác thực có thể được đồng bộ hóa trong một vị trí.
Trình xác thực cần thu thập tất cả các phiếu bầu của ủy ban và sẽ có sự chậm trễ ở đây.
Và người xác minh phải chịu áp lực rất lớn để tải xuống dữ liệu đầy đủ.
Cách tiếp cận thứ hai là bỏ qua xác thực dữ liệu đầy đủ và thay vào đó sử dụng lấy mẫu tính khả dụng của dữ liệu (được triển khai sau trong The Surge). Ở đây được chia thành hai phương pháp lấy mẫu ngẫu nhiên, 1) lấy mẫu ngẫu nhiên theo khối, lấy mẫu một phần của lát dữ liệu, nếu xác minh được thông qua, người xác minh sẽ ký tên. Nhưng vấn đề ở đây là có thể có trường hợp giao dịch bị bỏ sót. 2) Diễn giải lại dữ liệu thành đa thức thông qua mã xóa, sau đó sử dụng các đặc điểm của đa thức có thể khôi phục dữ liệu trong các điều kiện nhất định để đảm bảo dữ liệu luôn sẵn có.
"Sự phân mảnh"Vấn đề là trình xác nhận không chịu trách nhiệm tải xuống tất cả dữ liệu và đây là lý do tại sao Proto-danksharding không được coi là một"rời rạc"(mặc dù tên của nó có"phân mảnh"tiêu đề cấp đầu tiên
3. Lớp 3 của tương lai Ethereum
Lớp 2 của chuỗi ZK, được coi là sự mở rộng trong tương lai của Ethereum, chẳng hạn như zksync và starknet, đều đã đề xuất khái niệm về Lớp 3. Hiểu đơn giản là Layer 2 của Layer 2.
Chi phí giao dịch cao trên Ethereum đang đẩy nó (L3) trở thành lớp thanh toán cho L2. Người ta tin rằng trong tương lai gần, do chi phí giao dịch giảm đáng kể, hỗ trợ ngày càng tăng cho các công cụ DeFi và tính thanh khoản tăng do L2 cung cấp, người dùng cuối sẽ thực hiện hầu hết các hoạt động của họ trên L2 và Ethereum sẽ dần trở thành lớp lắng.
L2 cải thiện khả năng mở rộng bằng cách giảm chi phí gas cho mỗi giao dịch và tăng tỷ lệ giao dịch. Đồng thời, L2 vẫn giữ được các lợi ích của việc phân cấp, logic chung và khả năng kết hợp. Tuy nhiên, một số ứng dụng yêu cầu tùy chỉnh cụ thể, có thể được phục vụ tốt hơn bởi một lớp độc lập mới: L3!
L3 có liên quan đến L2, giống như L2 có liên quan đến L1. Miễn là L2 có thể hỗ trợ hợp đồng thông minh của người xác minh (Verifier), L3 có thể sử dụng bằng chứng hợp lệ để đạt được. Khi L2 cũng sử dụng các bằng chứng hợp lệ được gửi tới L1, giống như StarkNet, điều này trở thành một cấu trúc đệ quy rất tao nhã, trong đó lợi thế nén của các bằng chứng L2 được nhân với lợi thế nén của các bằng chứng L3. Về lý thuyết, nếu mỗi lớp đạt được mức giảm chi phí 1000 lần, thì L3 có thể thấp hơn 1.000.000 lần so với L1 -- trong khi vẫn duy trì tính bảo mật của L1. Đây cũng là một trường hợp sử dụng thực tế của bằng chứng đệ quy mà starknet rất tự hào.
Một phần kiến thức về "Lớp khả dụng dữ liệu trên chuỗi và ngoài chuỗi" là cần thiết ở đây. Toàn bộ Lớp 3 bao gồm:
Rollup (tính khả dụng của dữ liệu trên chuỗi), hợp lệ (tính khả dụng của dữ liệu ngoài chuỗi). Cả hai tương ứng với các yêu cầu ứng dụng khác nhau. Các công ty Web2 nhạy cảm với giá cả và dữ liệu có thể sử dụng hợp lệ để đưa dữ liệu ra khỏi chuỗi, giúp giảm đáng kể chi phí gas trên chuỗi và không thể tiết lộ dữ liệu người dùng để đạt được quyền riêng tư, cho phép các công ty hoàn thành quyền kiểm soát dữ liệu của riêng họ. định dạng dữ liệu tùy chỉnh, mô hình kinh doanh dữ liệu của doanh nghiệp trước đó vẫn có thể chạy trơn tru.
L2 dành cho tiện ích mở rộng và L3 dành cho các tính năng tùy chỉnh, chẳng hạn như quyền riêng tư.
Trong tầm nhìn này, không có nỗ lực cung cấp "khả năng mở rộng bậc hai"; thay vào đó, có một lớp trong ngăn xếp này giúp mở rộng quy mô ứng dụng và sau đó các lớp được phân tách theo yêu cầu chức năng tùy chỉnh của các trường hợp sử dụng khác nhau.
L2 dành cho các tiện ích mở rộng phổ biến và L3 dành cho các tiện ích mở rộng tùy chỉnh.
Tiện ích mở rộng tùy chỉnh có thể có các dạng khác nhau: các ứng dụng chuyên dụng sử dụng thứ gì đó khác với EVM để tính toán, các bản tổng hợp có khả năng nén dữ liệu được tối ưu hóa cho định dạng dữ liệu của một ứng dụng cụ thể (bao gồm tách "dữ liệu" khỏi "bằng chứng" và thay thế hoàn toàn bằng chứng bằng một SNARK đơn trên mỗi khối), v.v.
L2 được sử dụng để mở rộng độ tin cậy (rollup) và L3 được sử dụng để mở rộng độ tin cậy yếu (validium).
Validium là một hệ thống sử dụng SNARK để xác minh tính toán, nhưng để lại tính khả dụng của dữ liệu cho các bên thứ ba hoặc ủy ban đáng tin cậy. Theo ý kiến của tôi, Validium bị đánh giá quá thấp: đặc biệt, nhiều ứng dụng "chuỗi khối doanh nghiệp" thực sự có thể được phục vụ tốt nhất bởi một máy chủ tập trung chạy trình chứng minh hợp lệ và định kỳ gửi các giá trị băm cho chuỗi. Validium kém an toàn hơn rollup, nhưng có thể rẻ hơn nhiều.
Đối với các nhà phát triển dApp, có một số tùy chọn cho cơ sở hạ tầng:
Tự phát triển một Rollup (ZK Rollups hoặc Optimistic Rollups)
Ưu điểm là bạn có thể kế thừa hệ sinh thái (người dùng) của Ethereum và tính bảo mật của nó, nhưng đối với nhóm dApp, chi phí phát triển của Rollup rõ ràng là quá cao.
Chọn Cosmos, Polkadot hoặc Avalanche
Chi phí phát triển sẽ thấp hơn (ví dụ: dydx đã chọn Cosmos), nhưng bạn sẽ mất hệ sinh thái (người dùng) và tính bảo mật của Ethereum.
Tự mình phát triển chuỗi khối lớp 1
Chi phí phát triển và khó khăn mang lại cao nhưng có thể kiểm soát cao nhất.
Hãy so sánh ba trường hợp:
Độ khó/Chi phí: Lớp thay thế 1 > Tổng hợp > Vũ trụ
Bảo mật: Tổng hợp > Vũ trụ > Lớp thay thế 1
Hệ sinh thái/Người dùng: Tổng hợp > Vũ trụ > Lớp thay thế 1
Điều khiển: Alt-layer 1 > Cosmos > Rollup
tiêu đề cấp đầu tiên
4. Tương lai phát triển của Lớp 2
Do Ethereum được thiết kế dựa trên mô hình tài khoản, tất cả người dùng đều nằm trong toàn bộ một cây trạng thái nên không thể thực hiện song song, do đó, bản thân các xiềng xích của Ethereum buộc phải loại bỏ các thao tác thực thi và kết hợp nhiều giao dịch tổng số thành một Giao dịch tồn tại dưới dạng một lớp lắng. Bây giờ tất cả các vấn đề đều tập trung vào việc cải thiện thông lượng của lớp 2. Không chỉ lớp 3 có thể cải thiện thông lượng giao dịch mà cả quá trình xử lý song song trên lớp 2 cũng có thể làm tăng đáng kể thông lượng của toàn bộ mạng.
Starknet cũng đang tích cực khám phá vấn đề song song hóa, mặc dù người ta đã chứng minh rằng thuật toán vẫn còn là một xiềng xích, nhưng nó sẽ không trở thành lực cản trong tương lai. Các tắc nghẽn tiềm ẩn bao gồm:
Trình sắp xếp tx xử lý:Một số công việc phân loại dường như vốn được nối tiếp.
băng thông:Kết nối giữa nhiều trình sắp xếp sẽ bị hạn chế.
Kích thước trạng thái L2
Trong cộng đồng starknet, các thành viên cũng nêuXử lý song song trong aptostiêu đề cấp đầu tiên
V. Tổng kết
Ethereum đang loại bỏ lớp thực thi, tất cả đều hướng tới tầm nhìn của nó về lớp thanh toán "toàn cầu". Mặc dù hiện tại tiến độ của toàn bộ Ethereum đang chậm, nhưng đó là do quy mô tổng thể của nó quá lớn và mỗi bản cập nhật liên quan đến nhiều lợi ích và sự đánh đổi. Tuy nhiên, không thể phủ nhận rằng Ethereum đang trải qua những thay đổi lớn, có một số lượng lớn các hoạt động trên chuỗi Ethereum, sự cải tiến của các cơ chế kinh tế và khả năng mở rộng của Ethereum 2.0 được mong đợi. Người ta tin rằng khi ngày càng có nhiều quốc gia triển khai các nút Ethereum, chẳng hạn nhưChính phủ thủ đô Argentina có kế hoạch triển khai các nút xác thực Ethereum vào năm 2023liên kết gốc
