Tổng hợp gốc: Luffy, Tin tức tầm nhìn xa

Tổng hợp gốc: Luffy, Tin tức tầm nhìn xa

Rất nhiều cuộc thảo luận trên Twitter về tiền điện tử gần đây xoay quanh việc phân cấp L2. Rollup mà chúng tôi đang xây dựng có đủ phi tập trung không? Có phải họ đang trên con đường phân cấp? Nó có quan trọng không?

Tôi sẽ khám phá những chủ đề này trong bài viết này. Trước khi tìm hiểu sâu hơn, nếu bạn chưa biết Rollups thực sự hoạt động như thế nào, tôi khuyên bạn nên đọc nhanh bài viết này: Rollups for Dummies.

Ý tưởng của Rollup thực sự khá đơn giản: nó muốn những người tham gia ngoài chuỗi thực hiện các giao dịch mà sau đó có thể dễ dàng xác minh trên chuỗi. Với Rollup, sự tin cậy của lớp cơ sở được mở rộng sang các hoạt động bên ngoài chuỗi khối của nó. Đổi lại, Rollup trả một khoản phí nhỏ (tiền thuê) để sử dụng quỹ tín thác này.

Vậy chúng ta có cần Rollup phi tập trung không?

Câu trả lời trực quan là: chắc chắn cần phải làm vậy! Đây là tinh thần của blockchain.

Tuy nhiên, tôi cũng tin rằng câu trả lời cho câu hỏi này không đơn giản là có hay không. Đúng hơn, nó bao gồm nhiều khía cạnh, phải được phân tích riêng lẻ. Trong phần tiếp theo, tôi sẽ khám phá vấn đề này từ ba góc độ: triết học, công nghệ và kinh tế.

Quan điểm triết học

Hãy bắt đầu bằng cách đưa cuộc trò chuyện lên một tầm cao mới: tại sao chúng ta quan tâm đến phân cấp?

Bởi vì chúng tôi muốn có một tương lai không cần xin phép nhằm thúc đẩy sự đổi mới mở. Chúng tôi muốn người dùng có thể xây dựng những thứ mới mà không có bất kỳ hạn chế nào và không cần phải tin tưởng vào bất kỳ thực thể nào.

Trong lịch sử ngắn ngủi của blockchain, chúng ta đã có rất nhiều nhà phát triển ẩn danh tạo ra những thứ tuyệt vời. Trên thực tế, bản thân Bitcoin được tạo ra bởi một thực thể ẩn danh và nó có thể sớm trở thành loại tiền thanh toán toàn cầu được hầu hết thế giới sử dụng. Đó là sức mạnh của sự đổi mới không cần xin phép!

Blockchain cho phép chúng tôi làm việc với những người không có điểm chung và chúng tôi biết rằng không có cách nào để họ phá vỡ niềm tin đó.

——Preston Evans

Nền tảng phi tập trung của các mạng không cần sự tin cậy như Bitcoin và Ethereum cho phép chúng ta xây dựng một tương lai như vậy. Rõ ràng, bất kỳ chuỗi nào có mối quan hệ tin cậy với các chuỗi khối này, chẳng hạn như Rollup, cũng phải được phân cấp!

Trên thực tế, nó đặt ra một câu hỏi thú vị và quan trọng:

Nếu Rollup không được phân cấp, điều đó có nghĩa là Ethereum không được phân cấp?

Một cách nhìn hơi lạc quan về vấn đề này là trong một thế giới không được phép, Rollups phải được phép xây dựng bất cứ thứ gì họ muốn, bao gồm (nhưng không giới hạn) các chuỗi được cấp phép và người dùng Rollup đó vẫn có thể tận dụng bảo mật lớp cơ bản . Miễn là lớp cơ sở được phân cấp và Rollup được triển khai đầy đủ (chúng ta sẽ nói thêm về triển khai đầy đủ trong phần kỹ thuật), ngay cả các chuỗi được cấp phép cũng phải an toàn khi sử dụng.

Nhưng thực tế là hầu hết các Bản tổng hợp ngày nay đều chưa đạt đến giai đoạn triển khai đầy đủ và chúng không cung cấp cho người dùng mức độ bảo mật cũng như độ tin cậy mà họ cần.

Vì vậy, việc triển khai Rollup đúng cách là gì? hãy xem nào:

Quan điểm kỹ thuật

Để thực sự hiểu được mối quan tâm về bảo mật và phân cấp của Rollup, chúng ta cần xem xét nó từ những nguyên tắc đầu tiên. Rất ít người có thể giải thích các nguyên tắc đầu tiên của blockchain tốt hơn Sreeram Kannan.

Blockchain là một sổ cái phân tán và các nút khác nhau trong mạng tuân theo các quy tắc giao thức được xác định trước để đạt được sự đồng thuận về trạng thái của sổ cái. Tùy thuộc vào cách các nút này nhìn thấy mạng, chúng có thể có các quy tắc khác nhau để xác nhận trạng thái chính xác của mạng sổ cái của riêng chúng.

Đặc biệt trong Rollup, các nút đầy đủ và ứng dụng khách nhẹ có các quy tắc xác nhận khác nhau. Trong Hợp đồng thông minh truyền thống Rollup (SCR), hợp đồng thông minh (cầu xác minh) có các quy tắc xác nhận riêng. Nếu không có sự kiện bất lợi nào, các quy tắc xác nhận này cuối cùng sẽ trùng khớp ở cái gọi là vùng nhất quán. Đúng như tên gọi, trong một vùng đồng thuận, tất cả những người tham gia đều có cùng quan điểm về mạng (và cùng một lịch sử trong sổ cái).

Nếu tất cả các quy tắc xác nhận đều an toàn thì sẽ không có chuyện xấu nào xảy ra. Như Sreeram đã chia sẻ trong bài viết trên, 5 thuộc tính chủ yếu xác định tính bảo mật của các quy tắc xác nhận này.

• Tăng trưởng sổ cái - Chuỗi tổng hợp sẽ tiếp tục phát triển (sự sống động)

• Khả năng chống kiểm duyệt - tất cả người dùng sẽ có thể đưa bất kỳ giao dịch nào vào lớp cơ sở

• Chống tái cơ cấu - giao dịch không thể đảo ngược sau khi hoàn thành

• Tính sẵn có của dữ liệu - dữ liệu giao dịch phải được xuất bản ở đâu đó

• Hiệu lực - giao dịch và chuyển đổi trạng thái phải hợp lệ

2 thuộc tính đầu tiên xác định tình trạng sống của hệ thống, trong khi 3 thuộc tính cuối cùng xác định tình trạng an toàn.

Hãy xem xét những vấn đề này từ quan điểm của những người tham gia Rollup khác nhau và xem những vấn đề nào có thể được giảm thiểu mà không cần phân cấp.

Các tác nhân khác nhau dựa vào các cơ chế khác nhau để đảm bảo an toàn và sống động

Nút đầy đủ:

Nếu chạy một nút đầy đủ, bạn có quyền truy cập vào dữ liệu đã xuất bản và có thể xác minh dữ liệu đó trực tiếp. Sau đó, bạn có thể sử dụng dữ liệu đó để tự thực hiện các giao dịch và xác định tính hợp lệ của các giao dịch cũng như trạng thái cuối cùng của Tổng hợp sau các giao dịch đó.

Do đó, các điều kiện an toàn còn lại là khả năng kháng hoạt tính và tái tổ hợp. Để chống lại việc tổ chức lại, các nút đầy đủ dựa vào trình xác nhận của chuỗi cơ sở và giao thức đồng thuận mà nó sử dụng, trong khi để tồn tại, các nút đầy đủ dựa vào việc triển khai Sequencer và Rollup.

Khách hàng nhẹ:

Hầu hết người dùng tương tác với blockchain bằng cách sử dụng ứng dụng khách nhẹ để tìm nạp dữ liệu blockchain. Có một số loại nút ánh sáng:

• Trình xác nhận trạng thái - xác minh tính hợp lệ của chuyển đổi trạng thái

• Trình xác thực tính khả dụng của dữ liệu - Xác thực tính khả dụng của dữ liệu

• Trình xác thực đồng thuận - Bằng chứng về sự đồng thuận xác thực lớp cơ sở

• Trình xác thực đầy đủ - Xác thực tất cả những điều trên

Nếu bạn chạy ứng dụng khách ánh sáng xác thực đầy đủ, bạn có thể xác minh xem dữ liệu có sẵn thông qua việc lấy mẫu tính khả dụng của dữ liệu hay không, xác minh tính hợp lệ của việc chuyển đổi trạng thái thông qua bằng chứng hợp lệ hoặc bằng chứng gian lận và xác minh xem trạng thái có tuân theo sự đồng thuận của lớp cơ sở hay không (trong Ethereum ở trên). , có thể được thực hiện bằng cách làm theo ủy ban đồng bộ hóa).

