Lang thang Ether: quá khứ, hiện tại, tương lai
Tiêu đề gốc: "Wandering the Ether: Past, Present, Future"
Tác giả gốc: Hakeen, W3.Hitchhiker; Bản sửa đổi: Evelyn, W3.Hitchhiker
Một, lộ trình nâng cấp của Ethereum M2SVPS
Hợp nhất
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 cùng nhau . Để dễ hiểu, chúng tôi đơn giản hóa cấu trúc Ethereum thành hình sau:
Trước tiên, chúng tôi xác định sharding ở đây là gì: hiểu đơn giản là chia cơ sở dữ liệu theo chiều ngang để phân phối tải Quá trình
Sau khi chuyển sang POS: người đề xuất khối và người xác thực khối được tách riêng và quy trình làm việc POS như sau (được hiểu dựa trên hình trên):
Gửi 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 Beacon chọn trình xác thực để đề xuất khối mới
Các trình xác thực còn lại tạo thành một nhóm ngẫu nhiên ủy ban và xác minh đề xuất trên phân đoạn
Cả đề xuất khối và chứng minh đề 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ẽ làm gián đoạn việc sắp xếp người xác thực và bầu lại ủy ban.
Sau khi sáp nhập, Ethereum sẽ triển khai quá trình phân tách người đề xuất-người xây dựng (PBS) cho lớp đồng thuận. Vitalik tin rằng mục tiêu cuối cùng của tất cả các blockchain sẽ là sản xuất khối tập trung và xác minh khối phi tập trung. Vì dữ liệu khối Ethereum được phân chia 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ó cách để duy trì một bộ trình xác nhận 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. Người khai thác xây dựng các khối và sau đó gửi các khối đó cho người xác thực. Người xác thực đặt giá thầu để chọn các khối của riêng họ và sau đó người xác thực bỏ phiếu để quyết định xem khối đó có hợp lệ hay không.
Sharding là một phương pháp 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. Với phương thức xử lý này, mỗi nút không phải chịu trách nhiệm xử lý Tải giao dịch của toàn bộ mạng chỉ cần duy trì thông tin liên quan đến các phân vùng (hoặc phân đoạn) của nó. Mỗi phân đoạn có mạng lưới trình xác thực hoặc nút riêng.
Vấn đề bảo mật của shending: Ví dụ: toàn bộ mạng có 10 chuỗi phân đoạn và việc phá hủy toàn bộ mạng cần 51% sức mạnh tính toán, sau đó phá hủy một phân đoạn duy nhất chỉ cần 5,1 % sức mạnh tính toán.sức mạnh tính toán. Do đó, những cải tiến tiếp theo bao gồm thuật toán SSF, có thể ngăn chặn hiệu quả các cuộc tấn công sức mạnh tính toán 51%. Theo tóm tắt của Vitalik, việc chuyển sang SSF là một lộ trình kéo dài nhiều năm. Ngay cả khi có rất nhiều công việc hiện đang được thực hiện, đây sẽ là một trong những thay đổi lớn được triển khai sau này trong Ethereum và khác xa với cơ chế chứng minh PoS, sharding của Ethereum. và Verkle.Sau khi cây được cuộn hoàn toàn.
Beaconchain chịu trách nhiệm tạo số ngẫu nhiên, gán nút cho các phân đoạn, chụp ảnh chụp nhanh các phân đoạn riêng lẻ và nhiều chức năng khác, đồng thời chịu trách nhiệm hoàn thành liên phân đoạn truyền thông và phối hợp đồng bộ mạng.
Các bước thực hiện của Beacon Chain như sau:
Nhà sản xuất khối Cùng nhau đấu thầu với sự cam kết.
Trình chặn (trình xác minh) trên chuỗi beacon chọn tiêu đề và giá thầu khối chiến thắng, bất kể cuối cùng trình đóng gói khối có tạo ra phần thân khối hay không. phí đấu thầu sẽ được thanh toán vô điều kiện.
Ủy ban (được chọn ngẫu nhiên trong số những người xác nhận) bỏ phiếu để xác nhận tiêu đề khối thu được.
Người đóng gói khối tiết lộ phần thân khối.
Sự đột biến
Mục tiêu chính của lộ trình này là thúc đẩy việc mở rộng tập trung vào tổng số. Surge đề cập đến việc bổ sung Ethereum sharding, một giải pháp mở rộng quy mô. Ethereum Foundation tuyên bố rằng giải pháp này sẽ tiếp tục hỗ trợ chuỗi khối lớp thứ hai với phí gas thấp, giảm chi phí cho các giao dịch cuộn hoặc gói và giúp người dùng dễ dàng hơn để vận hành các nút bảo mật mạng Ethereum.
Bức tranh này vẫn có thể được hiểu qua sơ đồ đơn giản sau:
Lấy nguyên lý hoạt động của zkrollup làm ví dụ: zkrollup được chia thành trình sắp xếp chuỗi và trình tổng hợp. Trình sắp xếp chuỗi có trách nhiệm sắp xếp các giao dịch của người dùng và đóng gói chúng thành các đợt), gửi đến trình tổng hợp. Bộ tổng hợp thực hiện giao dịch, bắt đầu từ gốc trạng thái trước (root trạng thái trước), tạo gốc trạng thái sau (root trạng thái sau), sau đó tạo bằng chứng (bằng chứng). Cuối cùng, bộ tổng hợp sẽ gửi gốc trạng thái trước, gốc trạng thái sau , dữ liệu giao dịch và bằng chứng cho L1 Hợp đồng có trách nhiệm xác minh xem chứng chỉ 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 Chi phí sử dụng calldata rất tốn kém, vì vậy toàn bộ giao thức EIP-4844 (có thể thay đổi bất kỳ lúc nào) đề xuất thay đổi kích thước của khối giao dịch thành 1~2 MB, tạo nền tảng vững chắc cho việc tổng hợp và phân chia dữ liệu trong tương lai. Kích thước khối hiện tạ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 này được gọi là blob (còn được gọi là phân đoạn dữ liệu).
Tai họa
Ở giai đoạn này, Scourge 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 đề MEV. Vậy MEV là gì?
Tên đầy đủ của MEV là Giá trị có thể trích xuất của máy khai thác / Giá trị có thể trích xuất tối đa. Khái niệm này lần đầu tiên được áp dụng trong bối cảnh bằng chứng công việc và ban đầu được gọi là "Giá trị có thể trích xuất của máy khai thác")". Điều này là do trong bằng chứng công việc, người khai thác nắm vững các khả năng vai trò như bao gồm, loại trừ và sắp xếp thứ tự các giao dịch. Tuy nhiên, sau khi chuyển đổi sang Bằng chứng cổ phần thông qua hợp nhất, 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 nữa (phương pháp trích xuất giá trị được trình bày ở đây sẽ vẫn còn 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ế mang tính bao hàm 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ữ, chúng ta có thể thu được chênh lệch giá gas;
Trọng tài nổ súng: tìm kiếm rộng rãi các giao dịch trên mempool, máy thực hiện các phép tính cục bộ để xem liệu nó có mang lại lợi nhuận hay không và nếu có thì sẽ bắt đầu tương tự giao dịch bằng địa chỉ của chính nó và sử dụng phí gas cao hơn;
Tìm mục tiêu thanh lý: Robot cạnh tranh để phân tích dữ liệu blockchain nhanh nhất có thể để xác định người vay nào có thể được thanh lý , Sau đó, hãy là người đầu tiên gửi giao dịch thanh toán bù trừ và tự mình thu phí thanh toán bù trừ.
Giao dịch Sandwich: Người tìm kiếm sẽ giám sát 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 sẽ 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 lớn này lên cặp UNI/DAI và thực hiện lệnh mua tối ưu ngay trước giao dịch lớn để mua UNI ở mức giá thấp, sau đó thực hiện lệnh bán ngay sau giao dịch lớn, với số lượng đặt hàng lớn dẫn đến giá bán cao hơn.
Những sai sót của MEV:
Một số dạng MEV, chẳng hạn như giao dịch 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 sẽ phải đối mặt với tình trạng trượt giá cao hơn và việc thực hiện giao dịch kém hơn. Ở lớp mạng, những người đi đầu nói chung và các cuộc đấu giá phí khai thác mà họ thường tham gia (khi hai hoặc nhiều người tiên phong tăng dần phí khai thác cho các giao dịch của chính họ để các giao dịch của họ được đóng gói vào khối tiếp theo), dẫn đến Mạng tắc nghẽn và phí khai thác cao từ những người khác đang cố gắng thực hiện 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ó những tác động có hại trên các khối. Nếu MEV có sẵn trong một khối vượt quá đáng kể 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 khối đó và chiếm giữ MEV cho chính họ, dẫn đến việc tổ chức lại chuỗi khối và sự không ổn định của sự đồng thuận.
Hầu hết 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". Người tìm kiếm chạy các thuật toán phức tạp trên dữ liệu blockchain để phát hiện các cơ hội MEV sinh lời và có các bot tự động gửi các giao dịch sinh lời 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ẽ triển khai "Cây Verkle" (một bằng chứng toán học) và "khách hàng không quốc tịch". 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 phải lưu trữ 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ố. Như đã đề cập trước đó, nguyên tắc hoạt động đơn giản của zk rollup là trình tổng hợp gửi bằng chứng và hợp đồng xác minh ở lớp 1 chỉ cần xác minh cam kết KZG trong blob và được tạo bằng chứng. Dưới đây là phần giới thiệu ngắn gọn về cam kết của KZG, đó là đảm bảo rằng tất cả các giao dịch đều được thực hiện. Vì tổng hợp có thể gửi một phần giao dịch và tạo bằng chứng nên nếu sử dụng KZG, tất cả các giao dịch sẽ được đảm bảo đư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 do tổng hợp gửi.
Điều đáng nói là ZK rollup có nhiều giải pháp, chẳng hạn như chống sét, chống đạn hoặc chống đạn. Mỗi chương trình có một cách tiếp cận khác nhau để chứng minh và xác minh, do đó sẽ có sự đánh đổi. SNARK hiện dễ sử dụng hơn công nghệ STARK và công nghệ cũng hoàn thiện hơn, do đó, nhiều dự án sử dụng SNARK ngay từ đầu, nhưng với sự lặp lại của công nghệ STARK, cuối cùng chúng sẽ chuyển sang STARK có khả năng chống lại các cuộc tấn công lượng tử. Mặc dù một trong những cải tiến chính của Ethereum trong EIP-4844 nhằm thích ứng với việc tổng hợp là blob định dạng giao dịch, giúp mở rộng dung lượng khối, nút thắt cổ chai chính của tất cả các bằng chứng không có kiến thức hiện tại vẫn nằm ở thuật toán chứng minh riêng của nó. một mặt, nó có thể được giải quyết bằng cách cải thiện thuật toán. Mặt khác, vấn đề chứng minh được cải thiện bằng cách xếp chồng phần cứng, điều này cũng dẫn đến sự phát triển của lộ trình khai thác ZK. Những ai quan tâm có thể truy cập bài viết này.
Cuộc thanh trừng
Việc thanh lọc sẽ giảm lượng thời gian cần thiết để lưu trữ ETH trên ổ cứng Dung lượng trố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ể cải thiện đáng kể băng thông của mạng.
EIP-4444:
Khách hàng PHẢI ngừng cung cấp các tiêu đề, nội dung và người nhận lịch sử trên lớp P2P cũ hơn một năm. Khách hàng có thể cắt bớt dữ liệu lịch sử này tại địa phương. Việc 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ẻ thông 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 để thu thập 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 để lấy/xác thực dữ liệu và nhập chúng tự động.
Sự phô trương
Lộ trình này chủ yếu là về một số bản sửa lỗi tối ưu hóa rời rạc, chẳng hạn như trừu tượng hóa tài khoản và EVM tối ưu hóa Và sơ đồ số ngẫu nhiên VDF, v.v.
Việc trừu tượng hóa tài khoản (AA) được đề cập ở đây luôn là mục tiêu mà Lớp 2 của dò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 triển khai tính năng trừu tượng hóa tài khoản, tài khoản hợp đồng thông minh cũng có thể chủ động bắt đầu giao dịch mà không cần dựa vào cơ chế "siêu giao dịch" (đ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 thực hiện bằng địa chỉ bên ngoài. Địa chỉ hợp đồng không thể chủ động thực hiện giao dịch. Do đó, bất kỳ thay đổi nào về trạng thái của hợp đồng đều phải dựa vào giao dịch được thực hiện bởi một địa chỉ bên ngoài. Cho dù đó là tài khoản đa chữ ký, máy trộn tiền tệ hay bất kỳ thay đổi cấu hình hợp đồng thông minh nào, nó phải được kích hoạt bởi í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 đều phải nắm giữ Ethereum (và chịu rủi ro về biến động giá Ethereum). Thứ hai, người dùng cần phải giải quyết các logic chi phí phức tạp, giá gas, giới hạn gas và 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 không có nhiều tác dụng.
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 thực hiện 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 có đầy đủ chữ ký, người dùng không nhất thiết phải trả phí gas cho các giao dịch . , hoàn toàn phụ thuộc vào dự án.
Do việc triển khai mật mã tùy chỉnh nên trong tương lai sẽ không bắt buộc phải sử dụng đường cong elip ESCDA cho chữ ký. Trong tương lai, nhận dạng vân tay của điện thoại di động , nhận dạng khuôn mặt, Sinh trắc học và các công nghệ khác có thể được sử dụng làm phương pháp chữ ký.
Điều này cải thiện đáng kể trải nghiệm tương tác giữa người dùng và Ethereum.
2. Mô-đun hóa Ethereum
Toàn bộ Ethereum hiện đang có xu hướng mô đun hóa và lớp thực thi chịu trách nhiệm cho Lớp 2 (chẳng hạn như arbitrum, zksync, starknet, Polygon 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ề 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 nằm trong 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 có nhiều ứng dụng sẽ được chuyển sang bộ phận ZK. Phần này mô tả chi tiết về lộ trình kèm theo lý do và cách thức.
Hiện tại, Ethereum chỉ tách lớp thực thi, trên 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 duy nhất, thực hiện giao dịch và thay đổi trạng thái xảy ra; đối với các giao dịch trong cùng một lô, hãy tính toán gốc trạng thái của lô. Một phần của lớp thực thi Ethereum hiện tại được gán cho Rollup, được gọi là StarkNet, zkSync, Arbitrum và Optimism.
Giờ đây, sự lạc quan, đa giác, starknet, zksync, v.v. đều đang khám phá con đường mô đun hóa.
Ngăn xếp nền tảng / op được đề xuất một cách lạc quan, đa giác cũng đang phát triển tính sẵn có của đa giác như một lớp sẵn có của dữ liệu và các 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.
Settlement layer: Có thể hiểu là Rollup Contract trên main chain để xác minh tính hợp lệ của pre-state root, post-state root và proof đã đề cập ở trên (zkRollup) Hoặc quy trình chống gian lận (Tổng hợp lạc quan).
Lớp đồng thuận: Cho dù sử dụng PoW, PoS hay các thuật toán đồng thuận khác, lớp đồng thuận phải đạt được thỏa thuận về một điều gì đó trong hệ thống phân tán, nghĩa là trên trạng thái Đạt được sự đồng thuận về tính hợp lệ của phép biến đổi (gốc trạng thái trước được tính toán và chuyển đổi thành gốc trạng thái sau). Trong bối cảnh mô đun hóa, lớp giải quyết và lớp đồng thuận có ý nghĩa hơi 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 sẵn có 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 sẵn có 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 sẵn có của dữ liệu và khả năng lưu trữ dữ liệu:
Tính khả dụng của dữ liệu và Lưu trữ dữ liệu rõ ràng là khác nhau, trước đây liên quan đến tính sẵn có của dữ liệu được xuất bản trong khối mới nhất, trong khi tính khả dụng của dữ liệu 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 cuộn khác nhau trên lớp giải quyết
Từ lớp thanh toán, hiện tại người ta tin rằng trọng tâm của quá trình tổng hợp là vào hệ thống ZK. Nếu bản tổng hợp của hệ thống ZK được sử dụng để cải thiện kích thước, mức tiêu thụ khí và chi phí của hệ thống chứng minh ZK, đồng thời kết hợp với đệ quy và xử lý song song, TPS của nó có thể được mở rộng đáng kể. Vì vậy, hãy bắt đầu với việc tổng hợp ZK.
Với sự phát triển mở rộng của Ethereum, công nghệ Zero Knowledge Proof (ZKP) được Vitalik coi là kết quả cuối cùng của cuộc chiến mở rộng kế hoạch.
Bản chất của ZKP là cho phép ai đó chứng minh rằng họ biết hoặc sở hữu thứ gì đó. Ví dụ, tôi có thể chứng minh mình có chìa khóa cửa mà không cần phải lấy ra. Chứng minh rằng bạn biết mật khẩu của tài khoản mà không cần phải nhập và có nguy cơ bị lộ, công nghệ này có ý nghĩa đối với quyền riêng tư cá nhân, mã hóa, kinh doanh và thậm chí cả giải trừ vũ khí hạt nhân. Hiểu sâu hơn với phiên bản sửa đổi của Vấn đề triệu phú của Yao: Vấ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ử tiền thuê căn hộ hàng tháng là 1.000 USD, để đủ điều kiện được coi là thuê nhà, bạn sẽ phải trả ít nhất 40 lần tiền thuê một tháng. 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 lớn hơn 40.000 USD. Nhưng chủ nhà không muốn chúng tôi tìm ra sơ hở nên quyết định không công bố giá thuê cụ thể, mục đích của ông là kiểm tra xem chúng tôi có đạt tiêu chuẩn hay không, câu trả lời chỉ là chúng tôi có đạt tiêu chuẩn hay không, còn ông ấy thì không. chịu trách nhiệm về số tiền cụ thể.
Hiện có mười hộp, được đánh dấu từ $10 đến $100k với số gia là $10.000. Mỗi cái đều có một chìa khóa và một khe cắm. Người chủ vào phòng cùng chiếc hộp và phá hủy 9 chiếc chìa khóa, lấy chìa khóa từ chiếc hộp dán nhãn 40k USD.
Mức lương hàng năm của người thuê nhà đạt 75.000 USD, đại lý ngân hàng giám sát việc cấp giấy chứng nhận tài sản mà không nêu rõ số tiền cụ thể.Bản chất của văn bản này là của ngân hàng báo cáo tài sản. Sau đó chúng tôi bỏ tập tin vào thùng 10k~70k. Sau đó, chủ nhà dùng chìa khóa 40k mở hộp, khi nhìn thấy giấy tờ xác nhận quyền sở hữu bên trong thì xác định người thuê đủ tiêu chuẩn.
Các điểm liên quan ở đây bao gồm người kê khai (ngân hàng) cấp giấy chứng nhận hợp quy 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 chìa khóa hay không. Một lần nữa, chỉ có hai lựa chọn cho kết quả xác minh - đủ điều kiện hoặc không đủ điều kiện, và nó không và không thể yêu cầu số lượng tài sản cụ thể của người thuê.
Chúng ta vẫn có thể sử dụng nó Theo cách 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 tổng hợp, 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 đó gửi đến hợp đồng thông minh tổng hợp của lớp 1. Cái này chứa 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. Vậy làm thế 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?Dưới đây là tổng hợp lạc quan và tổng hợp zk có nguồn gốc. Công nghệ chống gian lận và zk được sử dụng tương ứng để xác nhận giao dịch và xác minh gốc trạng thái.
Lớp 2 (rollup) ở đây tương đương với người khai báo (ngân hàng) trong ví dụ trên, thao tác đóng gói của nó là thao tác khai báo và không ảnh hưởng đến cụ thể The số tiền được sử dụng để đưa ra tuyên bố nhưng để xác nhận xem tiêu chuẩn có được đáp ứng hay không. Những gì được đóng gói và gửi đến lớp 1 chính là tài liệu khai báo có thể yêu cầu bồi thường này. Căn nguyên của việc xác minh tình trạng cũ và mới là việc chủ nhà dùng chìa khóa để xác minh xem khả năng tài chính của người thuê mà mình mong đợi có đáp ứng tiêu chuẩn hay không. Vấn đề xác minh gốc nhà nước là tuyên bố do ngân hàng đưa ra.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 cơ sở lạc quan, tức là, bản tổng hợp chống gian lận, hợp đồng Rollup của chuỗi chính ghi lại một bản ghi đầy đủ về những thay đổi gốc trạng thái nội bộ của Rollup, cũng như từng thay đổi (kích hoạt Giá trị băm của lô thay đổi gốc trạng thái). Nếu ai đó phát hiện ra rằng gốc trạng thái mới tương ứng với một lô nhất định là sai, họ có thể xuất bản 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 sẽ xác minh bằng chứng và nếu quá trình xác minh thành công thì 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 (ngân hàng) nộp hồ sơ kê khai tài sản có thể kiểm chứng, sau đó xuất bản toàn bộ hồ sơ tài sản lên chuỗi và dữ liệu cũng phải được công bố vào chuỗi. , những người thách thức khác thực hiện các tính toán dựa trên dữ liệu gốc để xem liệu có sai sót hoặc giả mạo trong các tài liệu tài sản có thể xác minh hay không. Nếu có vấn đề, họ sẽ đưa ra thách thức. Nếu thử thách thành công, họ sẽ nộp đơn yêu cầu với ngân hàng. Vấn đề quan trọng nhất ở đây là cần dành thời gian để người thách thức 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 mã gọi là ZK-SNARK. Bằng chứng mật mã. Các ngân hàng sử dụng công nghệ chứng minh mật mã để tạo ra các tài liệu kê khai tài sản. Bằng cách này, không cần phải dành thời gian cho người thách đấu, và do đó vai trò của người thách đấu không tồn tại.
2. Lý do khiến hệ thống ZK Rollup hiện tại không tốt như mong đợi
Hiện tại, hermez dựa trên đa giác đã được phát hành và mạng chính zksync dev và starknet mainnet cũng đã được ra mắt. Tuy nhiên, tốc độ giao dịch của họ dường như quá xa so với lý thuyết của chúng tôi, đặc biệt, người dùng starknet có thể cảm nhận rõ ràng rằng tốc độ mạng chính của nó chậm đến mức đáng ngạc nhiên. Lý do là vẫn rất khó tạo ra bằng chứng bằng công nghệ chứng minh không có kiến thức, chi phí vẫn cao và cũng có sự đánh đổi 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ó khả năng thông lượng hạn chế, điều đó có nghĩa là nó còn lâu mới trở thành dạng cuối cùng như một máy chia tỷ lệ đượ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 cấp của Ethereum, chúng ta cũng có thể thấy nó trên lộ trình The Merge - trình xác nhận phi tập trung. Điều quan trọng nhất trong số đó là nhận ra sự đa dạng của khách hàng, hạ thấp ngưỡng đầu vào cho máy và tăng số lượng người xác thực. Do đó, nếu một số trình xác nhận có máy không đáp ứng 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 các nút nhẹ là yêu cầu tiêu đề khối thông qua các nút đầy đủ gần đó. Các nút nhẹ chỉ cần tải xuống và xác minh chặn tiêu đề. Nếu các nút nhẹ không tham gia thì tất cả các giao dịch đều yêu cầu các nút đầy đủ để thực hiện xác minh, vì vậy các nút đầy đủ cần tải xuống và xác minh mọi giao dịch trong khối, đồng thời, khi khối lượng giao dịch tăng lên, các nút đầy đủ sẽ chịu áp lực ngày càng lớn. , do đó mạng nút dần dần có xu hướng có 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ể cung cấp các tiêu đề khối bị thiếu/không hợp lệ, nhưng các nút nhẹ không thể làm sai lệch chúng. Có hai cách để giải quyết vấn đề này. Phương pháp này là sử dụng bằng chứng gian lận ngay từ đầu, yêu cầu một nút đầy đủ đáng tin cậy để theo dõi tính hợp lệ của khối. Sau khi phát hiện khối không hợp lệ, một bằng chứng gian lận sẽ được xây dựng. Nếu không nhận được bằng chứng gian lận trong một khoảng thời gian, nó sẽ được xác định là tiêu đề khối hợp lệ. .
Nhưng ở đây rõ ràng cần phải có một nút đầy đủ đáng tin cậy, nút này đòi hỏi 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ể ẩn 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ì các nút trung thực cũng dựa vào dữ liệu của nhà sản xuất khối. Nếu dữ liệu bị ẩn thì các nút đáng tin cậy cho rằng tất cả dữ liệu được gửi là 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 trong một bài báo đồng tác giả - mã hóa xóa. Mã xóa được sử dụng để giải quyết các vấn đề về tính khả dụng của dữ liệu. Ví dụ: celestia và đa giác đều sử dụng mã xóa sậy-solomon. Nhưng làm thế nào để đảm bảo rằng dữ liệu được truyền là dữ liệu hoàn chỉnh có thể được kết hợp với bằng chứng cam kết/gian lận của KZG.
Trong bằng chứng cam kết/lừa đảo của KZG, nó 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ã hóa xóa và sau đó thông qua dữ liệu lấy mẫu sẵn có, để các nút ánh sáng có thể xác minh dữ liệu một cách chính xác.
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. Điều này là do dữ liệu calldata rẻ hơn so với các khu vực lưu trữ khác.
Chi phí calldata tính bằng gas = Kích thước giao dịch 16 gas mỗi byte
Chính cho mỗi giao dịch chi phí chung là chi phí 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 để mở rộng dung lượng khối và giảm phí gas cần thiết để gửi vào chuỗi.
4. Lớp sẵn có của dữ liệu trên chuỗi và ngoài chuỗi
Vậy làm thế nào để giải quyết vấn đề dữ liệu đắt tiền trên dây chuyền?Vải len? Có một số phương pháp:
Đầu tiên là nén kích thước dữ liệu cuộc gọi được tải lên L1. Đã có nhiều tối ưu hóa trong lĩnh vực 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" để triển khai thông qua proto-danksharding và danksharding của Ethereum. sử dụng mã hóa xóa và cam kết KZG để giải quyết vấn đề về nút ánh sáng. Chẳng hạn như EIP-4844.
Thứ ba là đưa tính khả dụng của dữ liệu ra ngoài chuỗi. Các giải pháp phổ biến cho phần này bao gồm celestia/polygon, v.v.
Theo vị trí lưu trữ dữ liệu sẵn có, chúng tôi chia thành hình sau:
Giải pháp của Validium: Đưa dữ liệu sẵn có ra ngoài chuỗi, sau đó những 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 sẽ cần các cài đặt đáng tin cậy. rất thấp nhưng đồng thời sẽ gần 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. Thành viên DAC là những cá nhân hoặc tổ chức có danh tiếng, nằm trong phạm vi quyền hạn pháp lý và tin cậy là sẽ không thông đồng, làm điều ác.
Zkporter đề xuất những người bảo vệ (chủ sở hữu 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 cho phép người dùng chọn tính khả dụng của dữ liệu trên chuỗi/ngoài chuỗi và chọn giữa bảo mật và chi phí dựa trên nhu cầu của họ.
Tại thời điểm này, celestia và đa giác xuất hiện. Nếu Validium có yêu cầu về tính khả dụng của dữ liệu ngoài chuỗi nhưng sợ độ phân cấp thấp, điều này có thể 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 phổ quát phi tập trung có thể giải quyết vấn đề này. Celestia và Polygon cung cấp validium 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. Tuy nhiên, 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 lên tương ứng.
Cuộn lại Việc mở rộng thực sự có hai phần. Một phần là tốc độ thực hiện của bộ tổng hợp và phần còn lại yêu cầu sự hợp tác của lớp sẵn có 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 đến vô hạn, The 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 sẵn có dữ liệu cơ bản. Nếu việc tổng hợp nhằm tối đa hóa thông lượng giao dịch của nó thì 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.
Quay lại từ đầu, sử dụng 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à sử dụng mã hóa xóa để mở rộng dữ liệu giao dịch nhằm giúp các nút nhẹ tiến hành lấy mẫu tính khả dụng của dữ liệu , đảm bảo hơn nữa rằng các nút ánh sáng có thể xác minh dữ liệu một cách chính xác.
Có lẽ bạn cũng 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ủa mình? Có lẽ bạn có thể trả lời một chút:
Cam kết củ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 giá trị đã cho.
Cam kết KZG không gì khác hơn là một loại cam kết đa thức có khả năng xác minh một thông điệp mà không cần được cung cấp thông điệp cụ thể. Quy trình chung 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 chúng. Việc sử dụng KZG hứa hẹn đảm bảo rằng việc mở rộng của chúng tôi có hiệu quả và dữ liệu gốc là hợp lệ. Sau đó, sử dụng tính năng 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.
Người cam kết tạo ra một cam kết và ràng buộc nó với thông điệp.
Truyền thông điệp ràng buộc đến người xác minh. Sơ đồ liên lạc ở đây liên quan đến kích thước của kích thước bằng chứng.
Verifier (verifier), nhiều giá trị được đưa vào trường hữu hạn xác minh xem chúng có còn bằng a hay không (đây là quá trình lấy mẫu sẵn có). Nguyên tắc cơ bản là số lần xác minh Càng nhiều thì xác suất đúng càng cao.
Celestia yêu cầu người xác thực tải xuống toàn bộ khối và hiện tại, danksharding 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 bất kỳ lúc nào khi xây dựng lại khối. Khi một khối trở nên khả dụng một phần, các nút sẽ liên lạc với nhau để ghép nó lại với nhau.
So sánh cam kết của KZG và bằng chứng gian lận dữ liệu:
Có thể thấy cam kết của KZG có thể đảm bảo Tiện ích mở rộng và dữ liệu là chính xác, đồng thời bằng chứng gian lận nhờ bên thứ ba giám sát. Sự khác biệt rõ ràng nhất là bằng chứng gian lận yêu cầu một khoảng thời gian để người quan sát phản ứng trước khi báo cáo gian lận. Tại thời điểm này, cần phải đồng bộ hóa trực tiếp các nút để 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 và sử dụng các phương pháp toán học để đảm bảo dữ liệu chính xác mà không cần thời gian chờ đợi.
Nó có thể chứng minh rằng dữ liệu và phần mở rộng của nó là chính xác. Tuy nhiên, vì cam kết KZG một chiều đòi hỏi nguồn lực lớn hơn nên Ethereum chọn cam kết KZG hai chiều.
Ví dụ: 100 hàng và 100 cột, tức là 100,00 lượt chia sẻ. Nhưng mỗi lần lấy mẫu không phải là sự đảm bảo 1/10.000. Khi đó mở rộng gấp bốn lần có nghĩa là ít nhất 1/4 toàn bộ phần chia sẻ phải không có sẵn, chỉ khi đó bạn mới có thể rút ra một phần chia sẻ không có sẵn, nghĩa là nó thực sự không có sẵn vì không thể phục hồi được. Chỉ khi không có 1/4 và không thể phục hồi thì lỗi mới thực sự được phát hiện một cách hiệu quả nên xác suất vẽ được một lần là khoảng 1/4. Sau khi bơm hơn mười lần hoặc mười lăm lần, có thể đạt được đảm bảo độ tin cậy 99%. Bây giờ hãy chọn trong phạm vi 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 thực dữ liệu hoàn chỉnh khả dụng.
Tính năng chính được Proto-danksharding giới thiệu là một loại giao dịch mới mà chúng tôi gọi là giao dịch mang blob. Giao dịch mang blob tương tự như 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 gọi là blob. Các đốm màu rất lớn (~125 kB) và rẻ hơn nhiều so với lượng dữ liệu cuộc gọi tương tự. Tuy nhiên, những đốm màu này không thể truy cập được từ EVM (chỉ có những lời hứa đối 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 đèn hiệu) thay vì lớp thực thi. Đây thực sự là sự khởi đầu của quá trình hình thành dần dần khái niệm phân chia dữ liệu.
Vì người xác thực và khách hàng vẫn cần tải xuống nội dung blob đầy đủ nên mục tiêu băng thông dữ liệu trong proto-danksharding là 1 MB mỗi khe thay vì Full 16 MB. Tuy nhiên, vì những dữ liệu 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 tại nên vẫn có lợi ích lớn về khả năng mở rộng.
Mặc dù việc triển khai phân đoạn hoàn toàn (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 quá trình phân chia dữ liệu sơ khai, nhưng sự phức tạp này đã được hạn chế trong lớp đồng thuận. Sau khi triển khai proto-danksharding, nhóm khách hàng điều hành, nhà phát triển tổng hợp và người dùng sẽ 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 shending hoàn chỉnh. 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.
Điều đáng chú ý là tất cả các thay đổi đều được thực hiện bởi lớp đồng thuận và không yêu cầu bất kỳ công việc bổ sung nào từ nhóm khách hàng, người dùng hoặc nhà phát triển Rollup.
EIP-4488 và proto-danksharding đều mang lại mức sử dụng tối đa trong thời gian dài khoảng 1 MB mỗi khe cắm (12 giây). Con số này tương đương với khoảng 2,5 terabyte 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, việc giải quyết vấn đề này cần có đề xuất hết hạn lịch sử EIP-4444 (được đề cập trong phần lộ trình), không còn Yêu cầu nữa khách hàng lưu trữ hồ sơ lịch sử vượt quá 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 những vấn đề mà mọi người đang thảo luận trong quá trình mở rộng Ethereum từ góc độ người mới bắt đầu. Vì vậy, hãy quay lại với sharding và một lần nữa nhấn mạnh khái niệm một chiều về sharding: hiểu đơn giản là quá trình phân chia cơ sở dữ liệu theo chiều ngang để phân phối tải.
Ở đây, một vấn đề rất quan trọng với việc phân chia dữ liệu của chúng ta là trong PBS (người đề xuất và người xây dựng khối được tách biệt, như đã đề cập trong lộ trình Hợp nhất), trong phân đoạn, mỗi nút Nhóm chỉ xử lý các giao dịch trong phân đoạn và các giao dịch sẽ tương đối độc lập giữa các phân đoạn. Vậy hai người dùng AB nên ở trên các phân đoạn khác nhau và chuyển tiền cho nhau như thế nào? Sau đó, bạn cần có khả năng giao tiếp chéo tốt.
Cách tiếp cận trước đây là phân chia lớp sẵn có của dữ liệu, trong đó mỗi phân đoạn có những người đề xuất và ủy ban độc lập. Trong bộ trình xác thực, mỗi trình xác thực sẽ lần lượt xác minh dữ liệu được phân chia và họ tải xuống tất cả dữ liệu để xác minh.
Nhược điểm là:
Cần có công nghệ đồng bộ hóa nghiêm ngặt để đảm bảo rằng người xác nhận có thể được đồng bộ hóa bên trong Một khe.
Người xác nhận cần thu thập phiếu bầu từ tất cả các ủy ban và ở đây cũng sẽ có sự chậm trễ.
Và người xác minh phải chịu áp lực rất lớn trong việc tải xuống toàn bộ dữ liệu.
Cách tiếp cận thứ hai là từ bỏ xác thực dữ liệu đầy đủ và thay vào đó áp dụng phương pháp lấy mẫu tính khả dụng của dữ liệu (phương pháp này được triển khai sau trong The Surge). Ở đây có 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 dữ liệu theo từng lát, nếu quá trình xác minh đạt, người xác minh sẽ ký. 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ã hóa xóa, sau đó sử dụng các đặc tính của đa thức để khôi phục dữ liệu trong các điều kiện cụ thể nhằm đảm bảo dữ liệu có sẵn hoàn toàn.
Mấu chốt của "sharding" là người xác thực 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à "sharding" ( Mặc dù nó có "sharding" trong tên của nó). Proto-danksharding yêu cầu mỗi trình xác nhận phải tải xuống hoàn toàn tất cả các đốm màu phân đoạn để xác minh tính khả dụng của chúng; Danksharding sau đó sẽ giới thiệu mẫu và một trình xác thực duy nhất chỉ cần tải xuống các đoạn của các đốm màu phân đoạn.
3. Tương lai của Ethereum: Lớp 3
Dòng ZK Lớp 2, được coi là sự mở rộng trong tương lai của Ethereum, chẳng hạn như Cả hai zksync và starknet đã đề xuất khái niệm 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 thấp hơn đáng kể, tăng cường hỗ trợ cho các công cụ DeFi và tính thanh khoản do L2 cung cấp tăng lên, người dùng cuối sẽ tiến hành hầu hết các hoạt động của họ trên L2, trong đó Ethereum dần trở thành lớp thanh toán.
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 về phân cấp, logic phổ quát 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 lớp độc lập mới: L3!
L3 liên quan đến L2 cũng như L2 liên quan đến L1. Miễn là L2 có thể hỗ trợ các hợp đồng thông minh của Người xác minh, L3 có thể được triển khai bằng cách sử dụng bằng chứng hợp lệ. Khi L2 cũng sử dụng các bằng chứng hợp lệ được gửi tới L1, như StarkNet đã làm, điều này trở thành một cấu trúc đệ quy rất tinh tế trong đó các ưu điểm về nén của các bằng chứng L2 được nhân với các ưu điểm về nén của các bằng chứng L3. Về mặt lý thuyết, nếu mỗi lớp đạt được mức giảm chi phí 1000 lần, thì L3 có thể rẻ 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 sự cho các bằng chứng đệ quy mà starknet tự hào.
Ở đây cần có một phần kiến thức về "Lớp sẵn sàng dữ liệu trên chuỗi và ngoài chuỗi". Toàn bộ Lớp 3 bao gồm:
Tổng hợp (dữ liệu sẵn có trên chuỗi), tính hợp lệ (dữ liệu sẵn có ngoài chuỗi). Hai loại 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 Validium để đưa dữ liệu ra khỏi chuỗi, giúp giảm đáng kể chi phí gas trên chuỗi và có thể đạt được quyền riêng tư mà không tiết lộ dữ liệu người dùng, cho phép các công ty kiểm soát hoàn toàn dữ liệu của họ. các mô hình kinh doanh dữ liệu doanh nghiệp trước đây vẫn có thể hoạt động 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 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 giúp các ứng dụng sẽ mở rộng quy mô và sau đó phân tách các lớp dựa trên các yêu cầu chức năng tùy chỉnh cho các trường hợp sử dụng khác nhau.
L2 được sử dụng cho tiện ích mở rộng chung và L3 được sử dụng cho tiện ích mở rộng tùy chỉnh.
Tiện ích mở rộng tùy chỉnh có thể có nhiều dạng khác nhau: các ứng dụng chuyên dụng sử dụng thứ gì đó không phải EVM để tính toán, có tính năng Nén dữ liệu tổng hợp được tối ưu hóa đối với các định dạng dữ liệu dành riêng cho ứng dụng (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 duy nhất trên mỗi khối), v.v.
L2 được dùng để mở rộng không cần độ tin cậy (rollup) và L3 được 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 các phép tính nhưng để lại dữ liệu sẵn có cho bên thứ ba hoặc ủy ban đáng tin cậy. Theo ý kiến của tôi, Validium bị đánh giá thấp một cách nghiêm trọng: đặc biệt, nhiều ứng dụng "blockchain 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 Validium và thường xuyên gửi hàm băm vào chuỗi.
Validium kém an toàn hơn so với gói tổng hợp nhưng có thể rẻ hơn nhiều.
Đối với các nhà phát triển dApp, có một số lựa chọn về cơ sở hạ tầng:
Phát triển một Tự mình tổng hợp (ZK Rollups hoặc Optimistic Rollups)
Ưu điểm là bạn có thể kế thừa hệ sinh thái của Ethereum (người dùng) và các bảo mật, nhưng chi phí phát triển của Rollup rõ ràng là quá cao đối với nhóm dApp.
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 Ethereum (người dùng) và tính bảo mật.
Tự phát triển chuỗi khối lớp 1
Chi phí phát triển và độ khó do nó mang lại rất cao nhưng nó có thể có khả năng kiểm soát cao nhất.
Hãy so sánh ba tình huống:
Độ khó/Chi phí: Lớp Alt 1 > ; Rollup > Cosmos
Bảo mật: Rollup > Cosmos > Alt-layer 1
Sinh thái/Người dùng: Rollup > Cosmos > Alt-layer 1
Kiểm soát: Alt-layer 1 > Cosmos > Rollup
Là nhà phát triển dApp, nếu bạn muốn kế thừa tính bảo mật và Lưu lượng truy cập thì bạn không thể- phát triển một chuỗi thì bạn chỉ có thể chọn cuộn lên. Tuy nhiên, việc tự mình phát triển bản tổng hợp lớp 2 sẽ rất tốn kém, vì vậy, giải pháp thích hợp là sử dụng SDK lớp 3 để phát triển bản tổng hợp dành riêng cho ứng dụng (bản tổng hợp dành riêng cho ứng dụng), tức là Lớp 3.
IV. Sự phát triển trong tương lai của Lớp 2
Vì Ethereum được thiết kế dựa trên mô hình tài khoản nên tất cả người dùng đều ở trong toàn bộ cây trạng thái, do đó, song song hóa là không thể thực hiện được, do đó, bản thân các xiềng xích của Ethereum yêu cầu nó phải loại bỏ các hoạt động thực thi và kết hợp nhiều giao dịch tổng hợp thành một giao dịch dưới dạng lớp thanh toán. Mọi vấn đề bây giờ đều tập trung vào việc cải thiện thông lượng của lớp 2. Việc sử dụng Lớp 3 không chỉ có thể cải thiện thông lượng giao dịch mà việc triển khai xử lý song song trên Lớp 2 cũng có thể cải thiện đáng kể thông lượng của toàn bộ mạng.
Vấn đề song song hóa cũng được starknet tích cực khám phá, mặc dù thuật toán chứng minh hiện tại vẫn còn là xiềng xích nhưng dự đoán nó sẽ không trở thành lực cản trong tương lai. Những trở ngại tiềm tàng bao gồm:
Xử lý tx sắp xếp: Một số công việc sắp xếp dường như vốn đã nối tiếp.
Băng thông: Kết nối giữa nhiều trình sắp xếp chuỗi 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 cho rằng phương pháp xử lý song song của aptos là rất tốt. Về phần mình, Starknet hiện cũng đang nâng cao khả năng thực hiện phân loại song song tx trong bộ sắp xếp.
5. Tóm tắt
Ethereum đang loại bỏ lớp thực thi và mọi hành động đang hướng tới tầm nhìn của nó về một lớp giải quyết "toàn cầu". Mặc dù toàn bộ Ethereum hiện đang phát triển chậm, đó là vì tổng thể 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. Nhưng không thể phủ nhận rằng Ethereum đang trải qua những thay đổi lớn. Số lượng lớn các hoạt động trên chuỗi của Ethereum, cải tiến cơ chế kinh tế và khả năng mở rộng của Ethereum 2.0. IC0, Defi, NFT cải tiến của nó và nhiều thứ khác đáng để chúng ta phấn khích và phấn khích. Cộng đồng Ethereum mong đợi. Tôi 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 quyền thủ đô Argentina có kế hoạch triển khai các nút xác minh Ethereum vào năm 2023, Ethereum sẽ thực sự có thể hiện thực hóa tầm nhìn lớn của mình trong tương lai gần.
Liên kết gốc
Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:
Nhóm Telegram đăng ký: https://t.me/theblockbeats
Nhóm Telegram thảo luận: https://t.me/BlockBeats_App
Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia
