Eclipse Mainnet là một Lớp 2 tổng quát kết hợp những phần tốt nhất của ngăn xếp có thể điều chỉnh:
- Giao dịch: Ethereum – Eclipse sẽ được g settle vào Ethereum (nghĩa là, cầu kết nối được xác thực sẽ nằm trên Ethereum) và sử dụng ETH làm token gas.
- Thực thi: Máy ảo Solana (SVM) – Eclipse sẽ chạy SVM với hiệu năng cao làm môi trường thực thi của nó.
- Dữ liệu có sẵn: Celestia – Eclipse sẽ đăng dữ liệu của mình lên Celestia để có dữ liệu có sẵn (DA) có thể mở rộng.
- Chứng minh: RISC Zero – Eclipse sẽ sử dụng RISC Zero để chứng minh ZK về gian lận (mà không cần serialization trạng thái trung gian!)
Hầu hết tiêu đề của Eclipse đều xoay quanh công việc của chúng tôi trong việc triển khai các rollup dành riêng cho ứng dụng cho một loạt dự án, nhưng giờ đây đã rõ hơn bao giờ hết rằng Ethereum cần một Lớp 2 tổng quát có khả năng mở rộng thực sự lớn. Hầu hết các ứng dụng không được lợi từ việc tùy chỉnh chuỗi dành riêng cho ứng dụng và sự cô lập và phức tạp kết quả có thể thực sự dẫn đến trải nghiệm người dùng và nhà phát triển tồi tệ hơn.
Thường có một sự đối lập sai lầm giữa tầm nhìn rollup có thể điều chỉnh so với khả năng có một chuỗi duy nhất với quy mô lớn, thực thi song song và trạng thái chung. “Modular” thường được đồng nghĩa với “app-specific”, điều này khiến bạn tin rằng rollups nghĩa là một thế giới của nhiều chuỗi bị phân mảnh và có lưu lượng thông qua thấp. Chúng tôi thách thức quan điểm đó.
Thực thi: Tốc độ & Quy mô của Solana
Eclipse Mainnet sẽ tiếp nhận môi trường thực thi hàng đầu của Solana. Điều này mang lại nhiều lợi ích:
- Thực thi Song song Được Tối ưu hóa: SVM và runtime Sealevel của nó nổi tiếng vì cho phép thực thi giao dịch song song. Các giao dịch không chạm vào trạng thái chồng chéo có thể được thực thi song song thay vì tuần tự.
- Thị trường Phí Địa phương: Hầu hết các thị trường phí ngày nay là toàn cầu, có nghĩa là một ứng dụng nóng tăng phí cho tất cả người dùng của chuỗi. Một NFT được tạo ra không nên khiến chuỗi trở nên vô ích cho mọi thứ khác. Công việc tuyệt vời của Solana về thị trường phí địa phương giải quyết vấn đề này. Trong triển khai hiện tại, bộ lập lịch ưu tiên các giao dịch không có xung đột, cho phép các giao dịch không xung đột được thực hiện với phí thấp hơn.
- Quản lý Tăng trưởng Trạng thái: Trước khi EVM gặp vấn đề về thực thi tuần tự như là một nút chặn, tăng trưởng trạng thái là vấn đề nghiêm trọng hơn.
- Tương thích EVM: Neon EVM là một EVM hoạt động như một hợp đồng thông minh có thể được triển khai trên bất kỳ chuỗi SVM nào. Điều này mang lại sự tương thích EVM đầy đủ cho Eclipse Mainnet.
- MetaMask Snaps: Việc đưa người dùng EVM đến các chuỗi không phải EVM đã từng là một trở ngại lớn, nhưng Metamask Snaps được tiết lộ gần đây sẵn sàng phá vỡ rào cản đó.
- Firedancer: Firedancer là ứng dụng khách Solana được mong đợi, đang được Jump phát triển để tăng đáng kể lưu lượng thông qua, sự linh hoạt và hiệu quả của mạng.
- An toàn: Runtime của Solana có diện tích tấn công giảm đáng kể, ngăn chặn những cuộc tấn công reentrancy mà chúng ta thường thấy.
- Chứng minh Dễ dàng: SVM dựa trên sổ đăng ký và có một tập hợp chỉ dẫn nhỏ hơn so với EVM.
Bảo mật & Tính thanh khoản của Ethereum
Giống như các rollups lớn hiện nay, Eclipse Mainnet sẽ định rõ vào Ethereum. Cụ thể, điều này có nghĩa là cầu nối xác thực của chúng tôi trên Ethereum sẽ được tích hợp trực tiếp vào Eclipse. Các nút của Eclipse sẽ nhìn vào cầu này để xác định “chuỗi chính thống”. Cầu nối này sẽ đảm bảo việc sắp xếp chính xác cho Eclipse.
Điều này cho phép người dùng của chúng tôi có được một số tính chất bảo mật từ Ethereum. Cầu nối sẽ xác nhận tất cả giao dịch của Eclipse, ngăn chặn việc nộp trạng thái không hợp lệ. Ngoài ra, nó sẽ đảm bảo tính sống còn cuối cùng và kháng kiểm duyệt trong một số trường hợp lỗi. Ngay cả khi sequencer bị hỏng hoặc bắt đầu kiểm duyệt ở L2, người dùng sẽ có thể ép buộc việc bao gồm giao dịch của họ qua cầu nối.
Vì những tính chất bảo mật này, validiums và optimiums thường được gọi là “Ethereum L2s”. L2BEAT định nghĩa một L2 là “một chuỗi hoàn toàn hoặc một phần lấy nguồn bảo mật từ Ethereum lớp một để người dùng không phải dựa vào sự trung thực của các xác thực viên L2 để bảo đảm an toàn cho số tiền của họ.”
Tính Sẵn Có Dữ Liệu: Băng thông & Khả năng Xác Minh của Celestia
Mainnet Eclipse sẽ sử dụng Celestia cho tính sẵn có dữ liệu (còn được biết đến là xuất bản dữ liệu). Celestia đã là một đối tác lâu dài trong hệ sinh thái của Eclipse.
Băng thông và phí mục tiêu của Mainnet Eclipse không được hỗ trợ bởi băng thông hiện tại của Ethereum. Điều này vẫn còn tồn tại ngay cả sau EIP-4844 (hay còn gọi là “Proto-danksharding”), cung cấp trung bình khoảng ~0.375 MB blobspace mỗi khối (với giới hạn là ~0.75 MB mỗi khối).
Với việc chuyển ERC-20 có nén cơ bản (~154 byte mỗi giao dịch), điều này tương đương với ~213 TPS trên tất cả các rollups.
Với việc trao đổi có nén (~400 byte mỗi giao dịch), điều này tương đương với ~82 TPS trên tất cả các rollups.
So sánh với đó, Celestia sẽ ra mắt với khối 2 MB vào cuối năm nay. Blobspace dự kiến sẽ tăng lên 8 MB ngay sau khi ra mắt, khi đủ nút DAS light hoạt động và mạng được chứng minh ổn định. Nút DAS light phục vụ hai chức năng quan trọng:
- Cho phép người dùng tự xác minh rằng dữ liệu khối Eclipse đã sẵn sàng.
- Góp phần mở rộng mạng an toàn, khi có thêm nút DAS light hoạt động, các lớp DA có thể tăng băng thông của họ một cách an toàn.
Celestia dự kiến sẽ là lớp DA đầu tiên ra mắt với DAS trong sản xuất. Điều này trái ngược với Uỷ ban Sẵn có Dữ liệu truyền thống (DAC), mà tái nhập giả định về sự trung thực của ủy ban mà không có xác minh từ người dùng (tương tự như blockchain monolithic hiện tại).
Có một giả định bảo mật cho người dùng chuyển tiền của họ từ Mainnet Ethereum sang bất kỳ chuỗi nào sử dụng DA ngoại tuyến. Cụ thể, là có khả năng cho các xác thực viên của Celestia giữ dữ liệu giao dịch nhưng lại tuyên bố với cầu nối Ethereum rằng dữ liệu đã sẵn sàng. Trên thực tế, bằng chứng cược của Celestia nghĩa là việc giữ dữ liệu trên chính Celestia có thể bị trừ điểm, làm cho rủi ro này trở nên không thực tế theo quan điểm của chúng tôi.
Nhìn chung, sự hỗ trợ nút DAS light từ Celestia từ ngày đầu tiên, tính chất bảo mật kinh tế mã hóa, và băng thông DA có khả năng mở rộng cao làm cho nó trở thành lựa chọn rõ ràng cho Mainnet Eclipse ngày hôm nay.
Lưu ý rằng một số người xem DA trên chuỗi Ethereum là một yêu cầu để trở thành một “L2” thực sự ở đây vì những lý do đã mô tả ở trên. Chúng tôi tuân theo thuật ngữ L2 phổ biến hơn được trích dẫn trước đó và chúng tôi muốn rõ ràng về các xét xử về bảo mật.
Chúng tôi cũng dự định theo dõi tiến trình của Ethereum về việc mở rộng DA sau EIP-4844. Các nghiên cứu mới thú vị tiếp tục được công bố, có khả năng cung cấp băng thông DA cao hơn so với những ý tưởng trước đây (sử dụng bảng băm phân tán tiên tiến hơn). Nếu Ethereum cung cấp quy mô lớn hơn cho Eclipse vì lợi ích của người dùng của chúng tôi, chúng tôi sẽ đánh giá khả năng chuyển sang DA Ethereum.
Chứng minh: Bằng chứng Lừa đảo ZK RISC Zero
Việc chúng tôi chứng minh sẽ giống với bằng chứng lừa đảo SVM của Anatoly, giống với nhận định của John Adler rằng việc tổ chức trạng thái là đắt đỏ, và có thể tránh được nó.
Cụ thể, chúng tôi muốn tránh việc tái nhập một cây Merkle vào SVM. Chúng tôi đã thử nghiệm việc chèn một Cây Merkle Rời rạc vào SVM từ trước, nhưng việc cập nhật cây Merkle sau mỗi giao dịch dẫn đến việc giảm hiệu suất đáng kể. Việc chứng minh mà không cần cây Merkle loại trừ các khung rollup chung như OP Stack làm cơ sở cho rollups SVM, và cũng đòi hỏi một kiến trúc bằng chứng lỗi sáng tạo hơn.
Ở mức cao, một bằng chứng lỗi yêu cầu:
- Cam kết về đầu vào cho một giao dịch,
- Chính giao dịch đó, và
- Bằng chứng rằng việc thực hiện lại giao dịch dẫn đến một kết quả khác so với những gì được chỉ định trên chuỗi.
Cam kết đầu vào thường được thực hiện bằng cách cung cấp gốc Merkle cho cây trạng thái rollup. Thực thi viên của chúng tôi sẽ thay vào đó đăng một danh sách đầu vào và đầu ra (bao gồm các băm tài khoản và trạng thái toàn cầu liên quan) cho mỗi giao dịch, cùng với một chỉ mục của giao dịch đã tạo ra mỗi đầu vào. Giao dịch được công bố trên Celestia, vì vậy bất kỳ nút đầy đủ nào cũng có thể theo dõi để kéo các tài khoản đầu vào từ trạng thái của chính nó, tính toán các tài khoản đầu ra, và xác nhận rằng cam kết trên Ethereum là chính xác.
Có hai loại lỗi lớn có thể xảy ra:
- Đầu ra không chính xác – Trong trường hợp này, người xác minh cung cấp một bằng chứng ZK trên chuỗi về các đầu ra chính xác. Chúng tôi đang sử dụng RISC Zero để tạo bằng chứng ZK của việc thực hiện SVM, tiếp tục công việc trước đó của chúng tôi về việc chứng minh việc thực hiện bytecode BPF. Điều này cho phép hợp đồng giải quyết của chúng tôi đảm bảo độ chính xác mà không cần phải thực hiện chính giao dịch trên chuỗi.
- Đầu vào không chính xác – Trong trường hợp này, người xác minh đăng trên chuỗi một tham chiếu đến dữ liệu lịch sử cho thấy trạng thái đầu vào không như đã tuyên bố. Sử dụng Cầu nối Trọng lực Lượng tử của Celestia, hợp đồng giải quyết của chúng tôi đảm bảo rằng dữ liệu lịch sử này thực sự chứng minh sự gian lận.
Tại sao chọn Eclipse, Tại sao chọn Ethereum, Tại sao bây giờ
- Trạng thái của Rollups:
- Các rollups hiện đại mang lại tiến bộ về nghiên cứu và phí thấp hơn cho người dùng Ethereum.
- Tuy nhiên, chúng chưa được tối ưu hoá đầy đủ sử dụng các công nghệ mới nhất hiện có.
- Tiến bộ:
- Chúng ta hiện có Máy ảo đồng thời hiệu suất cao (SVM).
- Tối ưu hoá DA với sự hỗ trợ của nút DAS thông qua các nền tảng như Celestia.
- Lợi ích của Eclipse:
- Eclipse học hỏi từ những hạn chế mà các chuỗi khác gặp phải và chọn lựa những phần tốt nhất để mở rộng lâu dài.
- Vấn đề với nhiều chuỗi:
- Dù sự tùy chỉnh ở cấp độ đồng thuận có thể rất giá trị cho một số ứng dụng, nhưng những trường hợp này không phổ biến. Hầu hết các rollups mới vẫn chỉ là bản sao EVM. Việc phân mảnh trải nghiệm người dùng trên nhiều chuỗi không giải quyết vấn đề cho nhà phát triển.
- Mục tiêu của Eclipse:Kết hợp hiệu suất của Solana với tính an toàn, khả năng xác minh, và ảnh hưởng mạng của lộ trình tập trung vào rollup
Suy Nghĩ Cuối Cùng
Vẻ đẹp của Ethereum nằm ở việc nó không ngừng đổi mới. Lộ trình tập trung vào rollup chính là hình mẫu tiêu biểu cho điều này, giao quyền thực thi và sự đổi mới cho thị trường tự do. Các L2 có khả năng phi thường trong việc tận dụng lợi ích mạng và đảm bảo thanh toán của Ethereum trong khi thử nghiệm với các môi trường thực thi mới nhất. Eclipse Mainnet chính là sự hiện thực hoàn hảo của tầm nhìn này.
Nếu một lớp thực thi hiệu suất cao hơn xuất hiện vào một ngày nào đó, chúng tôi sẽ rất phấn khích khi thấy nó được triển khai như một L2 cạnh tranh cho Ethereum. Cho đến lúc đó, SVM vẫn là tiêu chuẩn.