Sau đó, điều kiện an toàn còn lại là tính sống động và ứng dụng khách nhẹ phụ thuộc vào việc triển khai trình tự sắp xếp và tổng hợp.

Hợp đồng thông minh tích hợp (cầu xác minh):

Trong SCR truyền thống, “quy tắc xác nhận” của hợp đồng thông minh là thực thi tất cả 5 thuộc tính bảo mật:

• Tăng trưởng sổ cái thông qua Giao thức thay thế trình tự tuần tự

• Chống lại sự kiểm duyệt bằng cách thực thi sự hòa nhập

• Dựa trên trạng thái trước đó để chống tái hợp

• Tính khả dụng của dữ liệu đạt được bằng cách gửi DA ở lớp cơ sở

• Xác minh tính hợp lệ thông qua bằng chứng hợp lệ/gian lận

Các nút đầy đủ của SCR dựa vào hợp đồng thông minh để thực thi các thuộc tính sống động. Họ nhận được sự đề kháng tái tổ chức từ lớp cơ sở.

Các nút nhẹ dựa vào hợp đồng thông minh để nâng cao các đặc tính sống động và hấp thụ DA cũng như khả năng chống tái tổ chức từ lớp cơ sở. Họ có thể tự xác minh bằng chứng về tính hợp lệ hoặc thông qua hợp đồng thông minh.

Sự đồng thuận của SCR là tuân theo chuỗi kinh điển được xác định bởi hợp đồng thông minh.

Còn bản tổng hợp có chủ quyền thì sao?

Bản tổng hợp có chủ quyền không có hợp đồng thông minh (cầu nối xác thực) để thực thi các điều kiện hợp lệ hoặc tồn tại. Thay vào đó, chúng sẽ chứng minh là cuộn xuống các nút Rollup xuôi dòng. Các nút này vẫn dựa vào tính sẵn có của dữ liệu và khả năng chống tổ chức lại từ lớp cơ sở.

Giống như trong SCR, trong các nút Sovereign Rollup cần một số cơ chế để thực thi thuộc tính sống động. Để xác định chuỗi chuẩn, họ đã chọn các cơ chế độc lập như phát sóng bằng chứng p2p.

Tất cả những điều này có liên quan gì đến sự phân cấp?

Cho dù đó là Bản tổng hợp hợp đồng thông minh hay Bản tổng hợp có chủ quyền, thuộc tính sống động đều đến từ việc triển khai Bản tổng hợp chính xác. Như chúng ta đã thấy ở trên, việc triển khai Rollup đúng cách phải bao gồm hai thành phần quan trọng:

• Cơ chế đưa vào bắt buộc;

• Giao thức thay thế bộ sắp xếp.

Cơ chế đưa vào bắt buộc giúp tăng khả năng chống kiểm duyệt. Cơ chế này cho phép người dùng buộc đưa các giao dịch của họ trực tiếp vào lớp cơ sở. Sau đó, bất kỳ người dùng nào trên Rollup đều có thể buộc rút tiền của họ trở lại lớp cơ sở. Do đó, ngay cả khi chỉ có một nút đối chiếu tập trung, nó không thể kiểm duyệt người dùng miễn là có cơ chế bao gồm bắt buộc hoàn thiện.

Nhưng thế đã đủ chưa?

Ngay cả khi người dùng được tự do thoát ra, điều này có thể có nghĩa là L2 không có nhiều động lực để tiếp tục hoạt động nếu hầu hết người dùng quay lại L1. Ngoài ra, cơ chế đưa vào bắt buộc thường có thời gian chờ đợi lâu và có thể khá tốn kém để triển khai đối với người dùng bình thường. Khả năng chống kiểm duyệt do cơ chế này mang lại không hoàn toàn thực tế (hoặc theo thời gian thực), chúng ta có thể gọi đó là “kiểm duyệt yếu”.

Sau đó, chúng ta có thuộc tính hoạt động cuối cùng - tăng trưởng sổ cái.

Nếu người đặt hàng tập trung làm điều gì đó xấu xa, nó có thể ngăn chặn sự phát triển của chuỗi Rollup bằng cách dừng sản xuất khối. Nếu điều này xảy ra, người dùng không thể làm gì để khiến Bản tổng hợp hoạt động trở lại.

