Khi việc sử dụng Tổng số tăng lên và lưu trữ các ứng dụng của hệ sinh thái, chi phí di chuyển cho người dùng sẽ tăng lên và những người đặt hàng tập trung sẽ có được ảnh hưởng độc quyền đối với giá cả. Bộ điều khiển của những người đặt hàng tập trung được chứng minh là hợp lý trong việc khai thác tối đa giá trị (MEV) từ người dùng cả trực tiếp (ví dụ: thông qua phí) và gián tiếp (ví dụ: thông qua giao dịch chạy trước, tấn công bánh sandwich, v.v.). - Cà phê espresso
Như nhóm Espresso đã đề cập, Rollup tập trung cuối cùng sẽ phải đối mặt với các vấn đề về giá độc quyền và MEV. Ngoài ra, các Bản tổng hợp tập trung vốn đã phá vỡ khả năng kết hợp, dẫn đến các Bản tổng hợp bị phân mảnh. **
Tuy nhiên, hầu hết tất cả các Bản tổng hợp hiện tại vẫn là tập trung, bởi vì việc xây dựng một Bản tổng hợp phi tập trung, không cần cấp phép và có thể mở rộng là vô cùng khó khăn. Một lý do khác là việc khởi chạy Rollup tập trung trước có thể giúp ươm tạo hệ sinh thái và giành lấy thị phần.
Và khi chúng ta thảo luận về Rollup phi tập trung, đặc biệt là zkRollups, có hai cấp độ phân quyền. Thứ nhất là sự phân cấp của người châm ngôn, thứ hai là sự phân cấp của người đặt hàng. Để đạt được sự phân quyền hoàn toàn, cũng cần giải bài toán phối hợp giữa người đặt hàng và người chứng minh.
Theo xu hướng mô đun hóa, hiện tại có ba loại người tham gia chính trong Rollup phi tập trung. Danh mục đầu tiên nhằm mục đích đạt được Rollup phi tập trung hoàn toàn và đề xuất một giải pháp hoàn chỉnh. Loại thứ hai là các giao thức được thiết kế để giải quyết các mạng chuẩn. Cuối cùng, có nhiều giải pháp đang hoạt động để phi tập trung hóa máy phân loại.
Rollup phi tập trung
Trong zkRollups, Polygon và Starknet đã đưa ra các giải pháp để phi tập trung hóa các Rollup của họ.
Đa giác
Trước khi giới thiệu POE (Bằng chứng hiệu quả), Polygon zkEVM đã thông qua POD (Bằng chứng quyên góp), cho phép bộ phân loại đặt giá thầu để có cơ hội tạo lô giao dịch tiếp theo. Tuy nhiên, điều này tạo ra vấn đề là một bên độc hại duy nhất có thể kiểm soát toàn bộ mạng bằng cách đặt giá thầu cao nhất.
Sau khi áp dụng POE, người đặt hàng và người chuẩn bị sẽ tham gia vào mạng không được phép một cách hiệu quả nhất trong điều kiện phần cứng của riêng họ. Bất kỳ ai cũng có thể tham gia Polygon zkEVM miễn là nó có ý nghĩa kinh tế.
Trong Polygon zkEVM, bộ sắp xếp yêu cầu 16GB RAM và CPU 4 nhân, trong khi trình chứng minh yêu cầu 1TB RAM và CPU 128 nhân. Ngoài ra, có một vai trò được gọi là bộ tổng hợp, chịu trách nhiệm thu thập dữ liệu L1, gửi dữ liệu đó đến người chứng minh, nhận bằng chứng và gửi cho L1. Chúng ta có thể coi người tổng hợp và người chứng minh là cùng một chủ thể, bởi vì mối quan hệ giữa người tổng hợp và người chứng minh rất đơn giản, và người tổng hợp trả tiền cho người chứng minh để đưa ra bằng chứng.
Kiến trúc này rất đơn giản: bất kỳ người đặt hàng nào cũng có thể đóng gói các giao dịch dựa trên trạng thái trước đó trên L1 mà không cần sự cho phép và cập nhật trạng thái tương ứng. Đồng thời, bất kỳ người tổng hợp nào cũng có thể gửi bằng chứng để xác minh trạng thái cập nhật.
Trong POE, hiệu quả không chỉ đề cập đến hiệu quả mạng lưới của những người tham gia cạnh tranh với nhau, mà còn liên quan đến hiệu quả kinh tế của chính trình tự và chứng minh. Trong L2, người đặt hàng và người chứng minh chia sẻ phí giao dịch và người đặt hàng trả Phí theo lô cho người tổng hợp để tạo bằng chứng. Điều này đảm bảo rằng những người tham gia có động cơ kinh tế để đóng góp vào hiệu quả của mạng, dẫn đến một hệ sinh thái mạnh mẽ và bền vững hơn.
máy phân loại
Thu nhập: Phí giao dịch L2
Chi phí: BatchFee (được tính bằng $MATIC) + Phí giao dịch L1 (gọi phương thức sequenceBatches)
Tổng hợp (Prover)
Thu nhập: BatchFee (tính bằng $MATIC)
Chi phí: chi phí bằng chứng + phí giao dịch L1 (gọi phương thức verifyBatchesTrustedAggregator)
Điều phối viên: batchFee
tham số ban đầu
batchFee= 1 $MATIC
veryBatchTimeTarget = 30 phút. Đây là thời gian mục tiêu cho đợt xác thực. Giao thức sẽ cập nhật biến batchFee để đạt được thời gian mục tiêu này.
số nhânBatchFee = 1002. Đây là hệ số phí hàng loạt, nằm trong khoảng từ 1000 đến 1024, với 3 chữ số thập phân.
Bộ điều chỉnh
diffBatches : số lô tổng hợp > 30 phút trừ đi số lô <= 30 phút. Giá trị tối đa là 12.
Quy trình phối hợp
Tăng phần thưởng tổng hợp để khuyến khích người tổng hợp khi diffBatches > 0.
Khi diffBatches < 0, giảm phần thưởng tổng hợp để chặn bộ tổng hợp và làm chậm quá trình tổng hợp.
Starknet
Starknet cũng nhằm mục đích xây dựng một Rollup xác nhận nhanh chóng và có thể mở rộng. Trong khi thông số kỹ thuật cuối cùng cho giải pháp phi tập trung vẫn chưa đạt được, họ đã xuất bản một số bản nháp trên diễn đàn vài tháng trước.
So với cơ chế đơn giản của Polygon zkEVM, sơ đồ của Starknet phức tạp hơn vì nó bao gồm sự đồng thuận L2 và bằng chứng giao thức được xâu chuỗi trong mạng bằng chứng.
máy phân loại
Thay vì chỉ thêm một lớp đồng thuận trong lớp đặt hàng, Starknet đề xuất một giao thức đồng thuận sổ cái kép. Trong giao thức này, L2 cung cấp phản hồi nhanh dưới dạng giao thức trực tiếp, trong khi các điểm kiểm tra L1 cung cấp xác nhận cuối cùng dưới dạng giao thức an toàn.
Đối với giao thức trực tiếp của L2, có thể áp dụng nhiều cơ chế đồng thuận khác nhau, chẳng hạn như các hệ thống PoS kháng Sybil như Tendermint hoặc DAG. Mặt khác, giao thức an toàn của L1 liên quan đến nhiều hợp đồng xử lý việc quản lý Cổ phần, xác minh bằng chứng và cập nhật trạng thái tương ứng.
Quy trình công việc điển hình của giao thức đồng thuận sổ cái kép như sau:
Đầu tiên, sử dụng đầu ra của sổ cái trực tiếp L2 làm đầu vào của sổ cái an toàn L1 để tạo sổ cái trực tiếp được kiểm tra.
Sau đó, lấy sổ cái trực tiếp đã kiểm tra làm đầu vào và nhập lại vào giao thức đồng thuận thuần túy của L2 để đảm bảo rằng sổ cái trực tiếp đã kiểm tra luôn là tiền tố của sổ cái trực tiếp.
Lặp lại quy trình trên.
Khi xây dựng một giao thức đồng thuận sổ cái kép, sẽ có sự đánh đổi giữa chi phí và độ trễ. Giải pháp lý tưởng nhằm đạt được cả chi phí thấp và phê duyệt cuối cùng nhanh chóng.
Để giảm chi phí xăng trên L2, Starknet chia các điểm kiểm tra thành "mức phút" và "mức giờ". Đối với các điểm kiểm tra "cấp phút", chỉ trạng thái được cam kết với chuỗi, trong khi phần còn lại của dữ liệu (bằng chứng về tính hợp lệ, tính khả dụng của dữ liệu, v.v.) được gửi qua mạng StarkNet L2. Những dữ liệu này được lưu trữ và xác minh bởi các nút đầy đủ của StarkNet. Mặt khác, các điểm kiểm tra "hàng giờ" được xác thực công khai tại L1. Cả hai loại trạm kiểm soát đều cung cấp cùng một xác nhận cuối cùng. Đối với các điểm kiểm tra "cấp độ phút", bằng chứng hợp lệ được xác minh bởi các nút đầy đủ của StarkNet và có thể được cấp bởi bất kỳ nút nào trên L1 để cung cấp tính hữu hạn của L1 cho các điểm kiểm tra "cấp độ phút". Do đó, người chứng minh cần tạo ra các bằng chứng nhỏ để phổ biến rộng rãi trong mạng L2.
Để giảm độ trễ hơn nữa, Starknet đề xuất một giao thức bầu chọn nhà lãnh đạo để xác định trước nhà lãnh đạo. Logic cơ bản như sau: người dẫn đầu của kỷ nguyên i hiện tại được xác định trước dựa trên số lượng L1 đã đặt cược và một số tính ngẫu nhiên. Cụ thể, trong epoch i-2, phương thức leader_election xếp các bộ sắp xếp theo thứ tự từ điển dựa trên số lượng cam kết trong epoch i-3. Sau đó, gửi một giao dịch để cập nhật nonce và chọn một điểm ngẫu nhiên. Trình sắp xếp tương ứng với vị trí mà điểm rơi sẽ là người dẫn đầu của kỷ nguyên i.
Người chứng nhận
Trong mô-đun POE, có một cuộc cạnh tranh mở giữa những người tham gia, điều này có thể dẫn đến tình huống kẻ thắng được cả. Starknet cố gắng đạt được một cơ chế cạnh tranh mà không có rủi ro tập trung. Dưới đây là một vài lựa chọn:
Luân chuyển: Điều này có thể giải quyết một phần vấn đề tập trung hóa, nhưng có thể không khuyến khích tìm được người giỏi nhất để chứng minh công việc.
Dựa trên số tiền đặt cược: Bộ phân loại xác định xác suất được bầu làm người châm ngôn dựa trên số tiền mà nó đặt cược.
Sơ đồ cam kết-tiết lộ: Người cam kết đầu tiên cần cam kết mã thông báo để có được cơ hội độc quyền ngắn hạn, sau đó tạo bằng chứng trong khoảng thời gian này. Để tránh các cuộc tấn công DDoS, nếu cái trước không thể tạo bằng chứng kịp thời, thì mã thông báo thế chấp mà cái sau yêu cầu sẽ tăng theo cấp số nhân. Mặc dù theo cơ chế này, mạng có thể mất máy có hiệu suất tốt nhất, nhưng có thể trau dồi thêm nhiều máy chứng minh hơn.
Bên cạnh sự cạnh tranh giữa các nhà chứng minh, rào cản gia nhập nên được hạ thấp để nhiều nhà chứng minh có thể tham gia vào mạng lưới. Starknet đề xuất một giao thức phức tạp sử dụng các bằng chứng đệ quy được gọi là bằng chứng giao thức chuỗi.
Trong các giao thức bằng chứng về chuỗi, bản thân chuỗi khối được chia thành nhiều nhánh khác nhau. Bằng cách này, các bằng chứng không chỉ có thể được đệ quy, mà việc tạo bằng chứng cũng có thể đồng thời. Ví dụ: trong cài đặt 3 nhánh, 12 khối màu đen được chia thành 3 hàng, mỗi hàng đại diện cho một nhánh. Chúng ta có thể coi mỗi nhánh là một chuỗi con trong đó mỗi khối phải chứng thực cho khối trước đó. Từ quan điểm của toàn bộ chuỗi, vị trí n cần chứng minh vị trí n-3. Khoảng thời gian của 3 khối cho phép đủ thời gian để người đặt hàng tính toán và mua bằng chứng trước. Điều này hơi giống với sharding, trong đó kẻ tấn công chỉ cần kiểm soát một nhánh để kiểm soát toàn bộ mạng lưới người chứng thực.
Để kết hợp các nhánh này lại với nhau, Starknet đề xuất một công nghệ kết hợp có thể hợp nhất nhiều nút lại với nhau để cùng xác minh tính hợp pháp của các giao dịch và đảm bảo tính nhất quán và độ tin cậy của hồ sơ giao dịch.
Một giải pháp là yêu cầu mỗi khe cần được hợp nhất với một số nhánh cùng một lúc. Một giải pháp khác là thử luân phiên từng nhánh để hợp nhất với các nhánh khác, do đó giảm khối lượng công việc chứng minh. Tất nhiên, đây cũng là một vấn đề mở và có thể có những giải pháp tốt hơn trong tương lai.
phối hợp
Để chủ động đảm bảo rằng người chứng minh có thể có đủ không gian lợi nhuận, Starknet đề xuất một phương pháp tham khảo sơ đồ EIP1559: đặt phí cơ bản làm giới hạn dưới của giá tài nguyên của người chứng minh, tích cực tiến hành khám phá giá và bộ phân loại có thể sử dụng các mẹo để thúc đẩy người chứng minh. Bằng cách này, người chứng minh sẽ luôn được trả thừa và chỉ những trường hợp cực đoan mới ảnh hưởng đến quá trình chứng minh. Mặt khác, nếu công cụ chứng minh được trả gần với giá thị trường, thì một biến động nhỏ có thể dẫn đến việc khóa công cụ chứng minh.
Phân quyền của người chứng nhận
Từ quan điểm của Rollups, người châm ngôn dễ dàng đạt được sự phân cấp hơn so với người sắp xếp. Ngoài ra, thiết bị chuẩn hiện tại là nút cổ chai về hiệu suất và cần theo kịp tốc độ xử lý theo đợt của máy phân loại. Khi chưa giải quyết được vấn đề phân quyền của máy phân loại, máy phân quyền cũng có thể cung cấp dịch vụ cho máy phân loại tập trung.
Trên thực tế, không chỉ Rollups, zkBridge và zkOracle cũng cần một mạng chứng minh. Tất cả đều yêu cầu một mạng lưới chứng minh phân tán mạnh mẽ.
Về lâu dài, một mạng lưới chứng minh có thể đáp ứng các sức mạnh tính toán khác nhau sẽ bền vững hơn, nếu không, những cỗ máy hoạt động tốt nhất sẽ độc chiếm thị trường.
** Thị trường bằng chứng **
Một số giao thức không điều phối mối quan hệ giữa trình sắp xếp thứ tự và trình chứng minh, nhưng trực tiếp trừu tượng hóa sự phối hợp thành một thị trường bằng chứng. Trong thị trường này, bằng chứng là hàng hóa, người chứng minh là nhà sản xuất bằng chứng và giao thức là người tiêu dùng bằng chứng. Cân bằng thị trường hiệu quả nhất dưới tác động của "bàn tay vô hình".
Của tôi
Mina đã thành lập một thị trường bằng chứng có tên là Snarketplace, nơi các bằng chứng về Snark được giao dịch. Đơn vị nhỏ nhất ở đây là bằng chứng Snark của một giao dịch. Mina sử dụng một bằng chứng đệ quy của cây trạng thái được gọi là Quét trạng thái.
Trạng thái quét là một rừng cây nhị phân trong đó mỗi giao dịch là một nút. Một bằng chứng duy nhất được tạo ở đầu cây có thể chứng minh tất cả các giao dịch trong cây. Người châm ngôn có hai nhiệm vụ: nhiệm vụ đầu tiên là tạo ra các bằng chứng và nhiệm vụ thứ hai là hợp nhất các bằng chứng.
Sau khi người chứng minh hoàn thành công việc và gửi giá thầu, nhà sản xuất khối của giao thức Mina sẽ chọn người đặt giá thầu có giá thấp nhất. Đây cũng là giá cân bằng, vì các nhà thầu sẽ gửi giá thầu cao hơn chi phí bằng chứng và các nhà sản xuất khối sẽ không mua bằng chứng không đáng tiền.
=Không; Sự thành lập
Thị trường bằng chứng của Mina được thiết kế cho giao thức riêng, trong khi =nil; Foundation đề xuất một thị trường bằng chứng chung để phục vụ toàn bộ thị trường.
Dịch vụ thị trường bao gồm ba thành phần: DROP DATABASE, zkLLVM và Proof Market.
DROP DATABASE: Là một giao thức của hệ quản trị cơ sở dữ liệu, có thể coi như một lớp DA.
Proof Market: là một ứng dụng chạy trên DROP DATABASE, tương tự như cái mà một số người gọi là "sàn giao dịch phi tập trung" chống zk-proof.
zkLLVM: là trình biên dịch chuyển đổi ngôn ngữ lập trình cấp cao thành đầu vào cho các giao thức tính toán có thể chứng minh được.
Mỗi bằng chứng bao gồm các đầu vào và mạch khác nhau, vì vậy mỗi bằng chứng là duy nhất. Một mạch định nghĩa một loại bằng chứng, tương tự như cách một "cặp giao dịch" được định nghĩa theo thuật ngữ tài chính. Ngoài ra, các hệ thống bằng chứng khác nhau giới thiệu nhiều mạch hơn.
Quy trình làm việc như sau: phía yêu cầu của bằng chứng có thể viết mã bằng ngôn ngữ lập trình cấp cao, sau đó cung cấp mã đó cho =nil;zkLLVM thông qua chuỗi công cụ, tạo ra một mạch duy nhất sẽ trở thành một cặp giao dịch duy nhất trên thị trường.
Đối với phía có nhu cầu chứng minh, họ có thể đánh đổi giữa chi phí và thời gian. Provers cũng sẽ xem xét khả năng tính toán và thu nhập của họ. Do đó, trên thị trường sẽ có các sức mạnh tính toán khác nhau, sức mạnh tính toán cao sẽ tạo ra các bằng chứng nhanh hơn, nhưng chi phí cao hơn, trong khi sức mạnh tính toán thấp sẽ tạo ra các bằng chứng chậm hơn, nhưng rẻ hơn.
CAM KẾT HAI BƯỚC
Gần đây, Opside đã đề xuất một sơ đồ cam kết hai bước để phân cấp mạng lưới chứng minh. Đề án chia việc nộp bằng chứng thành hai giai đoạn để tránh tình trạng người chứng minh nhanh nhất luôn thắng.
Bước 1: Gửi hàm băm của bằng chứng không kiến thức của khối thứ T
Bắt đầu từ khối T+11, các chứng minh mới không còn được phép gửi hàm băm.
Bước 2: Gửi bằng chứng không có kiến thức
Sau khối T+11, bất kỳ người chứng minh nào cũng có thể gửi chứng minh không có kiến thức. Nếu ít nhất một bằng chứng không có kiến thức vượt qua quá trình xác minh, nó sẽ được sử dụng để xác minh tất cả các giá trị băm đã gửi và người chứng minh được xác minh sẽ nhận được phần thưởng PoW tương ứng theo tỷ lệ số tiền thế chấp.
Nếu không có bằng chứng về kiến thức không được xác minh trước khối T+20, thì tất cả những người chứng minh đã gửi hàm băm sẽ bị phạt. Sau đó mở lại trình sắp xếp, bạn có thể gửi hàm băm mới, quay lại bước 1.
Phương pháp này có thể chứa sức mạnh tính toán khác nhau. Tuy nhiên, tài sản thế chấp bắt buộc vẫn giới thiệu một mức độ tập trung.
Phân quyền Sắp xếp
Việc phân cấp người đặt hàng phức tạp hơn so với người xác nhận. Điều này là do máy phân loại có quyền đóng gói và sắp xếp các giao dịch, đồng thời cần xem xét các vấn đề như MEV và phân phối thu nhập.
Cho rằng Ethereum sẽ ưu tiên tính sống động hơn khả năng đáp ứng, các giải pháp L2 sẽ bổ sung cho sự đánh đổi này bằng cách ưu tiên khả năng đáp ứng hơn tính sống động. Tuy nhiên, so với các máy phân loại tập trung, các máy phân loại phi tập trung vốn đã hy sinh về khả năng đáp ứng. Do đó, các tối ưu hóa khác nhau cần được thực hiện để giải quyết vấn đề nan giải này.
Hiện tại, có ba đề xuất máy phân loại phi tập trung khác nhau. Giải pháp đầu tiên được thực hiện bằng cách tối ưu hóa cơ chế đồng thuận. Sơ đồ thứ hai liên quan đến một mạng lưới các bộ giải mã được chia sẻ. Sơ đồ thứ ba dựa trên trình xác thực L1.
đoàn kết
Giao thức đồng thuận chịu trách nhiệm chính trong việc đặt hàng các giao dịch và đảm bảo tính khả dụng của chúng chứ không thực hiện chúng. Tuy nhiên, trực tiếp thêm một lớp đồng thuận khác, như đã đề cập trước đó, không phải là một giải pháp dễ dàng.
Để cải thiện khả năng phản hồi, một cách tiếp cận phổ biến là dựa vào một nhóm trình xác thực nhỏ hơn. Ví dụ: Algorand và Polkadot sử dụng các ủy ban nhỏ hơn được lấy mẫu ngẫu nhiên cho các giao dịch hàng loạt. Tất cả các nút sử dụng đèn hiệu ngẫu nhiên và chức năng ngẫu nhiên có thể kiểm chứng (VRF), với xác suất được đưa vào ủy ban trong một khoảng thời gian nhất định tỷ lệ thuận với số tiền đặt cược của họ.
Để giảm lưu lượng mạng, có thể sử dụng các ủy ban Dữ liệu sẵn có (DA) nhỏ hơn. Hoặc sử dụng VID (Phân tán thông tin có thể kiểm chứng). VID phân phối mã xóa dữ liệu cho tất cả các nút tham gia vào sự đồng thuận, để bất kỳ tập hợp con các nút nào có tỷ lệ cam kết đủ cao đều có thể hợp tác để khôi phục dữ liệu. Sự đánh đổi của phương pháp này là giảm độ phức tạp của quảng bá, nhưng tăng độ phức tạp của việc khôi phục dữ liệu.
Arbitrum đã chọn các thực thể có uy tín để tạo thành bộ trình xác thực, chẳng hạn như ConsenSys, Ethereum Foundation, L2BEAT, Mycelium, Offchain Labs, P2P, Quicknode, Trung tâm nghiên cứu sổ cái phân tán của IFF (DLRC) và Đơn vị 410 để tham gia Ủy ban phân loại. Sự đánh đổi trong cách tiếp cận này là bù đắp cho sự thiếu hụt về số lượng bằng cách cải thiện chất lượng của sự phân cấp.
Mạng trình tự chia sẻ
Bộ sắp xếp đóng một vai trò quan trọng trong các chuỗi khối mô-đun, đặc biệt là trong Rollup. Mỗi Rollup thường xây dựng mạng lưới sắp xếp của riêng mình. Tuy nhiên, cách tiếp cận này không chỉ tạo ra các vấn đề dư thừa mà còn cản trở khả năng kết hợp. Để giải quyết vấn đề này, một số giao thức đề xuất xây dựng mạng phân loại Rollup được chia sẻ. Cách tiếp cận này làm giảm sự phức tạp của việc đạt được tính nguyên tử, khả năng kết hợp và khả năng tương tác, những tính năng mà người dùng và nhà phát triển rất cần trong các chuỗi khối mở, không cần cấp phép. Ngoài ra, nó cũng loại bỏ nhu cầu về một ứng dụng khách nhẹ riêng biệt cho mạng người đặt hàng.
Astria
Astria đang phát triển một blockchain phần mềm trung gian cho hệ sinh thái Rollup của Celestia, bao gồm bộ sưu tập những người đặt hàng phân tán của riêng họ. Nhóm người đặt hàng này chịu trách nhiệm chấp nhận các giao dịch từ nhiều Bản tổng hợp và ghi chúng vào lớp cơ sở mà không thực hiện chúng.
Vai trò của Astria chủ yếu tập trung vào đặt hàng giao dịch và hoạt động độc lập với lớp cơ sở và Rollup. Dữ liệu giao dịch được lưu trữ trên lớp cơ sở (ví dụ: Celestia), trong khi các nút đầy đủ Rollup duy trì trạng thái và thực thi các hoạt động. Điều này đảm bảo rằng Astria được tách rời khỏi Rollup.
Đối với mục đích cuối cùng, Astria cung cấp hai cấp độ Cam kết:
"Cam kết mềm": Cho phép Rollup cung cấp xác nhận khối nhanh cho người dùng cuối.
“Cam kết chắc chắn”: Tốc độ ngang với lớp cơ sở, đảm bảo tính bảo mật và tính chính xác cao hơn.
Cà phê espresso
Espresso đã đóng góp đáng kể trong lĩnh vực công nghệ không kiến thức. Sự phát triển mới nhất của họ là một giải pháp toàn diện cho các bộ phân loại phi tập trung có thể được áp dụng cho Bản tổng hợp lạc quan và zkRollups.
Mạng đặt hàng phi tập trung bao gồm:
Đồng thuận HotShot: Ưu tiên thông lượng cao và kết quả nhanh hơn tính khả dụng động.
Espresso DA: Kết hợp giải pháp DA dựa trên ủy ban và VID, trong đó các nút có băng thông cao cung cấp dữ liệu cho tất cả các nút khác. Tính khả dụng của mỗi khối riêng lẻ cũng được hỗ trợ bởi một ủy ban nhỏ được bầu chọn ngẫu nhiên. VID cung cấp một bản sao lưu đáng tin cậy nhưng chậm hơn, đảm bảo tính khả dụng miễn là tỷ lệ phần trăm trọng lượng đặt cược đủ cao của tất cả các nút không bị xâm phạm.
Rollup REST API: Ethereum tương thích với JSON-RPC.
Hợp đồng trình tự sắp xếp: xác minh sự đồng thuận của HotShot (nghĩa là hoạt động như một ứng dụng khách nhẹ) và ghi lại các điểm kiểm tra (nghĩa là thực hiện cam kết bằng mật mã đối với giao dịch) và quản lý bảng cam kết của HotShot.
Mạng P2P: Giao thức tin đồn.
So với Astria, Espresso cung cấp DA. Do đó, quy trình làm việc sẽ hơi khác một chút, như sau:
Người dùng tạo và gửi giao dịch tới Tổng số.
Giao dịch được lan truyền qua mạng đặt hàng và được giữ lại trong mempool.
Chỉ định một nhà lãnh đạo thông qua cơ chế cam kết HotShot, đề xuất một khối và truyền nó trở lại những người thực hiện và chứng minh của Rollup.
Người lãnh đạo gửi giao dịch đến Ủy ban tính sẵn có của dữ liệu và nhận chứng chỉ DA dưới dạng phản hồi.
Người lãnh đạo cũng gửi một cam kết đối với khối tới hợp đồng Trình sắp xếp Lớp 1, cùng với chứng chỉ mà hợp đồng sử dụng để xác thực khối.
Espresso giới thiệu giao thức Gossip để chứng minh nhằm cung cấp trải nghiệm người dùng linh hoạt hơn. Nó cung cấp ba tùy chọn cho giao dịch cuối cùng:
Nhanh chóng: Người dùng có thể tin tưởng vào máy chủ Rollup đã thực hiện giao dịch và tạo bằng chứng hoặc họ có thể tận dụng độ trễ thấp của HotShot để thực hiện giao dịch.
Vừa phải: Người dùng có thể đợi một lúc để bằng chứng được tạo, sau đó kiểm tra.
Chậm: Người dùng có thể đợi cập nhật trạng thái được xác minh L1 để nhận trạng thái cập nhật mà không có bất kỳ giả định hoặc tính toán tin cậy nào.
Ngoài các tối ưu hóa trên, Espresso cũng có kế hoạch để toàn bộ bộ xác thực Ethereum tự tham gia vào việc chạy giao thức đặt hàng Espresso. Sử dụng cùng một bộ trình xác thực sẽ cung cấp bảo mật tương tự và việc chia sẻ giá trị với trình xác thực L1 sẽ an toàn hơn. Ngoài ra, Espresso cũng có thể tận dụng giải pháp đặt lại ETH do EigenLayer cung cấp.
Bán kính
Radius đang xây dựng một lớp đặt hàng được chia sẻ không đáng tin cậy dựa trên bằng chứng không có kiến thức, tập trung vào giải quyết vấn đề MEV trong L2, vì doanh thu của L2 chủ yếu đến từ không gian khối. Sự đánh đổi cần xem xét là sự cân bằng giữa doanh thu MEV và L2. Mục tiêu của Radius là loại bỏ MEV gây hại cho người dùng và đề xuất dịch vụ hai lớp.
Lớp trên cùng nhắm mục tiêu các giao dịch người dùng thông thường và cung cấp bảo vệ bằng mật mã chống lại MEV không mong muốn thông qua việc sử dụng các câu đố khóa thời gian. Cụ thể, nó sử dụng công nghệ Mã hóa trễ có thể kiểm chứng thực tế (PVDE), sẽ tạo ra bằng chứng không có kiến thức cho các câu đố khóa thời gian dựa trên RSA trong 5 giây. Phương pháp này cung cấp một giải pháp thiết thực để bảo vệ người dùng khỏi MEV có hại. Nói tóm lại, nội dung giao dịch không thể được biết cho đến khi trình sắp xếp thứ tự xác định thứ tự của các giao dịch.
Lớp bên dưới được thiết kế cho những người xây dựng khối và cho phép họ tham gia vào các hoạt động tạo doanh thu đồng thời giảm thiểu tác động tiêu cực của MEV.
Bản tổng hợp dựa trên
Tổng số dựa trên là một khái niệm được đề xuất gần đây bởi Justin Drake, trong đó những người đề xuất khối L1 hợp tác với những người tìm kiếm và xây dựng L1 để đưa các khối tổng số vào khối L1 tiếp theo mà không được phép. Nó có thể được xem như một mạng lưới các trình sắp xếp thứ tự được chia sẻ trên L1. Những ưu điểm và nhược điểm của Rollup dựa trên là rõ ràng.
Về mặt tích cực, Tổng hợp dựa trên tận dụng tính sống động và phân cấp do L1 cung cấp, đồng thời việc triển khai nó rất đơn giản và hiệu quả. Tổng số dựa trên cũng phù hợp về mặt kinh tế với L1. Tuy nhiên, điều này không có nghĩa là Rollup dựa trên thỏa hiệp chủ quyền của nó. Mặc dù MEV được chuyển giao cho L1, nhưng bản tổng hợp dựa trên vẫn có thể sở hữu mã thông báo quản trị và tính phí cơ bản. Dựa trên giả thuyết, Tổng số dựa trên có thể tận dụng những lợi thế này, đạt được sự thống trị và cuối cùng là tối đa hóa lợi nhuận.
Tóm lại là
Nhìn vào những đề xuất được đề xuất, có thể thấy rằng việc phân quyền của Rollup vẫn còn một chặng đường dài phía trước. Một số đề xuất này vẫn đang trong giai đoạn dự thảo và cần thảo luận thêm, trong khi những đề xuất khác mới chỉ hoàn thành các thông số kỹ thuật sơ bộ. Tất cả các kịch bản này cần được thực hiện và kiểm tra nghiêm ngặt.
Mặc dù một số Rollup có thể không đề xuất rõ ràng một giải pháp phi tập trung tương ứng, nhưng chúng thường bao gồm các cơ chế thoát để giải quyết các điểm lỗi đơn lẻ do người đặt hàng tập trung. Ví dụ: zkSync cung cấp phương thức FullExit cho phép người dùng rút tiền trực tiếp từ L1. Khi hệ thống chuyển sang chế độ rút tiền và không thể xử lý các khối mới, người dùng có thể bắt đầu thao tác rút tiền.
Để đạt được khả năng chống kiểm duyệt, các Bản tổng hợp này cũng thường cho phép người dùng gửi giao dịch trực tiếp trên L1. Ví dụ: zkSync sử dụng hàng đợi ưu tiên cho các giao dịch được gửi trên L1. Tương tự, Polygon zkEVM bao gồm một phương pháp lô bắt buộc trong hợp đồng L1. Khi không có sự tổng hợp nào xảy ra trong vòng một tuần, người dùng có thể gọi phương thức này trên L1 và cung cấp mảng byte của giao dịch và bathFee cho người chuẩn bị.
Điều chắc chắn là trong tương lai gần, phân quyền của Rollup sẽ là một giải pháp kết hợp, có thể bao gồm các giải pháp quan trọng nêu trên hoặc một số biến thể sáng tạo khác.
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Hiểu các bản tổng hợp phi tập trung trong một bài viết
Tiêu đề gốc: "Bản tổng hợp phi tập trung"
Khi việc sử dụng Tổng số tăng lên và lưu trữ các ứng dụng của hệ sinh thái, chi phí di chuyển cho người dùng sẽ tăng lên và những người đặt hàng tập trung sẽ có được ảnh hưởng độc quyền đối với giá cả. Bộ điều khiển của những người đặt hàng tập trung được chứng minh là hợp lý trong việc khai thác tối đa giá trị (MEV) từ người dùng cả trực tiếp (ví dụ: thông qua phí) và gián tiếp (ví dụ: thông qua giao dịch chạy trước, tấn công bánh sandwich, v.v.). - Cà phê espresso
Như nhóm Espresso đã đề cập, Rollup tập trung cuối cùng sẽ phải đối mặt với các vấn đề về giá độc quyền và MEV. Ngoài ra, các Bản tổng hợp tập trung vốn đã phá vỡ khả năng kết hợp, dẫn đến các Bản tổng hợp bị phân mảnh. **
Tuy nhiên, hầu hết tất cả các Bản tổng hợp hiện tại vẫn là tập trung, bởi vì việc xây dựng một Bản tổng hợp phi tập trung, không cần cấp phép và có thể mở rộng là vô cùng khó khăn. Một lý do khác là việc khởi chạy Rollup tập trung trước có thể giúp ươm tạo hệ sinh thái và giành lấy thị phần.
Và khi chúng ta thảo luận về Rollup phi tập trung, đặc biệt là zkRollups, có hai cấp độ phân quyền. Thứ nhất là sự phân cấp của người châm ngôn, thứ hai là sự phân cấp của người đặt hàng. Để đạt được sự phân quyền hoàn toàn, cũng cần giải bài toán phối hợp giữa người đặt hàng và người chứng minh.
Theo xu hướng mô đun hóa, hiện tại có ba loại người tham gia chính trong Rollup phi tập trung. Danh mục đầu tiên nhằm mục đích đạt được Rollup phi tập trung hoàn toàn và đề xuất một giải pháp hoàn chỉnh. Loại thứ hai là các giao thức được thiết kế để giải quyết các mạng chuẩn. Cuối cùng, có nhiều giải pháp đang hoạt động để phi tập trung hóa máy phân loại.
Rollup phi tập trung
Trong zkRollups, Polygon và Starknet đã đưa ra các giải pháp để phi tập trung hóa các Rollup của họ.
Đa giác
Trước khi giới thiệu POE (Bằng chứng hiệu quả), Polygon zkEVM đã thông qua POD (Bằng chứng quyên góp), cho phép bộ phân loại đặt giá thầu để có cơ hội tạo lô giao dịch tiếp theo. Tuy nhiên, điều này tạo ra vấn đề là một bên độc hại duy nhất có thể kiểm soát toàn bộ mạng bằng cách đặt giá thầu cao nhất.
Sau khi áp dụng POE, người đặt hàng và người chuẩn bị sẽ tham gia vào mạng không được phép một cách hiệu quả nhất trong điều kiện phần cứng của riêng họ. Bất kỳ ai cũng có thể tham gia Polygon zkEVM miễn là nó có ý nghĩa kinh tế.
Trong Polygon zkEVM, bộ sắp xếp yêu cầu 16GB RAM và CPU 4 nhân, trong khi trình chứng minh yêu cầu 1TB RAM và CPU 128 nhân. Ngoài ra, có một vai trò được gọi là bộ tổng hợp, chịu trách nhiệm thu thập dữ liệu L1, gửi dữ liệu đó đến người chứng minh, nhận bằng chứng và gửi cho L1. Chúng ta có thể coi người tổng hợp và người chứng minh là cùng một chủ thể, bởi vì mối quan hệ giữa người tổng hợp và người chứng minh rất đơn giản, và người tổng hợp trả tiền cho người chứng minh để đưa ra bằng chứng.
Kiến trúc này rất đơn giản: bất kỳ người đặt hàng nào cũng có thể đóng gói các giao dịch dựa trên trạng thái trước đó trên L1 mà không cần sự cho phép và cập nhật trạng thái tương ứng. Đồng thời, bất kỳ người tổng hợp nào cũng có thể gửi bằng chứng để xác minh trạng thái cập nhật.
Trong POE, hiệu quả không chỉ đề cập đến hiệu quả mạng lưới của những người tham gia cạnh tranh với nhau, mà còn liên quan đến hiệu quả kinh tế của chính trình tự và chứng minh. Trong L2, người đặt hàng và người chứng minh chia sẻ phí giao dịch và người đặt hàng trả Phí theo lô cho người tổng hợp để tạo bằng chứng. Điều này đảm bảo rằng những người tham gia có động cơ kinh tế để đóng góp vào hiệu quả của mạng, dẫn đến một hệ sinh thái mạnh mẽ và bền vững hơn.
máy phân loại
Tổng hợp (Prover)
Điều phối viên: batchFee
Starknet
Starknet cũng nhằm mục đích xây dựng một Rollup xác nhận nhanh chóng và có thể mở rộng. Trong khi thông số kỹ thuật cuối cùng cho giải pháp phi tập trung vẫn chưa đạt được, họ đã xuất bản một số bản nháp trên diễn đàn vài tháng trước.
So với cơ chế đơn giản của Polygon zkEVM, sơ đồ của Starknet phức tạp hơn vì nó bao gồm sự đồng thuận L2 và bằng chứng giao thức được xâu chuỗi trong mạng bằng chứng.
máy phân loại
Thay vì chỉ thêm một lớp đồng thuận trong lớp đặt hàng, Starknet đề xuất một giao thức đồng thuận sổ cái kép. Trong giao thức này, L2 cung cấp phản hồi nhanh dưới dạng giao thức trực tiếp, trong khi các điểm kiểm tra L1 cung cấp xác nhận cuối cùng dưới dạng giao thức an toàn.
Đối với giao thức trực tiếp của L2, có thể áp dụng nhiều cơ chế đồng thuận khác nhau, chẳng hạn như các hệ thống PoS kháng Sybil như Tendermint hoặc DAG. Mặt khác, giao thức an toàn của L1 liên quan đến nhiều hợp đồng xử lý việc quản lý Cổ phần, xác minh bằng chứng và cập nhật trạng thái tương ứng.
Quy trình công việc điển hình của giao thức đồng thuận sổ cái kép như sau:
Đầu tiên, sử dụng đầu ra của sổ cái trực tiếp L2 làm đầu vào của sổ cái an toàn L1 để tạo sổ cái trực tiếp được kiểm tra.
Sau đó, lấy sổ cái trực tiếp đã kiểm tra làm đầu vào và nhập lại vào giao thức đồng thuận thuần túy của L2 để đảm bảo rằng sổ cái trực tiếp đã kiểm tra luôn là tiền tố của sổ cái trực tiếp.
Lặp lại quy trình trên.
Khi xây dựng một giao thức đồng thuận sổ cái kép, sẽ có sự đánh đổi giữa chi phí và độ trễ. Giải pháp lý tưởng nhằm đạt được cả chi phí thấp và phê duyệt cuối cùng nhanh chóng.
Để giảm chi phí xăng trên L2, Starknet chia các điểm kiểm tra thành "mức phút" và "mức giờ". Đối với các điểm kiểm tra "cấp phút", chỉ trạng thái được cam kết với chuỗi, trong khi phần còn lại của dữ liệu (bằng chứng về tính hợp lệ, tính khả dụng của dữ liệu, v.v.) được gửi qua mạng StarkNet L2. Những dữ liệu này được lưu trữ và xác minh bởi các nút đầy đủ của StarkNet. Mặt khác, các điểm kiểm tra "hàng giờ" được xác thực công khai tại L1. Cả hai loại trạm kiểm soát đều cung cấp cùng một xác nhận cuối cùng. Đối với các điểm kiểm tra "cấp độ phút", bằng chứng hợp lệ được xác minh bởi các nút đầy đủ của StarkNet và có thể được cấp bởi bất kỳ nút nào trên L1 để cung cấp tính hữu hạn của L1 cho các điểm kiểm tra "cấp độ phút". Do đó, người chứng minh cần tạo ra các bằng chứng nhỏ để phổ biến rộng rãi trong mạng L2.
Để giảm độ trễ hơn nữa, Starknet đề xuất một giao thức bầu chọn nhà lãnh đạo để xác định trước nhà lãnh đạo. Logic cơ bản như sau: người dẫn đầu của kỷ nguyên i hiện tại được xác định trước dựa trên số lượng L1 đã đặt cược và một số tính ngẫu nhiên. Cụ thể, trong epoch i-2, phương thức leader_election xếp các bộ sắp xếp theo thứ tự từ điển dựa trên số lượng cam kết trong epoch i-3. Sau đó, gửi một giao dịch để cập nhật nonce và chọn một điểm ngẫu nhiên. Trình sắp xếp tương ứng với vị trí mà điểm rơi sẽ là người dẫn đầu của kỷ nguyên i.
Người chứng nhận
Trong mô-đun POE, có một cuộc cạnh tranh mở giữa những người tham gia, điều này có thể dẫn đến tình huống kẻ thắng được cả. Starknet cố gắng đạt được một cơ chế cạnh tranh mà không có rủi ro tập trung. Dưới đây là một vài lựa chọn:
Bên cạnh sự cạnh tranh giữa các nhà chứng minh, rào cản gia nhập nên được hạ thấp để nhiều nhà chứng minh có thể tham gia vào mạng lưới. Starknet đề xuất một giao thức phức tạp sử dụng các bằng chứng đệ quy được gọi là bằng chứng giao thức chuỗi.
Trong các giao thức bằng chứng về chuỗi, bản thân chuỗi khối được chia thành nhiều nhánh khác nhau. Bằng cách này, các bằng chứng không chỉ có thể được đệ quy, mà việc tạo bằng chứng cũng có thể đồng thời. Ví dụ: trong cài đặt 3 nhánh, 12 khối màu đen được chia thành 3 hàng, mỗi hàng đại diện cho một nhánh. Chúng ta có thể coi mỗi nhánh là một chuỗi con trong đó mỗi khối phải chứng thực cho khối trước đó. Từ quan điểm của toàn bộ chuỗi, vị trí n cần chứng minh vị trí n-3. Khoảng thời gian của 3 khối cho phép đủ thời gian để người đặt hàng tính toán và mua bằng chứng trước. Điều này hơi giống với sharding, trong đó kẻ tấn công chỉ cần kiểm soát một nhánh để kiểm soát toàn bộ mạng lưới người chứng thực.
Để kết hợp các nhánh này lại với nhau, Starknet đề xuất một công nghệ kết hợp có thể hợp nhất nhiều nút lại với nhau để cùng xác minh tính hợp pháp của các giao dịch và đảm bảo tính nhất quán và độ tin cậy của hồ sơ giao dịch.
Một giải pháp là yêu cầu mỗi khe cần được hợp nhất với một số nhánh cùng một lúc. Một giải pháp khác là thử luân phiên từng nhánh để hợp nhất với các nhánh khác, do đó giảm khối lượng công việc chứng minh. Tất nhiên, đây cũng là một vấn đề mở và có thể có những giải pháp tốt hơn trong tương lai.
phối hợp
Để chủ động đảm bảo rằng người chứng minh có thể có đủ không gian lợi nhuận, Starknet đề xuất một phương pháp tham khảo sơ đồ EIP1559: đặt phí cơ bản làm giới hạn dưới của giá tài nguyên của người chứng minh, tích cực tiến hành khám phá giá và bộ phân loại có thể sử dụng các mẹo để thúc đẩy người chứng minh. Bằng cách này, người chứng minh sẽ luôn được trả thừa và chỉ những trường hợp cực đoan mới ảnh hưởng đến quá trình chứng minh. Mặt khác, nếu công cụ chứng minh được trả gần với giá thị trường, thì một biến động nhỏ có thể dẫn đến việc khóa công cụ chứng minh.
Phân quyền của người chứng nhận
Từ quan điểm của Rollups, người châm ngôn dễ dàng đạt được sự phân cấp hơn so với người sắp xếp. Ngoài ra, thiết bị chuẩn hiện tại là nút cổ chai về hiệu suất và cần theo kịp tốc độ xử lý theo đợt của máy phân loại. Khi chưa giải quyết được vấn đề phân quyền của máy phân loại, máy phân quyền cũng có thể cung cấp dịch vụ cho máy phân loại tập trung.
Trên thực tế, không chỉ Rollups, zkBridge và zkOracle cũng cần một mạng chứng minh. Tất cả đều yêu cầu một mạng lưới chứng minh phân tán mạnh mẽ.
Về lâu dài, một mạng lưới chứng minh có thể đáp ứng các sức mạnh tính toán khác nhau sẽ bền vững hơn, nếu không, những cỗ máy hoạt động tốt nhất sẽ độc chiếm thị trường.
** Thị trường bằng chứng **
Một số giao thức không điều phối mối quan hệ giữa trình sắp xếp thứ tự và trình chứng minh, nhưng trực tiếp trừu tượng hóa sự phối hợp thành một thị trường bằng chứng. Trong thị trường này, bằng chứng là hàng hóa, người chứng minh là nhà sản xuất bằng chứng và giao thức là người tiêu dùng bằng chứng. Cân bằng thị trường hiệu quả nhất dưới tác động của "bàn tay vô hình".
Của tôi
Mina đã thành lập một thị trường bằng chứng có tên là Snarketplace, nơi các bằng chứng về Snark được giao dịch. Đơn vị nhỏ nhất ở đây là bằng chứng Snark của một giao dịch. Mina sử dụng một bằng chứng đệ quy của cây trạng thái được gọi là Quét trạng thái.
Trạng thái quét là một rừng cây nhị phân trong đó mỗi giao dịch là một nút. Một bằng chứng duy nhất được tạo ở đầu cây có thể chứng minh tất cả các giao dịch trong cây. Người châm ngôn có hai nhiệm vụ: nhiệm vụ đầu tiên là tạo ra các bằng chứng và nhiệm vụ thứ hai là hợp nhất các bằng chứng.
Sau khi người chứng minh hoàn thành công việc và gửi giá thầu, nhà sản xuất khối của giao thức Mina sẽ chọn người đặt giá thầu có giá thấp nhất. Đây cũng là giá cân bằng, vì các nhà thầu sẽ gửi giá thầu cao hơn chi phí bằng chứng và các nhà sản xuất khối sẽ không mua bằng chứng không đáng tiền.
=Không; Sự thành lập
Thị trường bằng chứng của Mina được thiết kế cho giao thức riêng, trong khi =nil; Foundation đề xuất một thị trường bằng chứng chung để phục vụ toàn bộ thị trường.
Dịch vụ thị trường bao gồm ba thành phần: DROP DATABASE, zkLLVM và Proof Market.
Mỗi bằng chứng bao gồm các đầu vào và mạch khác nhau, vì vậy mỗi bằng chứng là duy nhất. Một mạch định nghĩa một loại bằng chứng, tương tự như cách một "cặp giao dịch" được định nghĩa theo thuật ngữ tài chính. Ngoài ra, các hệ thống bằng chứng khác nhau giới thiệu nhiều mạch hơn.
Quy trình làm việc như sau: phía yêu cầu của bằng chứng có thể viết mã bằng ngôn ngữ lập trình cấp cao, sau đó cung cấp mã đó cho =nil;zkLLVM thông qua chuỗi công cụ, tạo ra một mạch duy nhất sẽ trở thành một cặp giao dịch duy nhất trên thị trường.
Đối với phía có nhu cầu chứng minh, họ có thể đánh đổi giữa chi phí và thời gian. Provers cũng sẽ xem xét khả năng tính toán và thu nhập của họ. Do đó, trên thị trường sẽ có các sức mạnh tính toán khác nhau, sức mạnh tính toán cao sẽ tạo ra các bằng chứng nhanh hơn, nhưng chi phí cao hơn, trong khi sức mạnh tính toán thấp sẽ tạo ra các bằng chứng chậm hơn, nhưng rẻ hơn.
CAM KẾT HAI BƯỚC
Gần đây, Opside đã đề xuất một sơ đồ cam kết hai bước để phân cấp mạng lưới chứng minh. Đề án chia việc nộp bằng chứng thành hai giai đoạn để tránh tình trạng người chứng minh nhanh nhất luôn thắng.
Phương pháp này có thể chứa sức mạnh tính toán khác nhau. Tuy nhiên, tài sản thế chấp bắt buộc vẫn giới thiệu một mức độ tập trung.
Phân quyền Sắp xếp
Việc phân cấp người đặt hàng phức tạp hơn so với người xác nhận. Điều này là do máy phân loại có quyền đóng gói và sắp xếp các giao dịch, đồng thời cần xem xét các vấn đề như MEV và phân phối thu nhập.
Cho rằng Ethereum sẽ ưu tiên tính sống động hơn khả năng đáp ứng, các giải pháp L2 sẽ bổ sung cho sự đánh đổi này bằng cách ưu tiên khả năng đáp ứng hơn tính sống động. Tuy nhiên, so với các máy phân loại tập trung, các máy phân loại phi tập trung vốn đã hy sinh về khả năng đáp ứng. Do đó, các tối ưu hóa khác nhau cần được thực hiện để giải quyết vấn đề nan giải này.
Hiện tại, có ba đề xuất máy phân loại phi tập trung khác nhau. Giải pháp đầu tiên được thực hiện bằng cách tối ưu hóa cơ chế đồng thuận. Sơ đồ thứ hai liên quan đến một mạng lưới các bộ giải mã được chia sẻ. Sơ đồ thứ ba dựa trên trình xác thực L1.
đoàn kết
Giao thức đồng thuận chịu trách nhiệm chính trong việc đặt hàng các giao dịch và đảm bảo tính khả dụng của chúng chứ không thực hiện chúng. Tuy nhiên, trực tiếp thêm một lớp đồng thuận khác, như đã đề cập trước đó, không phải là một giải pháp dễ dàng.
Để cải thiện khả năng phản hồi, một cách tiếp cận phổ biến là dựa vào một nhóm trình xác thực nhỏ hơn. Ví dụ: Algorand và Polkadot sử dụng các ủy ban nhỏ hơn được lấy mẫu ngẫu nhiên cho các giao dịch hàng loạt. Tất cả các nút sử dụng đèn hiệu ngẫu nhiên và chức năng ngẫu nhiên có thể kiểm chứng (VRF), với xác suất được đưa vào ủy ban trong một khoảng thời gian nhất định tỷ lệ thuận với số tiền đặt cược của họ.
Để giảm lưu lượng mạng, có thể sử dụng các ủy ban Dữ liệu sẵn có (DA) nhỏ hơn. Hoặc sử dụng VID (Phân tán thông tin có thể kiểm chứng). VID phân phối mã xóa dữ liệu cho tất cả các nút tham gia vào sự đồng thuận, để bất kỳ tập hợp con các nút nào có tỷ lệ cam kết đủ cao đều có thể hợp tác để khôi phục dữ liệu. Sự đánh đổi của phương pháp này là giảm độ phức tạp của quảng bá, nhưng tăng độ phức tạp của việc khôi phục dữ liệu.
Arbitrum đã chọn các thực thể có uy tín để tạo thành bộ trình xác thực, chẳng hạn như ConsenSys, Ethereum Foundation, L2BEAT, Mycelium, Offchain Labs, P2P, Quicknode, Trung tâm nghiên cứu sổ cái phân tán của IFF (DLRC) và Đơn vị 410 để tham gia Ủy ban phân loại. Sự đánh đổi trong cách tiếp cận này là bù đắp cho sự thiếu hụt về số lượng bằng cách cải thiện chất lượng của sự phân cấp.
Mạng trình tự chia sẻ
Bộ sắp xếp đóng một vai trò quan trọng trong các chuỗi khối mô-đun, đặc biệt là trong Rollup. Mỗi Rollup thường xây dựng mạng lưới sắp xếp của riêng mình. Tuy nhiên, cách tiếp cận này không chỉ tạo ra các vấn đề dư thừa mà còn cản trở khả năng kết hợp. Để giải quyết vấn đề này, một số giao thức đề xuất xây dựng mạng phân loại Rollup được chia sẻ. Cách tiếp cận này làm giảm sự phức tạp của việc đạt được tính nguyên tử, khả năng kết hợp và khả năng tương tác, những tính năng mà người dùng và nhà phát triển rất cần trong các chuỗi khối mở, không cần cấp phép. Ngoài ra, nó cũng loại bỏ nhu cầu về một ứng dụng khách nhẹ riêng biệt cho mạng người đặt hàng.
Astria
Astria đang phát triển một blockchain phần mềm trung gian cho hệ sinh thái Rollup của Celestia, bao gồm bộ sưu tập những người đặt hàng phân tán của riêng họ. Nhóm người đặt hàng này chịu trách nhiệm chấp nhận các giao dịch từ nhiều Bản tổng hợp và ghi chúng vào lớp cơ sở mà không thực hiện chúng.
Vai trò của Astria chủ yếu tập trung vào đặt hàng giao dịch và hoạt động độc lập với lớp cơ sở và Rollup. Dữ liệu giao dịch được lưu trữ trên lớp cơ sở (ví dụ: Celestia), trong khi các nút đầy đủ Rollup duy trì trạng thái và thực thi các hoạt động. Điều này đảm bảo rằng Astria được tách rời khỏi Rollup.
Đối với mục đích cuối cùng, Astria cung cấp hai cấp độ Cam kết:
Cà phê espresso
Espresso đã đóng góp đáng kể trong lĩnh vực công nghệ không kiến thức. Sự phát triển mới nhất của họ là một giải pháp toàn diện cho các bộ phân loại phi tập trung có thể được áp dụng cho Bản tổng hợp lạc quan và zkRollups.
Mạng đặt hàng phi tập trung bao gồm:
So với Astria, Espresso cung cấp DA. Do đó, quy trình làm việc sẽ hơi khác một chút, như sau:
Người dùng tạo và gửi giao dịch tới Tổng số.
Giao dịch được lan truyền qua mạng đặt hàng và được giữ lại trong mempool.
Chỉ định một nhà lãnh đạo thông qua cơ chế cam kết HotShot, đề xuất một khối và truyền nó trở lại những người thực hiện và chứng minh của Rollup.
Người lãnh đạo gửi giao dịch đến Ủy ban tính sẵn có của dữ liệu và nhận chứng chỉ DA dưới dạng phản hồi.
Người lãnh đạo cũng gửi một cam kết đối với khối tới hợp đồng Trình sắp xếp Lớp 1, cùng với chứng chỉ mà hợp đồng sử dụng để xác thực khối.
Espresso giới thiệu giao thức Gossip để chứng minh nhằm cung cấp trải nghiệm người dùng linh hoạt hơn. Nó cung cấp ba tùy chọn cho giao dịch cuối cùng:
Ngoài các tối ưu hóa trên, Espresso cũng có kế hoạch để toàn bộ bộ xác thực Ethereum tự tham gia vào việc chạy giao thức đặt hàng Espresso. Sử dụng cùng một bộ trình xác thực sẽ cung cấp bảo mật tương tự và việc chia sẻ giá trị với trình xác thực L1 sẽ an toàn hơn. Ngoài ra, Espresso cũng có thể tận dụng giải pháp đặt lại ETH do EigenLayer cung cấp.
Bán kính
Radius đang xây dựng một lớp đặt hàng được chia sẻ không đáng tin cậy dựa trên bằng chứng không có kiến thức, tập trung vào giải quyết vấn đề MEV trong L2, vì doanh thu của L2 chủ yếu đến từ không gian khối. Sự đánh đổi cần xem xét là sự cân bằng giữa doanh thu MEV và L2. Mục tiêu của Radius là loại bỏ MEV gây hại cho người dùng và đề xuất dịch vụ hai lớp.
Lớp trên cùng nhắm mục tiêu các giao dịch người dùng thông thường và cung cấp bảo vệ bằng mật mã chống lại MEV không mong muốn thông qua việc sử dụng các câu đố khóa thời gian. Cụ thể, nó sử dụng công nghệ Mã hóa trễ có thể kiểm chứng thực tế (PVDE), sẽ tạo ra bằng chứng không có kiến thức cho các câu đố khóa thời gian dựa trên RSA trong 5 giây. Phương pháp này cung cấp một giải pháp thiết thực để bảo vệ người dùng khỏi MEV có hại. Nói tóm lại, nội dung giao dịch không thể được biết cho đến khi trình sắp xếp thứ tự xác định thứ tự của các giao dịch.
Lớp bên dưới được thiết kế cho những người xây dựng khối và cho phép họ tham gia vào các hoạt động tạo doanh thu đồng thời giảm thiểu tác động tiêu cực của MEV.
Bản tổng hợp dựa trên
Tổng số dựa trên là một khái niệm được đề xuất gần đây bởi Justin Drake, trong đó những người đề xuất khối L1 hợp tác với những người tìm kiếm và xây dựng L1 để đưa các khối tổng số vào khối L1 tiếp theo mà không được phép. Nó có thể được xem như một mạng lưới các trình sắp xếp thứ tự được chia sẻ trên L1. Những ưu điểm và nhược điểm của Rollup dựa trên là rõ ràng.
Về mặt tích cực, Tổng hợp dựa trên tận dụng tính sống động và phân cấp do L1 cung cấp, đồng thời việc triển khai nó rất đơn giản và hiệu quả. Tổng số dựa trên cũng phù hợp về mặt kinh tế với L1. Tuy nhiên, điều này không có nghĩa là Rollup dựa trên thỏa hiệp chủ quyền của nó. Mặc dù MEV được chuyển giao cho L1, nhưng bản tổng hợp dựa trên vẫn có thể sở hữu mã thông báo quản trị và tính phí cơ bản. Dựa trên giả thuyết, Tổng số dựa trên có thể tận dụng những lợi thế này, đạt được sự thống trị và cuối cùng là tối đa hóa lợi nhuận.
Tóm lại là
Nhìn vào những đề xuất được đề xuất, có thể thấy rằng việc phân quyền của Rollup vẫn còn một chặng đường dài phía trước. Một số đề xuất này vẫn đang trong giai đoạn dự thảo và cần thảo luận thêm, trong khi những đề xuất khác mới chỉ hoàn thành các thông số kỹ thuật sơ bộ. Tất cả các kịch bản này cần được thực hiện và kiểm tra nghiêm ngặt.
Mặc dù một số Rollup có thể không đề xuất rõ ràng một giải pháp phi tập trung tương ứng, nhưng chúng thường bao gồm các cơ chế thoát để giải quyết các điểm lỗi đơn lẻ do người đặt hàng tập trung. Ví dụ: zkSync cung cấp phương thức FullExit cho phép người dùng rút tiền trực tiếp từ L1. Khi hệ thống chuyển sang chế độ rút tiền và không thể xử lý các khối mới, người dùng có thể bắt đầu thao tác rút tiền.
Để đạt được khả năng chống kiểm duyệt, các Bản tổng hợp này cũng thường cho phép người dùng gửi giao dịch trực tiếp trên L1. Ví dụ: zkSync sử dụng hàng đợi ưu tiên cho các giao dịch được gửi trên L1. Tương tự, Polygon zkEVM bao gồm một phương pháp lô bắt buộc trong hợp đồng L1. Khi không có sự tổng hợp nào xảy ra trong vòng một tuần, người dùng có thể gọi phương thức này trên L1 và cung cấp mảng byte của giao dịch và bathFee cho người chuẩn bị.
Điều chắc chắn là trong tương lai gần, phân quyền của Rollup sẽ là một giải pháp kết hợp, có thể bao gồm các giải pháp quan trọng nêu trên hoặc một số biến thể sáng tạo khác.