Tác giả: Shivanshu Madan; Trình biên dịch: Huohuo/Vernacular Blockchain
Rất nhiều cuộc thảo luận trên Twitter 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? Hay ít nhất họ đang trên con đường phi tập trung hóa? Nó có quan trọng không?
Ý tưởng của Rollup rất đơn giản: chúng tôi muốn những người tham gia ngoài chuỗi có thể 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, lớp cơ sở cho phép cơ sở "tin cậy" của nó được sử dụng cho các hoạt động diễn ra bên ngoài phạm vi trực tiếp của nó. Đổi lại, Rollup trả một khoản phí nhỏ (tiền thuê) để tận dụng sự tin tưởng 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à có! Đây là tinh thần mà chúng tôi xây dựng chuỗi khối.
Tuy nhiên, tôi 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. Thay vào đó, nó có nhiều khía cạnh phải được phân tích riêng lẻ. Trong các chương tiếp theo, tôi sẽ chia nhỏ câu hỏi này từ ba khía cạnh: triết học, công nghệ và kinh tế. ****Ba điều này không nhất thiết phải toàn diện hoặc độc quyền, nhưng chúng sẽ đưa ra một góc nhìn tổng thể tốt về vấn đề. **
1. 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 cấp độ - tại sao chúng ta lại quan tâm đến việc phân cấp?
Bởi vì chúng tôi muốn một tương lai không cần cấp phép để thúc đẩy đổ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 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 - nó có thể sớm trở thành loại tiền tệ mà hầu hết mọi người trên thế giới sử dụng để thanh toán toàn cầu! Đó là sức mạnh của sự đổi mới không cần xin phép!
Chuỗi khối cho phép chúng tôi cộng tác với những người không có điểm chung nào và chúng tôi biết họ không có cách nào để phá vỡ lòng tin đó - Preston Evans
Nền tảng phi tập trung của các mạng không đáng tin cậy như Bitcoin và Ethereum cho phép chúng tôi xây dựng một tương lai như vậy. Sau đó, rõ ràng là bất kỳ chuỗi nào có mối quan hệ tin cậy với các chuỗi này, chẳng hạn như Rollups, cũng nên đượ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ần cấp phép, các bản tổng hợp nên được phép xây dựng bất kỳ 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 đầy đủ - và người dùng của bản tổng hợp đó vẫn có thể Tận dụng bảo mật tại lớp nền. Ngay cả các chuỗi được phép cũng phải an toàn để sử dụng miễn là lớp cơ sở được phân cấp và quá trình tổng hợp được triển khai "đầy đủ" (chúng ta sẽ nói thêm về "triển khai đầy đủ" trong phần kỹ thuật).
Nhưng thực tế là hầu hết các bản tổng hợp ngày nay vẫn 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 và độ tin cậy mong muốn.
Vì vậy, việc triển khai chính xác rollup trông như thế nào? hãy xem nào:
2. Công nghệ
Để thực sự hiểu vấn đề phân quyền và bảo mật ở cấp độ Tổng hợp, chúng ta cần xem xét nó từ các nguyên tắc đầu tiên. Không nhiều 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.
Chuỗi khối là một sổ cái phân tán trong đó các nút khác nhau trong mạng tuân theo một giao thức đã xác định để đạ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 trong sổ cái của riêng chúng.
Ví dụ: trong giao thức Gasper của Ethereum, có hai quy tắc xác nhận khác nhau - quy tắc có sẵn (dựa trên chuỗi nặng nhất) và quy tắc cuối cùng (dựa trên các khối được xác nhận bởi tiện ích).
Đặc biệt là trong các bản tổng hợp, các nút đầy đủ có các quy tắc xác nhận khác với các máy khách nhẹ. Trong hợp đồng thông minh truyền thống (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, các quy tắc xác nhận này cuối cùng sẽ trùng khớp trong cái gọi là "vùng nhất quán". Đúng như tên gọi, trong các 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ó cùng lịch sử trong sổ cái của họ).
Nếu tất cả các quy tắc xác nhận đều an toàn thì sẽ không có điều gì xấu xảy ra. Như Sreeram đã chia sẻ ở 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 Rollup sẽ tiếp tục phát triển (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ỳ và tất cả các giao dịch vào lớp cơ sở
Kháng cự tái cấu trúc - giao dịch không nên được khôi phục sau khi hoàn thành
Tính khả dụng của dữ liệu - Dữ liệu giao dịch phải được xuất bản ở đâu đó
Tính hợp lệ - giao dịch và chuyển đổi trạng thái phải hợp lệ
2 thuộc tính đầu tiên cùng nhau xác định điều kiện "sống" của hệ thống, trong khi 3 thuộc tính cuối cùng xác định điều kiện "an toàn".
Hãy xem xét từng vấn đề từ góc độ của các tác nhân tổng hợp khác nhau và xem yếu tố 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 bạn 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 trực tiếp dữ liệu đó. 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 số sau các giao dịch đó.
Do đó, các điều kiện an toàn còn lại là tính chất hoạt động và khả năng chống tái hợp. Đối với cái sau, các nút đầy đủ dựa vào trình xác thực của chuỗi cơ bản và giao thức đồng thuận mà chúng sử dụng, trong khi đối với các thuộc tính hoạt động, các nút đầy đủ dựa vào triển khai trình tự sắp xếp và Tổng số.
Ứng dụng khách nhẹ:
Hầu hết người dùng sử dụng ví được nhúng trong các nút nhẹ hoặc sử dụng dịch vụ của bên thứ ba để lấy dữ liệu chuỗi khối và tương tác với chuỗi khối. Các nút ánh sáng có thể có nhiều loại khác nhau:
Trình xác thực trạng thái - Xác minh tính hợp lệ của các chuyển đổi trạng thái,
DA Validator - Xác thực tính khả dụng của dữ liệu,
**trình xác thực đồng thuận - xác thực bằng chứng đồng thuận của lớp cơ sở hoặc **
người xác minh đầy đủ - xác minh tất cả những điều trên
Nếu chạy ứng dụng khách nhẹ có trình xác thực đầy đủ, bạn có thể xác minh rằng dữ liệu có sẵn thông qua lấy mẫu tính khả dụng của dữ liệu, bạn có thể xác minh tính hợp lệ của cá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, bạn cũng có thể xác minh rằng trạng thái đã được hoàn thiện trên cơ sở Sự đồng thuận của lớp (trên Ethereum, điều này có thể được thực hiện bằng cách tuân theo ủy ban đồng bộ hóa).
Khi đó, điều kiện an toàn còn lại là thuộc tính liveness và các ứng dụng khách nhẹ dựa vào các triển khai trình tự sắp xếp và tổng số.
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 sắp xếp thứ tự
Chống kiểm duyệt bằng cách thực thi đưa vào
Chỉ xây dựng khả năng chống lại việc tổ chức lại trên trạng thái trước đó
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 về tính hợp lệ/gian lận
Các nút đầy đủ của SCR dựa vào các hợp đồng thông minh để thực thi các thuộc tính sinh động. Họ "hấp thụ" sức đề kháng tái cấu trúc từ lớp cơ sở.
Các nút nhẹ dựa vào các hợp đồng thông minh để tăng cường các đặc tính sống động và hấp thụ DA và khả năng chống tổ chức lại 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 chính tắc được xác định bởi hợp đồng thông minh.
**Còn Sovereign Rollup 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 minh) để thực thi các điều kiện về tính hợp lệ hoặc khả năng hoạt động. Thay vào đó, chúng sẽ chứng minh là "cuộn xuống" tới nút tổng số xuôi dòng. Các nút này vẫn hấp thụ kháng DA và Reorg từ lớp cơ sở.
Giống như trong SCR, trong các nút tổng số có chủ quyền cần một số cơ chế để thực thi thuộc tính liveness. Để xác định chuỗi chính tắc, họ đã chọn các cơ chế độc lập như phát bằng chứng p2p.
Tất cả những điều này có liên quan gì đến việc phân quyền?
Cho dù đó là một bản tổng hợp hợp đồng thông minh hay một 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 chính xác bản tổng hợp. Như chúng ta đã thấy ở trên, việc triển khai tổng hợp chính xác phải bao gồm hai thành phần quan trọng:
cơ chế đưa vào bắt buộc, và
Giao thức thay thế trình tự sắp xếp
Việc đưa vào bắt buộc giúp xây dựng khả năng chống kiểm duyệt. Cơ chế này cho phép người dùng "buộc bao gồm" các giao dịch của họ trực tiếp trong lớp cơ sở. Khi đó, bất kỳ người dùng nào trong danh sách tổng hợp đều có thể buộc thoát trở lại lớp cơ sở bằng tiền của họ. Do đó, ngay cả khi chỉ có một nút đối chiếu tập trung để tổng hợp, nó cũng không thể kiểm duyệt người dùng miễn là có một cơ chế thực thi hoàn chỉnh.
Nhưng như vậy đã đủ chưa?
Ngay cả khi người dùng có thể đăng xuất, điều này có thể có nghĩa là nếu hầu hết người dùng chạy trở lại L1, doanh nghiệp không có nhiều động lực để tiếp tục chạy. 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 được cung cấp bởi cơ chế này là không thực tế (hoặc thời gian thực). Chúng ta có thể gọi tình trạng này là "kiểm duyệt yếu".
Sau đó, chúng tôi có thuộc tính sống động cuối cùng - tăng trưởng sổ cái
Nếu bộ đối chiếu tập trung trở nên độc hại, nó có thể ngăn chặn sự phát triển của chuỗi tóm tắt bằng cách đơn giản là ngừng sản xuất khối. Nếu điều này xảy ra, người dùng hoặc doanh nghiệp không thể làm gì để làm cho tổng số "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ế trình tự.
Ý tưởng của giao thức thay thế trình sắp xếp thứ tự là nếu trình sắp xếp thứ tự hoạt động theo cách độc hại, quản trị tổng hợp có thể khởi động trình sắp xếp thứ tự. Một trong những cách để đạt được điều này là thay thế các nút trình sắp xếp tập trung bằng một giao thức trình tự sắp xếp phi tập trung. Nếu bộ sắp xếp được phân cấp và không độc quyền các khối xây dựng của quá trình tổng hợp, thì gần như không thể dừng quá trình tổng hợp.
Do đó, mặc dù tiền của người dùng luôn an toàn trong Rollup thông qua cơ chế đưa vào bắt buộc, nhưng việc xây dựng một giao thức thay thế người đặt hàng mạnh mẽ sẽ giúp giữ cho Rollups tồn tại và cung cấp khả năng chống kiểm duyệt thực tế, theo thời gian thực.
đây là tất cả?
Không hẳn. Từ quan điểm kỹ thuật, có một khía cạnh khác 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 nâng cấp bởi một ủy ban trung ương tổng hợp? Giả sử các bản cập nhật hiện đang được triển khai chính xác, nhưng ngày mai, ủy ban đồng ý rằng chúng tôi không còn cần hợp đồng thông minh nữa mà thay vào đó, phát bằng chứng về trạng thái bản cập nhật lên mạng p2p.
Nếu, với tư cách là người dùng tổng số, 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 tổng số trước khi triển khai nâng cấp (mặc dù một lần nữa, đâ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ác bản cập nhật quản trị bị trễ". Nó giống như một "khoảng thời gian thông báo" mà sau đó việc nâng cấp sẽ được thực hiện. Người dùng không đồng ý với các bản cập nhật có thể rút lại trong thời gian thông báo.
Đỉnh cao của sự phi tập trung hóa là tùy chọn 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à sau khi được 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ì tùy chọn duy nhất cho nút tổng hợp là chuyển sang hợp đồng thông minh mới - khiến tiền của người dùng bị mắc kẹt trong hợp đồng cũ.
tình trạng hiện tại
Thật không may, trạng thái hiện tại của Rollup không ở gần 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 "bánh xe huấn luyện", hãy cố gắng thực hiện đúng.
Theo L2BEAT, Fuel v1 và DeGate là hai tập hợp 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.
3. Kinh tế
Hãy xem xét tính kinh tế của Rollup từ góc độ người dùng và toán tử Rollup:
1) Trải nghiệm người dùng - Người dùng sẽ nhận được giá rẻ và không phải đợi giao dịch quá lâu
2) Lợi nhuận tổng số - Người phân loại và chủ sở hữu mã thông báo sẽ có lãi khi vận hành Rollup
Trải nghiệm người dùng được tối ưu hóa khi người dùng nhận được các giao dịch nhanh và rẻ.
Tốc độ hoàn tất các giao dịch phụ thuộc vào tốc độ hoàn tất các khối 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 thành. Tuy nhiên, người dùng chạy các nút đầy đủ cũng có thể đạt được tính hữu hạn 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 không phải ai cũng có thể chạy một nút đầy đủ. Do đó, một bộ đối chiếu 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 bao gồm trong 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ó liên quan đến sự phụ thuộc vào một bên trung tâm có thể hành động chống lại nó.
Mặc dù một số giải pháp giao thức thay thế trình sắp xếp thứ tự (ví dụ: dựa trên Tổng số) từ bỏ thuộc tính này để gây bất lợi cho người dùng, nhưng các giải pháp khác (ví dụ: sự đồng thuận của POS bên ngoài (ví dụ: Espresso)) có thể cung cấp các đảm bảo xác nhận trước tương tự mà không phát sinh Rủi ro sau: Trình sắp xếp tập trung.
Điều gì về chi phí cho người dùng?
Giá rõ ràng của giao dịch Rollup thường là:
Chi phí khí L2 = Chi phí khí L1 + Phí bộ sắp xếp theo trình tự
Người đặt hàng trung tâm hành động 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 đó có nghĩa là chuyển chi phí cao hơn cho người dùng. Tuy nhiên, điều đáng chú ý là điều này không nhất thiết phải được giải quyết bằng cơ chế sắp xếp phi tập trung. Ngay cả các nút POS trong một trình đặt hàng 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 một vấn đề sai lệch trong đó tập hợp có thể không muốn chuyển lợi nhuận cho một bộ phân loại bên ngoài.
Lợi nhuận tổng số - Ngoài phí trình sắp xếp thứ tự, Tổng số cũng có thể kiếm được lợi nhuận bằng cách trích xuất MEV từ các giao dịch người dùng số lượng lớn. MEV này thường khó phân bổ vì rất khó để biết 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 lô hay không.
**Nếu Rollup được thay thế bằng sự đồng thuận của POS bên ngoài, họ sẽ cung cấp MEV này cho các nhà khai thác bên ngoài. **
Điều đáng chú ý là cả hai vấn đề Rollup chuyển giao doanh thu cho các cơ chế bên ngoài đều có thể được giải quyết thông qua “thỏa thuận thương mại” giữa Rollup và các cơ chế bên ngoài, trong đó có thể giải quyết các khoản phí và MEV do giao dịch nội bộ và giao dịch Rollup chéo tạo ra. Chuyển hướng trở lại tóm tắt.
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à các bài đăng tiếp theo, một ý tưởng tốt hơn có thể là có ủy quyền quản trị tổng số đặt hàng cho một tập hợp các nút được phép. 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 là loại bỏ các tác nhân xấu.
**Đây có thể là giải pháp hai bên một đá, vì giải pháp này cho phép các đợt tổng hợp giữ lợi nhuận nội bộ, đồng thời giảm thiểu các tác động bất lợi của máy phân loại tập trung. **
Nhưng điều ngược lại với điều này là với vòng quay hạn chế của máy phân loại, máy phân loại có thể có hành vi không thiển cận, điều này có thể dẫn đến việc định giá độc quyền/chênh lệch giá gây thiệt hại cho người dùng tổng hợp.
Dù bằng cách nào, rõ ràng là một số giao thức thay thế trình tự sắp xếp là cần thiết để việc tóm tắt mang lại hiệu quả về mặt chi phí cho người dùng. Cho dù đó là bằng chứng về quản trị, cơ chế đồng thuận bên ngoài hay cái gì khác, đó là một cuộc thảo luận cho một bài viết khác.
4. Kết luận
Hy vọng rằng giờ đây đã rõ ràng rằng dù Rollup đi theo con đường nào thì điều quan trọng là mục tiêu phải là triển khai đầy đủ với các cơ chế trưởng thành để thay thế bộ sắp xếp, đưa vào bắt buộc và cập nhật quản trị độ trễ. Ngay cả khi đó chỉ là các bản cập nhật bắt buộc và chậm trễ, tiền của người dùng vẫn an toàn khi Rollup được triển khai đầy đủ, bất kể điều phối viên có tập trung hay không.
Tuy nhiên, một giao thức thay thế trình sắp xếp thứ tự mạnh mẽ có thể cải thiện khả năng đảm bảo tính sống động và có khả năng cải thiện tính kinh tế của người dùng Rollup.
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.
Xem tầm quan trọng của phân cấp Rollup từ ba khía cạnh
Tác giả: Shivanshu Madan; Trình biên dịch: Huohuo/Vernacular Blockchain
Rất nhiều cuộc thảo luận trên Twitter 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? Hay ít nhất họ đang trên con đường phi tập trung hóa? Nó có quan trọng không?
Ý tưởng của Rollup rất đơn giản: chúng tôi muốn những người tham gia ngoài chuỗi có thể 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, lớp cơ sở cho phép cơ sở "tin cậy" của nó được sử dụng cho các hoạt động diễn ra bên ngoài phạm vi trực tiếp của nó. Đổi lại, Rollup trả một khoản phí nhỏ (tiền thuê) để tận dụng sự tin tưởng 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à có! Đây là tinh thần mà chúng tôi xây dựng chuỗi khối.
Tuy nhiên, tôi 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. Thay vào đó, nó có nhiều khía cạnh phải được phân tích riêng lẻ. Trong các chương tiếp theo, tôi sẽ chia nhỏ câu hỏi này từ ba khía cạnh: triết học, công nghệ và kinh tế. ****Ba điều này không nhất thiết phải toàn diện hoặc độc quyền, nhưng chúng sẽ đưa ra một góc nhìn tổng thể tốt về vấn đề. **
1. 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 cấp độ - tại sao chúng ta lại quan tâm đến việc phân cấp?
Bởi vì chúng tôi muốn một tương lai không cần cấp phép để thúc đẩy đổ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 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 - nó có thể sớm trở thành loại tiền tệ mà hầu hết mọi người trên thế giới sử dụng để thanh toán toàn cầu! Đó là sức mạnh của sự đổi mới không cần xin phép!
Nền tảng phi tập trung của các mạng không đáng tin cậy như Bitcoin và Ethereum cho phép chúng tôi xây dựng một tương lai như vậy. Sau đó, rõ ràng là bất kỳ chuỗi nào có mối quan hệ tin cậy với các chuỗi này, chẳng hạn như Rollups, cũng nên đượ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ần cấp phép, các bản tổng hợp nên được phép xây dựng bất kỳ 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 đầy đủ - và người dùng của bản tổng hợp đó vẫn có thể Tận dụng bảo mật tại lớp nền. Ngay cả các chuỗi được phép cũng phải an toàn để sử dụng miễn là lớp cơ sở được phân cấp và quá trình tổng hợp được triển khai "đầy đủ" (chúng ta sẽ nói thêm về "triển khai đầy đủ" trong phần kỹ thuật).
Nhưng thực tế là hầu hết các bản tổng hợp ngày nay vẫn 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 và độ tin cậy mong muốn.
Vì vậy, việc triển khai chính xác rollup trông như thế nào? hãy xem nào:
2. Công nghệ
Để thực sự hiểu vấn đề phân quyền và bảo mật ở cấp độ Tổng hợp, chúng ta cần xem xét nó từ các nguyên tắc đầu tiên. Không nhiều 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.
Chuỗi khối là một sổ cái phân tán trong đó các nút khác nhau trong mạng tuân theo một giao thức đã xác định để đạ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 trong sổ cái của riêng chúng.
Ví dụ: trong giao thức Gasper của Ethereum, có hai quy tắc xác nhận khác nhau - quy tắc có sẵn (dựa trên chuỗi nặng nhất) và quy tắc cuối cùng (dựa trên các khối được xác nhận bởi tiện ích).
Đặc biệt là trong các bản tổng hợp, các nút đầy đủ có các quy tắc xác nhận khác với các máy khách nhẹ. Trong hợp đồng thông minh truyền thống (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, các quy tắc xác nhận này cuối cùng sẽ trùng khớp trong cái gọi là "vùng nhất quán". Đúng như tên gọi, trong các 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ó cùng lịch sử trong sổ cái của họ).
Nếu tất cả các quy tắc xác nhận đều an toàn thì sẽ không có điều gì xấu xảy ra. Như Sreeram đã chia sẻ ở 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.
2 thuộc tính đầu tiên cùng nhau xác định điều kiện "sống" của hệ thống, trong khi 3 thuộc tính cuối cùng xác định điều kiện "an toàn".
Hãy xem xét từng vấn đề từ góc độ của các tác nhân tổng hợp khác nhau và xem yếu tố 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 bạn 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 trực tiếp dữ liệu đó. 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 số sau các giao dịch đó.
Do đó, các điều kiện an toàn còn lại là tính chất hoạt động và khả năng chống tái hợp. Đối với cái sau, các nút đầy đủ dựa vào trình xác thực của chuỗi cơ bản và giao thức đồng thuận mà chúng sử dụng, trong khi đối với các thuộc tính hoạt động, các nút đầy đủ dựa vào triển khai trình tự sắp xếp và Tổng số.
Ứng dụng khách nhẹ:
Hầu hết người dùng sử dụng ví được nhúng trong các nút nhẹ hoặc sử dụng dịch vụ của bên thứ ba để lấy dữ liệu chuỗi khối và tương tác với chuỗi khối. Các nút ánh sáng có thể có nhiều loại khác nhau:
Nếu chạy ứng dụng khách nhẹ có trình xác thực đầy đủ, bạn có thể xác minh rằng dữ liệu có sẵn thông qua lấy mẫu tính khả dụng của dữ liệu, bạn có thể xác minh tính hợp lệ của cá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, bạn cũng có thể xác minh rằng trạng thái đã được hoàn thiện trên cơ sở Sự đồng thuận của lớp (trên Ethereum, điều này có thể được thực hiện bằng cách tuân theo ủy ban đồng bộ hóa).
Khi đó, điều kiện an toàn còn lại là thuộc tính liveness và các ứng dụng khách nhẹ dựa vào các triển khai trình tự sắp xếp và tổng số.
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:
Các nút đầy đủ của SCR dựa vào các hợp đồng thông minh để thực thi các thuộc tính sinh động. Họ "hấp thụ" sức đề kháng tái cấu trúc từ lớp cơ sở.
Các nút nhẹ dựa vào các hợp đồng thông minh để tăng cường các đặc tính sống động và hấp thụ DA và khả năng chống tổ chức lại 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 chính tắc được xác định bởi hợp đồng thông minh.
**Còn Sovereign Rollup 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 minh) để thực thi các điều kiện về tính hợp lệ hoặc khả năng hoạt động. Thay vào đó, chúng sẽ chứng minh là "cuộn xuống" tới nút tổng số xuôi dòng. Các nút này vẫn hấp thụ kháng DA và Reorg từ lớp cơ sở.
Giống như trong SCR, trong các nút tổng số có chủ quyền cần một số cơ chế để thực thi thuộc tính liveness. Để xác định chuỗi chính tắc, họ đã chọn các cơ chế độc lập như phát bằng chứng p2p.
Tất cả những điều này có liên quan gì đến việc phân quyền?
Cho dù đó là một bản tổng hợp hợp đồng thông minh hay một 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 chính xác bản tổng hợp. Như chúng ta đã thấy ở trên, việc triển khai tổng hợp chính xác phải bao gồm hai thành phần quan trọng:
cơ chế đưa vào bắt buộc, và
Giao thức thay thế trình tự sắp xếp
Việc đưa vào bắt buộc giúp xây dựng khả năng chống kiểm duyệt. Cơ chế này cho phép người dùng "buộc bao gồm" các giao dịch của họ trực tiếp trong lớp cơ sở. Khi đó, bất kỳ người dùng nào trong danh sách tổng hợp đều có thể buộc thoát trở lại lớp cơ sở bằng tiền của họ. Do đó, ngay cả khi chỉ có một nút đối chiếu tập trung để tổng hợp, nó cũng không thể kiểm duyệt người dùng miễn là có một cơ chế thực thi hoàn chỉnh.
Nhưng như vậy đã đủ chưa?
Ngay cả khi người dùng có thể đăng xuất, điều này có thể có nghĩa là nếu hầu hết người dùng chạy trở lại L1, doanh nghiệp không có nhiều động lực để tiếp tục chạy. 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 được cung cấp bởi cơ chế này là không thực tế (hoặc thời gian thực). Chúng ta có thể gọi tình trạng này là "kiểm duyệt yếu".
Sau đó, chúng tôi có thuộc tính sống động cuối cùng - tăng trưởng sổ cái
Nếu bộ đối chiếu tập trung trở nên độc hại, nó có thể ngăn chặn sự phát triển của chuỗi tóm tắt bằng cách đơn giản là ngừng sản xuất khối. Nếu điều này xảy ra, người dùng hoặc doanh nghiệp không thể làm gì để làm cho tổng số "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ế trình tự.
Ý tưởng của giao thức thay thế trình sắp xếp thứ tự là nếu trình sắp xếp thứ tự hoạt động theo cách độc hại, quản trị tổng hợp có thể khởi động trình sắp xếp thứ tự. Một trong những cách để đạt được điều này là thay thế các nút trình sắp xếp tập trung bằng một giao thức trình tự sắp xếp phi tập trung. Nếu bộ sắp xếp được phân cấp và không độc quyền các khối xây dựng của quá trình tổng hợp, thì gần như không thể dừng quá trình tổng hợp.
Do đó, mặc dù tiền của người dùng luôn an toàn trong Rollup thông qua cơ chế đưa vào bắt buộc, nhưng việc xây dựng một giao thức thay thế người đặt hàng mạnh mẽ sẽ giúp giữ cho Rollups tồn tại và cung cấp khả năng chống kiểm duyệt thực tế, theo thời gian thực.
đây là tất cả?
Không hẳn. Từ quan điểm kỹ thuật, có một khía cạnh khác 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 nâng cấp bởi một ủy ban trung ương tổng hợp? Giả sử các bản cập nhật hiện đang được triển khai chính xác, nhưng ngày mai, ủy ban đồng ý rằng chúng tôi không còn cần hợp đồng thông minh nữa mà thay vào đó, phát bằng chứng về trạng thái bản cập nhật lên mạng p2p.
Nếu, với tư cách là người dùng tổng số, 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 tổng số trước khi triển khai nâng cấp (mặc dù một lần nữa, đâ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ác bản cập nhật quản trị bị trễ". Nó giống như một "khoảng thời gian thông báo" mà sau đó việc nâng cấp sẽ được thực hiện. Người dùng không đồng ý với các bản cập nhật có thể rút lại trong thời gian thông báo.
Đỉnh cao của sự phi tập trung hóa là tùy chọn 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à sau khi được 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ì tùy chọn duy nhất cho nút tổng hợp là chuyển sang hợp đồng thông minh mới - khiến tiền của người dùng bị mắc kẹt trong hợp đồng cũ.
tình trạng hiện tại
Thật không may, trạng thái hiện tại của Rollup không ở gần 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 "bánh xe huấn luyện", hãy cố gắng thực hiện đúng.
Theo L2BEAT, Fuel v1 và DeGate là hai tập hợp 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.
3. Kinh tế
Hãy xem xét tính kinh tế của Rollup từ góc độ người dùng và toán tử Rollup:
1) Trải nghiệm người dùng - Người dùng sẽ nhận được giá rẻ và không phải đợi giao dịch quá lâu
2) Lợi nhuận tổng số - Người phân loại và chủ sở hữu mã thông báo sẽ có lãi khi vận hành Rollup
Trải nghiệm người dùng được tối ưu hóa khi người dùng nhận được các giao dịch nhanh và rẻ.
Tốc độ hoàn tất các giao dịch phụ thuộc vào tốc độ hoàn tất các khối 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 thành. Tuy nhiên, người dùng chạy các nút đầy đủ cũng có thể đạt được tính hữu hạn 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 không phải ai cũng có thể chạy một nút đầy đủ. Do đó, một bộ đối chiếu 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 bao gồm trong 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ó liên quan đến sự phụ thuộc vào một bên trung tâm có thể hành động chống lại nó.
Mặc dù một số giải pháp giao thức thay thế trình sắp xếp thứ tự (ví dụ: dựa trên Tổng số) từ bỏ thuộc tính này để gây bất lợi cho người dùng, nhưng các giải pháp khác (ví dụ: sự đồng thuận của POS bên ngoài (ví dụ: Espresso)) có thể cung cấp các đảm bảo xác nhận trước tương tự mà không phát sinh Rủi ro sau: Trình sắp xếp tập trung.
Điều gì về chi phí cho người dùng?
Giá rõ ràng của giao dịch Rollup thường là:
Chi phí khí L2 = Chi phí khí L1 + Phí bộ sắp xếp theo trình tự
Người đặt hàng trung tâm hành động 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 đó có nghĩa là chuyển chi phí cao hơn cho người dùng. Tuy nhiên, điều đáng chú ý là điều này không nhất thiết phải được giải quyết bằng cơ chế sắp xếp phi tập trung. Ngay cả các nút POS trong một trình đặt hàng 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 một vấn đề sai lệch trong đó tập hợp có thể không muốn chuyển lợi nhuận cho một bộ phân loại bên ngoài.
Lợi nhuận tổng số - Ngoài phí trình sắp xếp thứ tự, Tổng số cũng có thể kiếm được lợi nhuận bằng cách trích xuất MEV từ các giao dịch người dùng số lượng lớn. MEV này thường khó phân bổ vì rất khó để biết 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 lô hay không.
**Nếu Rollup được thay thế bằng sự đồng thuận của POS bên ngoài, họ sẽ cung cấp MEV này cho các nhà khai thác bên ngoài. **
Điều đáng chú ý là cả hai vấn đề Rollup chuyển giao doanh thu cho các cơ chế bên ngoài đều có thể được giải quyết thông qua “thỏa thuận thương mại” giữa Rollup và các cơ chế bên ngoài, trong đó có thể giải quyết các khoản phí và MEV do giao dịch nội bộ và giao dịch Rollup chéo tạo ra. Chuyển hướng trở lại tóm tắt.
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à các bài đăng tiếp theo, một ý tưởng tốt hơn có thể là có ủy quyền quản trị tổng số đặt hàng cho một tập hợp các nút được phép. 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 là loại bỏ các tác nhân xấu.
**Đây có thể là giải pháp hai bên một đá, vì giải pháp này cho phép các đợt tổng hợp giữ lợi nhuận nội bộ, đồng thời giảm thiểu các tác động bất lợi của máy phân loại tập trung. **
Nhưng điều ngược lại với điều này là với vòng quay hạn chế của máy phân loại, máy phân loại có thể có hành vi không thiển cận, điều này có thể dẫn đến việc định giá độc quyền/chênh lệch giá gây thiệt hại cho người dùng tổng hợp.
Dù bằng cách nào, rõ ràng là một số giao thức thay thế trình tự sắp xếp là cần thiết để việc tóm tắt mang lại hiệu quả về mặt chi phí cho người dùng. Cho dù đó là bằng chứng về quản trị, cơ chế đồng thuận bên ngoài hay cái gì khác, đó là một cuộc thảo luận cho một bài viết khác.
4. Kết luận
Hy vọng rằng giờ đây đã rõ ràng rằng dù Rollup đi theo con đường nào thì điều quan trọng là mục tiêu phải là triển khai đầy đủ với các cơ chế trưởng thành để thay thế bộ sắp xếp, đưa vào bắt buộc và cập nhật quản trị độ trễ. Ngay cả khi đó chỉ là các bản cập nhật bắt buộc và chậm trễ, tiền của người dùng vẫn an toàn khi Rollup được triển khai đầy đủ, bất kể điều phối viên có tập trung hay không.
Tuy nhiên, một giao thức thay thế trình sắp xếp thứ tự mạnh mẽ có thể cải thiện khả năng đảm bảo tính sống động và có khả năng cải thiện tính kinh tế của người dùng Rollup.