Để giải quyết vấn đề này, chúng ta cần một giao thức thay thế bộ sắp xếp.

Ý tưởng của Giao thức thay thế trình sắp xếp trình tự là nếu Trình sắp xếp trình tự hoạt động theo cách độc hại thì Rollup có thể khởi động Trình sắp xếp trình tự mới thông qua quản trị. Một trong những cách để đạt được điều này là thay thế các nút đặt hàng tập trung bằng các giao thức đặt hàng phi tập trung. Nếu người đặt hàng được phân cấp và không độc quyền xây dựng khối Rollup thì việc chặn chuỗi Rollup sẽ gần như không thể.

Do đó, mặc dù tiền của người dùng luôn được an toàn trong Rollups thông qua cơ chế bao gồm bắt buộc, việc xây dựng giao thức thay thế người đặt hàng mạnh mẽ giúp giữ cho Rollups tồn tại và cung cấp khả năng chống kiểm duyệt theo thời gian thực, thiết thực.

đây là tất cả?

không hoàn toàn. Từ quan điểm kỹ thuật, có một khía cạnh nữa cần xem xét:

Điều gì sẽ xảy ra nếu bản thân các hợp đồng thông minh có thể được ủy ban trung ương của Rollup nâng cấp? Giả sử Rollup hiện được triển khai chính xác, nhưng ngày mai ủy ban đồng ý rằng chúng ta không cần hợp đồng thông minh nữa mà thay vào đó sẽ phát các bằng chứng về trạng thái Rollup lên mạng p2p.

Nếu, với tư cách là người dùng Rollup, bạn không đồng ý với bản nâng cấp như vậy thì bạn có thể thoát khỏi Rollup trước khi triển khai nâng cấp (mặc dù đây không phải là trải nghiệm người dùng tốt và có thể không tốt cho doanh nghiệp). Điều này có thể đạt được thông qua cập nhật quản trị bị trì hoãn, chẳng hạn như thời gian thông báo, sau đó việc nâng cấp sẽ được thực hiện. Người dùng không đồng ý cập nhật có thể rút lui trong thời gian thông báo.

Điểm cực đoan của phân quyền là có các hợp đồng thông minh hoàn toàn bất biến. Các hợp đồng này không bị chi phối bởi bất kỳ ví đa chữ ký hoặc ủy ban nào khác và một khi đã triển khai, chúng không bao giờ có thể được nâng cấp.

Tất nhiên, điều này có vấn đề riêng của nó. Nếu có bất kỳ lỗi nào trong mã hoặc một số sự kiện lớn yêu cầu cập nhật hợp đồng thông minh, thì lựa chọn duy nhất cho Rollup là chuyển sang hợp đồng thông minh mới, trong khi tiền của người dùng bị kẹt trong hợp đồng cũ.

Thật không may, trạng thái hiện tại của Rollup còn lâu mới được triển khai đầy đủ mà chúng tôi đã thảo luận ở trên. Hầu hết các Bản tổng hợp vẫn đang trong giai đoạn khám phá, cố gắng triển khai chúng một cách chính xác.

Theo L2 BEAT, Fuel v1 và DeGate là hai Rollup duy nhất đã trưởng thành để đạt được tất cả các điều kiện hoạt động và an toàn.

quan điểm kinh tế

Cuối cùng, chúng ta hãy xem xét tính kinh tế của Rollup từ góc độ của người dùng và nhà khai thác Rollup:

• Trải nghiệm người dùng: người dùng sẽ nhận được mức giá rẻ và không phải chờ đợi giao dịch quá lâu;

• Lợi nhuận tổng hợp: Người sắp xếp chuỗi và chủ sở hữu mã thông báo phải có lãi.

Trải nghiệm người dùng được tối ưu hóa khi người dùng nhận được dịch vụ giao dịch nhanh chóng và giá rẻ.

Tốc độ hoàn tất giao dịch phụ thuộc vào tốc độ hoàn tất lớp cơ sở. Giao dịch có thể được coi là cuối cùng bất cứ khi nào dữ liệu trên L1 được hoàn tất. Tuy nhiên, người dùng chạy các nút đầy đủ cũng có thể đạt được mục đích cuối cùng ngay lập tức bằng cách thực hiện các giao dịch và xác định trạng thái cuối cùng.

