1. Tranh cãi về “Ethereum L2 là gì”
Tháng trước, Dankrad đã tweet: "Nếu nó không sử dụng Ethereum làm lớp sẵn có dữ liệu (DA), thì đó không phải là Rollup của Ethereum và do đó nó không phải là L2 của Ethereum." Ông cũng cho biết, các kênh Plasma và trạng thái được coi là L2, nhưng Validium thì không. Sau khi Dankrad công bố ý kiến của mình, nhiều nhà xây dựng và nhà nghiên cứu trong lĩnh vực L2 bắt đầu đặt câu hỏi về nó. Có nhiều dự án L2 không sử dụng Ethereum làm lớp sẵn có dữ liệu để tiết kiệm chi phí. Nếu các dự án này không được đưa vào danh sách L2 sẽ có tác động không nhỏ đến các dự án mạng lưới mở rộng này. Ngoài ra, một số người cho rằng nếu Validium không được tính là L2 thì Plasma cũng không được tính.
Vì vậy, nếu bạn tìm hiểu sâu về tài liệu của Ethereum, bạn có thể nhận thấy rằng họ không rõ liệu Validium có phải là nền tảng L2 hay không. Nhưng họ có đề cập rằng Validium an toàn hơn Plasma vì họ sử dụng bằng chứng xác thực. Điều này dường như mâu thuẫn với quan điểm của Dankred, người tin rằng Plasma an toàn hơn Validium từ một số góc độ, bởi vì người dùng có thể thoát bằng trạng thái quá khứ, điều mà Validium không thể hỗ trợ. Vì vậy, không có câu trả lời chắc chắn về việc liệu Plasma và Validium có nên được đưa vào L2 hay không.
Tuy nhiên, L2BEAT đã áp dụng bộ lọc “chỉ hiển thị Rollup” trên trang web của mình, cho phép người dùng lọc ra tất cả các dự án không sử dụng Ethereum làm lớp DA. Cuộc tranh luận về L2 và Rollup còn vượt xa điều đó. Chúng tôi cũng đã nghe rất nhiều ý kiến khác nhau, chẳng hạn như "Tính khả dụng của dữ liệu là một thuật ngữ khó hiểu, Xuất bản dữ liệu tốt hơn", "Bản tổng hợp cổ điển cũng là một bản tổng hợp có chủ quyền", "Bản tổng hợp có chủ quyền hoàn toàn không phải là một bản tổng hợp", v.v.
Vì vậy, thay vì tập trung vào những định nghĩa đó, hãy tập trung vào một chủ đề có ý nghĩa hơn, chúng ta muốn loại Ethereum L2 nào?
2. Chúng ta muốn loại Ethereum Rollup nào?
Theo định nghĩa, Lớp 2 là một blockchain độc lập mở rộng Ethereum và kế thừa các đảm bảo an ninh của Ethereum.
Các vấn đề bảo mật của Ethereum Rollup bị đánh giá thấp. Chúng tôi hy vọng rằng Rollup sẽ cải thiện tính bảo mật và sẽ có nhiều chuỗi khối mô-đun hơn được tùy chỉnh cho các ứng dụng.
Dưới đây là các tính năng chúng tôi muốn có trong giải pháp Lớp 2:
- Đầu tiên, chúng tôi muốn L2 có thể mở rộng quy mô Ethereum, có nghĩa là L2 phải có cầu nối xác minh với Ethereum, cho phép người dùng chuyển tài sản giữa L2 và Ethereum và nhận bảo mật từ Ethereum. Ví dụ: tôi có thể sử dụng ETH của mình trên Arbitrum L2 cho một số giao dịch nhất định với chi phí tương đối thấp trong khi vẫn giữ được tính bảo mật của Ethereum.
- Thứ hai, chúng tôi hy vọng rằng L2 có thể đạt được mức độ bảo mật cực cao bằng cách kế thừa tính bảo mật của Ethereum.
- Đầu tiên, chúng tôi hy vọng rằng L2 có thể kế thừa tính bảo mật của Ethereum. Cách tốt nhất để đạt được điều này là sử dụng Ethereum làm lớp sẵn có của dữ liệu (DA), hoạt động như một Bản tổng hợp cho Ethereum. Lý tưởng nhất là chúng tôi muốn biến nút L2 thành nút không cần tin cậy và chỉ cần tin tưởng Ethereum để đảm bảo đầy đủ tính bảo mật của Rollup.
- Thứ hai, chúng tôi hy vọng Rollup có thể kế thừa hoạt động của Ethereum. Người dùng có thể tự chạy Rollup ngay cả khi nút Rollup không hoạt động hoặc ít nhất có cách thoát khỏi L2 và lấy lại tiền về L1.
- Ngoài ra, chúng tôi cũng hy vọng rằng Rollup có thể kế thừa khả năng chống phân quyền và kiểm duyệt của Ethereum.
2.1 Kế thừa bảo mật Ethereum
Để kế thừa tốt hơn tính bảo mật của Ethereum (ETH), Ethereum không chỉ phải được sử dụng để cung cấp dữ liệu và đặt hàng giao dịch mà còn để thanh toán. Lớp Rollup chịu trách nhiệm thực hiện các giao dịch và thực hiện chuyển đổi trạng thái. Giải quyết bằng Ethereum thông qua bằng chứng gian lận hoặc bằng chứng hợp lệ.
Như bạn có thể thấy trong sơ đồ, vai trò của các nút Rollup có thể được chia thành 2-3 loại khác nhau: Sequencer, Proposer và ZK Prover.
- Sequencer đóng một vai trò quan trọng trong Rollup, nó đóng gói các giao dịch và gửi chúng đến mạng Ethereum, sử dụng Ethereum để đảm bảo tính sẵn có của dữ liệu và thứ tự giao dịch.
- Đồng thời, Người đề xuất thực hiện các giao dịch này và tạo trạng thái mới nhất của Tổng hợp, sau đó gửi gốc Merkle của trạng thái mới cho Ethereum. Nếu đây là kết quả tổng hợp khả quan và không có ai bắt đầu thử thách trong thời gian được chỉ định thì gốc trạng thái sẽ được chấp nhận và giao dịch sẽ được xác nhận.
- Trong trường hợp của ZK Rollup, người chứng minh tạo ra bằng chứng không có kiến thức chứng minh tính hợp lệ của gốc trạng thái. Sau khi ZKP được gửi và xác nhận trên Ethereum, giao dịch cũng sẽ được xác nhận.
Do đó, một khi tất cả dữ liệu này đã được cam kết và xác nhận trên Ethereum, việc khôi phục giao dịch yêu cầu khôi phục Ethereum, do đó kế thừa các đảm bảo bảo mật của Ethereum. Hơn nữa, ba vai trò này đôi khi được thực hiện bởi cùng một nút. Trong một số giao thức, chẳng hạn như Optimism, Trình sắp xếp chuỗi gửi cả lô giao dịch và gốc trạng thái Merkle.
Một vấn đề khác liên quan đến bảo mật là xác minh trạng thái của Rollup. Như đã đề cập trước đó, Optimistic Rollup sử dụng bằng chứng gian lận, trong khi ZK Rollup sử dụng bằng chứng hợp lệ, chẳng hạn như bằng chứng không có kiến thức.
- Ưu điểm của việc sử dụng các bằng chứng gian lận như Optimism và Arbitrum là Rollup có thể tương đương với Máy ảo Ethereum (EVM). Tuy nhiên, người dùng phải xác minh chuỗi để bảo vệ tiền của họ và việc xác nhận giao dịch cuối cùng sẽ chậm hơn do thời gian thử thách kéo dài khoảng 7 ngày.
- ZK Rollup, như Starknet, zkSync, Scroll và Polygon zkEVM, cung cấp khả năng bảo mật mạnh mẽ hơn bằng cách sử dụng bằng chứng không có kiến thức để chứng minh rằng trạng thái đã được tính toán chính xác. Khi ZKP được xác minh trên L1, giao dịch sẽ được hoàn thành ngay lập tức. Việc này chỉ mất vài phút hoặc nhiều nhất là vài giờ, nhanh hơn nhiều so với Rollup lạc quan. Tuy nhiên, ZK Rollup thường không hoàn toàn tương đương với EVM.
Từ góc độ bảo mật, bằng chứng không có kiến thức hoạt động tốt hơn. Họ dựa vào các cơ chế mã hóa không đáng tin cậy để xác minh trạng thái, thay vì dựa vào tính trung thực của những người tham gia được khuyến khích như các bản tổng hợp lạc quan. Nhưng phí giao dịch có thể cao hơn và không hoàn toàn tương đương với EVM. Do đó, việc chọn sử dụng cái nào phụ thuộc vào mục tiêu của mạng.
Từ góc độ bảo mật, bằng chứng không có kiến thức hoạt động tốt hơn. Họ dựa vào các cơ chế mã hóa không đáng tin cậy để xác minh trạng thái, thay vì dựa vào tính trung thực của những người tham gia được khuyến khích như các bản tổng hợp lạc quan. Nhưng phí giao dịch có thể cao hơn và không hoàn toàn tương đương với EVM. Do đó, việc chọn sử dụng cái nào tùy thuộc vào mục tiêu của mạng.
Trong một số trường hợp, phương pháp kết hợp có thể kết hợp các tính năng của cả hai bản tổng hợp. Một dự án mới có tên Morphism sử dụng bằng chứng hợp lệ ZK để đáp ứng các thách thức trong thiết kế tổng hợp lạc quan, có thể giảm khoảng thời gian thử thách từ 7 ngày xuống còn 1 ngày và giảm chi phí DA. Ngăn xếp OP cũng đã khám phá việc sử dụng ZKP để chứng minh các chương trình bị lỗi của Optimism.
Tuy nhiên, có những lo ngại lớn về bảo mật về khả năng nâng cấp của Rollup. Khi Rollup cần sửa lỗi khẩn cấp hoặc cần nâng cấp để hỗ trợ các tính năng mới, đôi khi cần phải nâng cấp hợp đồng thông minh Rollup trên Ethereum. Vì vậy, ai kiểm soát các hợp đồng thông minh này là rất quan trọng.
- Đối với nhiều bản tổng hợp, chìa khóa để kiểm soát các bản nâng cấp do các thành viên cốt lõi của nhóm nắm giữ. Về lý thuyết, những thành viên này có khả năng đánh cắp tiền của người dùng thông qua việc sử dụng cơ chế leo thang. Như Vitalic đã nói, đây giống như một "cửa sau" dành cho các nhà phát triển.
- Để tránh vấn đề này, khả năng nâng cấp có thể bị vô hiệu hóa. Ví dụ: Fuel V1 đã vô hiệu hóa khả năng nâng cấp, nhưng mỗi lần cập nhật lại yêu cầu triển khai lại các hợp đồng thông minh và người dùng cần di chuyển nội dung của họ sang phiên bản mới theo cách thủ công. Quá trình này tương tự như việc bắt đầu một dự án mới, dẫn đến tính thanh khoản bị phân tán và tính linh hoạt giảm đáng kể.
- Một cách tiếp cận tốt hơn sẽ là sử dụng DAO để nâng cấp quản trị và đặt độ trễ để cho phép những người dùng không đồng ý với việc nâng cấp thoát ra trước khi nó xảy ra. Điều này bổ sung một số giả định bảo mật DAO vào Rollup, chẳng hạn như giả định đa số trung thực.
Nhìn chung, để kế thừa tính bảo mật của Ethereum, chúng tôi khuyên Rollup nên sử dụng Ethereum để cung cấp dữ liệu, đặt hàng giao dịch và thanh toán. Để xác minh trạng thái, sử dụng bằng chứng không có kiến thức sẽ đáng tin cậy hơn. Nếu chúng tôi muốn hỗ trợ khả năng nâng cấp, tốt hơn hết bạn nên sử dụng DAO để quản lý các bản nâng cấp và cho người dùng đủ thời gian (ví dụ: 30 ngày) để thoát.
2.2 Kế thừa khả năng tồn tại của Ethereum
Bây giờ, hãy nói về cách kế thừa sự sống động từ Ethereum.
Chúng tôi hy vọng rằng ngay cả khi trình tuần tự hóa và đề xuất hiện tại ngừng hoạt động, với sự trợ giúp của mạng chính Ethereum, người dùng vẫn có thể tạo lại trạng thái L2 và tiếp tục chạy Rollup, hoặc ít nhất sẽ có cách để người dùng thoát ra mà không tin tưởng vào L1.
- Tuy nhiên, chúng tôi nhận thấy rằng nhiều bản tổng hợp hiện có cho đến nay vẫn thiếu cơ chế này, chẳng hạn như Optimism, zkSync Era và Base. Vì vậy, nếu điều này xảy ra, Rollup sẽ ngừng chạy và mọi người sẽ mất tiền trên L2.
- Một số đợt giới thiệu cho phép người dùng buộc rút tiền và rút tiền của họ trên L1 bằng cách gửi bằng chứng Merkle hoặc bằng chứng ZK về tiền trên L2.
- Nhưng một số Rollups không cho phép bạn rút tài sản ngoại trừ tài sản thế chấp, điều đó có nghĩa là tài sản địa phương L2 của bạn không thể rút được. Nếu bạn giao dịch tài sản thế chấp của mình để lấy mã thông báo NFT hoặc LP, bạn có thể không lấy lại được chúng trên Ethereum L1.
- Các bản tổng hợp như dYdX cho phép bạn thực thi việc chuyển đổi tài sản gốc L2 thành tài sản thế chấp và sau đó rút chúng trên L1.
- Một số Bản tổng hợp cũng hỗ trợ rút NFT về L1.
- Một giải pháp tốt hơn là cho phép người dùng cũng trở thành Người sắp xếp thứ tự và Người đề xuất để duy trì hoạt động của Rollup. Ví dụ: Polygon zkEVM sử dụng Trình sắp xếp chuỗi không có giấy phép. Arbitrum cho phép người dùng buộc đưa các giao dịch vào danh sách tổng hợp bằng cách gửi chúng đến L1 (việc này có độ trễ một ngày). Ngoài ra, bất kỳ ai cũng có thể trở thành người đề xuất sau khi Người đề xuất trong danh sách trắng hiện tại không hoạt động trong 6 ngày liên tiếp.
Trên thực tế, hoạt động cũng liên quan đến mức độ phân cấp. Nếu các nút Rollup được phân cấp tốt hơn và có khả năng chống kiểm duyệt tốt hơn thì Rollup sẽ có hoạt động tốt hơn.
Do đó, để cải thiện khả năng tồn tại của Rollup, chúng tôi đề xuất các nút phi tập trung cho phép người dùng tự đặt hàng và đề xuất giao dịch trong trường hợp thất bại.
2.3 Kế thừa khả năng phân quyền và kiểm duyệt của Ethereum
Nghiên cứu về phân cấp Rollup chủ yếu tập trung vào Sequencer phi tập trung.
- Ngày nay, hầu hết tất cả các mạng Rollup chỉ sử dụng trình sắp xếp tập trung. Trình sắp xếp chuỗi có khả năng từ chối các giao dịch của người dùng và trích xuất MEV một cách độc hại, điều này có thể gây tổn hại về mặt tài chính cho người dùng. Ngoài ra, việc sử dụng một trình sắp xếp chuỗi duy nhất sẽ thiếu khả năng chống kiểm duyệt.
- Do đó, một trong những cách tiếp cận đầy hứa hẹn mà Rollup đang khám phá để triển khai trình sắp xếp chuỗi phi tập trung là trình sắp xếp chuỗi phi tập trung PoS không được phép. Phương pháp này được sử dụng trong Morphism Rollup, trong đó trình tự sắp xếp được chọn dựa trên các quy tắc POS và thực thi thuật toán đồng thuận dựa trên BFT để đạt được sự đồng thuận về lô giao dịch. Một số bản tổng hợp khác cố gắng sử dụng phương pháp bầu chọn người lãnh đạo để bầu ra người sắp xếp người lãnh đạo theo thứ tự mỗi kỷ nguyên.
- Một phương pháp khác là thông qua đấu giá MEV. Trong mỗi kỷ nguyên, người tham gia đặt giá thầu dựa trên lợi nhuận mà họ mong đợi từ phí giao dịch và MEV mà họ có thể rút dưới dạng trình sắp xếp thứ tự. Người chiến thắng thanh toán số tiền giá thầu của họ vào kho bạc Rollup và có quyền đặt hàng giao dịch cũng như thu được tất cả lợi nhuận trong khoảng thời gian đó.
- Bằng chứng về hiệu quả của Polygon là một cách tiếp cận khác trong đó bất kỳ ai cũng có thể trở thành người sắp xếp chuỗi hoặc người tổng hợp. Trình sắp xếp chuỗi cần phải trả một khoản phí bổ sung để ngăn chặn các cuộc tấn công spam khi đề xuất các lô giao dịch cho Ethereum L1. Trình tổng hợp xác minh các giao dịch hàng loạt do trình sắp xếp chuỗi phát hành và trình tổng hợp đầu tiên gửi chứng chỉ hợp lệ sẽ nhận được mã thông báo do trình sắp xếp ký gửi. Tuy nhiên, tài nguyên tính toán của các trình tổng hợp có độ trễ có thể bị lãng phí.
- Trong phương pháp sắp xếp trình tự được chia sẻ, một nhóm nút cung cấp dịch vụ sắp xếp trình tự cho nhiều Bản tổng hợp. Rollup kết nối với mạng trình tự chia sẻ để xử lý thứ tự giao dịch và tạo khối. Nhóm trình sắp xếp được chia sẻ được phân cấp (chúng thực thi các giao thức đồng thuận để thống nhất các giao dịch và gửi các lô giao dịch)
Tất cả các công nghệ dành cho trình sắp xếp chuỗi phi tập trung này vẫn còn ở giai đoạn sơ khai và vẫn đang phát triển. Vì vậy, chúng tôi chỉ có thể đưa ra đánh giá trung lập vào thời điểm này.
Người chứng minh ZKP có thể được phân cấp và không được phép như Bằng chứng về Hiệu quả của Polygon vì họ không thể thực hiện MEV và khó hành động độc hại.
Tóm lại, chúng ta cần các bộ tuần tự hóa và bộ chứng minh phi tập trung để nâng cao khả năng chống phân cấp và kiểm duyệt của Rollup.
Ngoài những lo ngại về bảo mật, còn có nhiều yếu tố khác cần xem xét. Dưới đây là một số câu hỏi liên quan:
Ngoài vấn đề bảo mật, còn có nhiều yếu tố khác cần xem xét. Dưới đây là một số câu hỏi liên quan:
- Làm cách nào để cân bằng các ưu đãi của trình sắp xếp chuỗi và trình chuẩn ZKP? Trình sắp xếp chuỗi có thể thực thi MEV, nhưng trình chuẩn thì không thể. Cơ chế này khiến mọi người sẵn sàng trở thành người nối tiếp hơn. Tuy nhiên, chúng tôi thực sự cần nhiều bộ chứng minh hơn bộ sắp xếp chuỗi vì việc tạo ra bằng chứng không có kiến thức đòi hỏi nhiều sức mạnh tính toán hơn so với việc đóng gói các giao dịch. Vậy làm thế nào để cân bằng động lực giữa hai bên? Tôi nghĩ chúng ta cần thiết kế một mô hình phí và mô hình khuyến khích năng động thông minh.
- Sau khi nâng cấp EIP4844, Rollup sẽ sử dụng các đốm màu để lưu trữ dữ liệu và dữ liệu blob chỉ được lưu trên Ethereum trong 1-3 tháng, vậy điều này có ảnh hưởng đến Rollup không? Câu trả lời của tôi là có, tôi nghĩ sẽ có một số tác động nhỏ nhưng sẽ dễ dàng khắc phục được. Dữ liệu lịch sử của Rollup có thể được tải lên bộ lưu trữ phi tập trung để lưu trữ. Nếu tất cả các nút của Rollup ngoại tuyến (đặc biệt là trong tình huống bộ nối tiếp đơn hiện tại), người dùng sẽ cần tải xuống dữ liệu lịch sử từ hệ thống lưu trữ phi tập trung và kết hợp nó với dữ liệu blob từ Ethereum L1 để xây dựng lại trạng thái.
- Làm cách nào để giảm phí giao dịch Rollup? Khi thiết kế Rollup, có nhiều sự cân bằng giữa bảo mật, phân cấp và hiệu quả chi phí. Ví dụ: chúng tôi sử dụng ZKP để xác minh trạng thái nhằm tăng cường bảo mật, nhưng điều này đòi hỏi nhiều sức mạnh tính toán hơn và cũng khiến các giao dịch trở nên đắt hơn. Đây là sự đánh đổi giữa bảo mật và chi phí. Một số Bản tổng hợp ZK sử dụng bằng chứng đệ quy để tổng hợp ZKP cho nhiều lô giao dịch và sau đó gửi bằng chứng tổng hợp đến L1. Điều này có thể tiết kiệm chi phí gas trên Ethereum và giảm phí giao dịch L2, nhưng nó cũng sẽ kéo dài thời gian xác nhận giao dịch cuối cùng.
Tóm tắt
Tóm lại, quay lại câu hỏi ban đầu của chúng ta, chúng ta muốn loại Ethereum Rollup nào?
- Đầu tiên, chúng tôi hy vọng rằng Rollup sẽ kế thừa không chỉ khả năng bảo mật của Ethereum mà còn cả khả năng sống sót, phân cấp và khả năng chống kiểm duyệt của nó.
- Trong thực tế, rất khó để tạo một bản tổng hợp L2 mà không đưa ra các giả định tin cậy bổ sung, vì khả năng nâng cấp, bộ tuần tự hóa phi tập trung và thiết lập đáng tin cậy của bằng chứng không có kiến thức đều có thể liên quan đến các giả định tin cậy bổ sung. Không thể nói rằng L2 Rollup kế thừa hoàn toàn tính bảo mật của ETH mà không cần tin tưởng vào bất kỳ nút L2 Rollup nào.
- Để bảo mật tốt hơn. Việc nâng cấp hợp đồng thông minh L1 Rollup phải được quản lý bởi DAO, với độ trễ được đặt để cho phép người dùng có đủ thời gian thoát nếu họ không đồng ý nâng cấp. Tuy nhiên, cách tiếp cận này cũng đưa ra các giả định về bảo mật DAO vào hệ thống.
- Cuối cùng nhưng không kém phần quan trọng, thay vì sử dụng một bộ tuần tự hóa duy nhất, hãy sử dụng một bộ tuần tự hóa phi tập trung để có khả năng tồn tại, phân cấp và chống kiểm duyệt tốt hơn.
Trước khi kết thúc bài thuyết trình của mình, tôi muốn nhấn mạnh rằng nếu bất kỳ ai ở đây có những ý tưởng tuyệt vời và cần nguồn lực để thực hiện chúng, vui lòng liên hệ với chúng tôi tại Foresight Ventures.
Ngoài ra, chúng tôi mời bạn tham gia chương trình ươm tạo Foresight X của chúng tôi. Chúng tôi ở đây để hỗ trợ và nuôi dưỡng hành trình khởi nghiệp của bạn. Với kiến thức sâu rộng về ngành và nguồn lực dồi dào, chúng tôi sẽ đảm bảo dự án của bạn phát triển mạnh.
Ngoài ra, nếu bạn làm việc trong học viện hoặc nghiên cứu, Foresight X sẽ cung cấp các khoản tài trợ cạnh tranh để hỗ trợ con đường nghiên cứu của bạn.
Ngoài ra, ở đây chúng tôi cung cấp mã QR với tất cả các liên kết mà bạn có thể quan tâm, bao gồm cả các báo cáo nghiên cứu. Vui lòng chụp ảnh hoặc quét mã để biết thêm thông tin và bạn có thể tìm thấy tôi trên Twitter nếu bạn có bất kỳ câu hỏi nào sau buổi học.
Cảm ơn bạn một lần nữa vì đã dành thời gian; Tôi hy vọng tất cả các bạn đều thích thú và có một ngày tuyệt vời.
Để tham khảo nội dung PPT, vui lòng bấm vào đây: https://img.foresightnews.pro/file/L2(0920).pdf
Tất cả bình luận