Nhưng việc mọi người chạy một nút đầy đủ là không thực tế. Do đó, bộ phân loại tập trung rất hữu ích vì nó có thể cung cấp cho người dùng “xác nhận mềm” rằng giao dịch của họ được đưa vào một khối và sẽ được hoàn tất. Điều này là đủ cho hầu hết các trường hợp sử dụng. Tuy nhiên, nó dựa vào các tổ chức tập trung có thể thực hiện các hành động bất lợi.

Mặc dù một số giải pháp giao thức thay thế người đặt hàng bỏ qua thuộc tính này (vì bất lợi cho người dùng), các giải pháp khác, chẳng hạn như sơ đồ đồng thuận PoS bên ngoài Espresso, có thể cung cấp các đảm bảo xác nhận trước tương tự mà không gặp rủi ro về người đặt hàng tập trung.

Còn chi phí của người dùng thì sao?

Chi phí rõ ràng của giao dịch Tổng hợp thường là:

Chi phí Gas L2 = Chi phí Gas L1 + Phí tuần tự. Những người phân loại tập trung hợp lý luôn muốn tối đa hóa lợi nhuận của mình, ngay cả khi điều đó đồng nghĩa với việc chuyển chi phí cao hơn sang cho người dùng. Tuy nhiên, điều đáng chú ý là điều này cũng không nhất thiết có thể được giải quyết bằng cơ chế phân loại phi tập trung. Ngay cả các nút PoS theo thứ tự phi tập trung cũng muốn tối đa hóa lợi nhuận của chính họ.

Trên thực tế, điều này tạo ra vấn đề không khớp, trong đó Rollup có thể không muốn chuyển lợi nhuận cho những người sắp xếp chuỗi bên ngoài.

Lợi nhuận tổng hợp: Ngoài phí sắp xếp thứ tự, Rollup cũng có thể kiếm lợi nhuận bằng cách trích xuất MEV từ các giao dịch của người dùng. MEV này thường khó phân bổ vì khó tìm ra liệu người đặt hàng có bao gồm một số giao dịch chạy trước của chính họ trong gói giao dịch hay không.

Nếu Rollup được thay thế bằng cơ chế đồng thuận PoS bên ngoài, họ sẽ bàn giao MEV này cho nhà điều hành bên ngoài.

Điều đáng chú ý là cả hai vấn đề về việc Rollup bàn giao doanh thu cho các cơ chế bên ngoài đều có thể được giải quyết thông qua các “thỏa thuận giao dịch” giữa Rollup và các cơ chế bên ngoài.

Tuy nhiên, như đã giải thích trong bài nói chuyện của Jon Charbonneau trong Hội nghị thượng đỉnh mô-đun và bài đăng tiếp theo, một ý tưởng tốt hơn có thể là ủy quyền quản trị Rollup ra lệnh cho một tập hợp các nút đã được xác thực. Các nút này có thể được lựa chọn một cách chiến lược để phân tán về mặt địa lý và việc quản trị có thể đơn giản loại bỏ những tác nhân xấu.

Đây có thể là giải pháp một mũi tên trúng hai con chim, vì nó cho phép Rollup giữ lợi nhuận nội bộ, đồng thời giảm thiểu nhược điểm của máy phân loại tập trung.

Nhưng ngược lại, trong trường hợp xoay vòng trình tự sắp xếp có giới hạn, trình sắp xếp chuỗi có thể có hành vi thiển cận, điều này có thể dẫn đến việc định giá/cắt giá độc quyền, gây tổn hại thêm đến lợi ích của những người dùng Rollup đã hy sinh.

Tóm lại là

Tóm lại là

Bất kể con đường Rollup đi là gì, điều quan trọng là nó phải hướng tới việc triển khai hoàn chỉnh với giao thức thay thế trình sắp xếp tuần tự hoàn thiện, cơ chế bao gồm bắt buộc và cơ chế cập nhật quản trị độ trễ. Nếu có cơ chế bắt buộc đưa vào và cập nhật độ trễ, tiền của người dùng sẽ được an toàn cho dù hệ thống phân loại có tập trung hay không.

Tuy nhiên, một giao thức thay thế trình sắp xếp chuỗi mạnh mẽ có thể cải thiện việc đảm bảo tính khả thi và có khả năng cải thiện tính kinh tế cho người dùng Rollup.