Báo cáo nghiên cứu: SVM Layer2 đầu tiên - Eclipse

Tác giả: Nhà nghiên cứu vốn YBB Ac-Core; Biên soạn bởi: Block Rhythm

Người sáng lập Eclipse Neel Somani từng làm kỹ sư phần mềm tại Airbnb và Citadel đóng vai trò là nhà nghiên cứu định lượng và thành lập công ty khởi nghiệp Eclipse có trụ sở tại Solana vào năm 2022, đồng thời nhận được sự hỗ trợ từ người đồng sáng lập Solana là Anatoly Ykovenko và Polygon (để xây dựng chuỗi khối Rollup tương thích cho Solana và Polygon).

Theo báo cáo của CoinDesk vào ngày 28 tháng 9 năm 2022, Eclipse đã hoàn thành thành công vòng tài trợ Pre-Seed trị giá 6 triệu đô la do Polychain và A$9 dẫn đầu triệu vòng hạt giống do Tribe Capital và Tabiya đồng chủ trì, nâng tổng số tiền tài trợ lên 15 triệu USD. Eclipse cũng đã nhận được khoản tài trợ phát triển từ Quỹ Solana để hỗ trợ Rollup chạy trên Máy ảo Solana.

Người sáng lập Eclipse Somani đã sử dụng các mối quan hệ của mình và lợi thế địa lý là gần trụ sở chính ở Chicago của Solana để tạo thành công một chuỗi độc đáo bằng cách sử dụng máy ảo của Solana. Tầm nhìn là cho phép các nhà phát triển triển khai Rollup được cung cấp bởi Solana VM, với kế hoạch ra mắt mạng thử nghiệm công khai trên hệ sinh thái Cosmos vào đầu năm 2023, cũng như có kế hoạch hỗ trợ ngôn ngữ Move của Aptos trong tương lai.

Người đồng sáng lập Solana và nhà đầu tư thiên thần Eclipse Anatoly Ykovenko nhận xét: "Eclipse mở đường cho Solana giao tiếp với Cosmos thông qua giao tiếp giữa các blockchain (IBC). . "

Niraj Pant, đối tác tại Polychain Capital, nhận xét: "Khi các doanh nghiệp lớn và chính phủ bắt đầu tham gia vào không gian blockchain, Eclipse là giải pháp tốt nhất để hỗ trợ họ sử dụng trường hợp như ứng dụng tài chính và tiêu dùng quy mô Web2).."

Kiến trúc Eclipse

The nội dung sau Theo lời giải thích chính thức, Eclipse Mainnet là L2 phổ quát đầu tiên được xây dựng xung quanh SVM trong Ethereum. Nó kết hợp các phần tốt nhất của ngăn xếp mô-đun và nhằm mục đích trở thành Lớp 2 phổ biến và nhanh nhất của Ethereum do SVM điều khiển. Kiến trúc dự án sử dụng Ethereum làm lớp giải quyết và được sử dụng cho cầu xác minh nhúng chính thức; Celestia làm lớp sẵn có của dữ liệu; RISC Zero được sử dụng để tạo bằng chứng gian lận không có kiến ​​thức; và cuối cùng SVM của Solana được triển khai dưới dạng dự án Lớp 2 mô-đun như toàn bộ. Sau đây sẽ được giải thích chi tiết dựa trên các giải thích chính thức.

Lớp thanh toán—Ethereum: Eclipse sẽ chuyển sang Ethereum (tức là cầu xác minh được nhúng trên Ethereum) và sử dụng ETH làm mức tiêu thụ Gas và bằng chứng gian lận sẽ cũng được gửi trên Ethereum;

Lớp thực thi—Máy ảo Solana (SVM): Eclipse sẽ chạy SVM hiệu suất cao làm môi trường thực thi của nó. Tức là, một nhánh của ứng dụng khách Solana Labs (v1.17);

Lớp sẵn có của dữ liệu—Celestia: Eclipse sẽ xuất bản dữ liệu lên Celestia để đạt được tính khả dụng của dữ liệu có thể mở rộng (DA);< /p>

Cơ chế chứng minh—RISC Zero: Eclipse sẽ sử dụng RISC Zero để chống gian lận ZK (không cần tuần tự hóa trạng thái trung gian);

Giao thức giao tiếp—IBC: Kết nối hoàn chỉnh với các chuỗi không phải Eclipse thông qua tiêu chuẩn giao tiếp liên chuỗi IBC của Cosmos;

Giao thức chuỗi chéo— Hyperlane: Eclipse và Hyperlane đang hợp tác để đưa giải pháp tương tác không cần cấp phép của Hyperlane vào các chuỗi khối dựa trên Máy ảo Solana (SVM).

Nguồn hình ảnh: Eclipse chính thức

Lớp giải quyết: Lấy Ether Tính bảo mật và tính thanh khoản của Ethereum

Eclipse sử dụng Ethereum làm lớp thanh toán giống như các Bản tổng hợp Ethereum khác. Quá trình này yêu cầu cài đặt Eclipse trên Ethereum. Cầu xác minh trên nền tảng được tích hợp trực tiếp vào Eclipse và các nút của nó cần phát hiện tính chính xác của cầu xác minh và thứ tự giao dịch chính xác để người dùng có thể có được bảo mật cấp Ethereum.

L2BEAT định nghĩa Layer2 là “một chuỗi bắt nguồn bảo mật hoàn toàn hoặc một phần từ lớp Ethereum đầu tiên để người dùng không phải dựa vào tính toàn vẹn của Layer2 người xác nhận. Đảm bảo an toàn cho tiền." Cầu xác thực Eclipse thực thi tính hợp lệ tối đa và khả năng chống kiểm duyệt trong các điều kiện lỗi nhất định, cho phép người dùng buộc hoàn thành các giao dịch của họ thông qua cầu và sử dụng Ethereum làm khí giao dịch ngay cả khi trình sắp xếp chuỗi ngừng hoạt động hoặc quá trình kiểm duyệt bắt đầu trong L2 Thực hiện đốt cháy.

Lớp thực thi: Đạt được tốc độ giao dịch và hiệu ứng quy mô của Solana

Để nâng cao hiệu quả, Eclipse Mainnet sử dụng môi trường thực thi của Solana, sử dụng SVM và Sealevel (Solana được sử dụng để xây dựng các giải pháp kỹ thuật mở rộng theo chiều ngang và công cụ xử lý giao dịch siêu song song được sử dụng để mở rộng theo chiều ngang trên GPU và SSD), phù hợp với EVM So với hoạt động đơn luồng, ưu điểm là nó có thể được thực thi mà không cần thiết kế các giao dịch trạng thái chồng chéo, thay vì thực hiện tuần tự.

Về các vấn đề tương thích EVM, Eclipse Mainnet đã hợp tác với Neon EVM để cho phép các nhà phát triển tận dụng các công cụ Ethereum và xây dựng các ứng dụng Web3 trên Solana. Theo dữ liệu chính thức, thông lượng của nó lớn hơn EVM đơn luồng, đạt mức 140TPS. Người dùng EVM tương tác với các ứng dụng nguyên bản trong Eclipse Mainnet thông qua plug-in "Snaps" của ví MetaMask.

Tính sẵn có của dữ liệu: Tận dụng băng thông và tính chất có thể kiểm chứng của Celestia

Ecilpse Mainnet sẽ tận dụng Celestia để có được dữ liệu sẵn có và mối quan hệ lâu dài. Lý do là Ethereum hiện không thể đáp ứng thông lượng và phí mục tiêu của Ecilpse, có thể cung cấp trung bình khoảng 0,375 mỗi khối ngay cả sau khi nâng cấp EIP-4844 . MB dung lượng Blobs (giới hạn khoảng 0,75 MB mỗi khối).

Theo dữ liệu chính thức, sử dụng giao dịch ERC-20 dựa trên bản mở rộng Rollup, được tính bằng 154 byte cho mỗi giao dịch, tương đương với tổng số tất cả các Rollup, khoảng 213TPS và Đối với Hoán đổi nén, mỗi giao dịch có dung lượng khoảng 400 byte và TPS của tất cả các bản tổng hợp là khoảng 82TPS. So với các khối 2 MB do Celestia đưa ra, Blobstream dự kiến ​​sẽ tăng lên 8 MB sau khi mạng chứng minh được sự ổn định và nhiều nút ánh sáng DAS (tỷ lệ liên quan được giải thích bên dưới) bật và tắt.

Ecilpse tin rằng với sự hỗ trợ của nút ánh sáng DAS của Celestia, ngoài việc xem xét sự cân bằng giữa tính bảo mật của nền kinh tế mã hóa và thông lượng DA có khả năng mở rộng cao, Celestia đã trở thành lựa chọn tốt nhất cho Mainnet Eclipse hiện nay. Mặc dù hiện tại có quan điểm cho rằng sử dụng Ethereum DA là Lớp 2 chính thống, nhóm dự án sẽ tiếp tục chú ý đến tiến trình mở rộng DA sau EIP-4844. Nếu Ethereum có thể cung cấp cho Eclipse quy mô lớn hơn và thông lượng cao DA, nó sẽ đánh giá lại khả năng chuyển sang Ethereum DA.

Cơ chế chứng minh: RISC Zero bằng chứng gian lận (không có tuần tự hóa trạng thái trung gian)

Phương pháp chứng minh của Eclipse tương tự như SIMD chống gian lận SVM của Anatoly (xem liên kết mở rộng GitHub số 2 để biết chi tiết), phù hợp với hiểu biết sâu sắc của John Adler để tránh chi phí cao cho việc tuần tự hóa trạng thái. Do đó, để tránh đưa lại cây Merkle (cây băm) vào SVM, các bên dự án ban đầu đã cố gắng chèn Cây Merkle thưa thớt vào SVM, nhưng việc cập nhật cây Merkle mỗi lần giao dịch sẽ có tác động rất lớn đến hiệu suất. Các khung tổng hợp có mục đích chung hiện tại (chẳng hạn như ngăn xếp OP) không thể làm cơ sở cho việc tổng hợp SVM mà không sử dụng cây Merkle để chứng minh, điều này đòi hỏi nhiều kiến ​​trúc chống lỗi sáng tạo hơn.

Yêu cầu về bằng chứng thất bại: cam kết đầu vào của giao dịch, chính giao dịch đó và bằng chứng cho thấy việc thực hiện lại giao dịch sẽ dẫn đến kết quả đầu ra khác với kết quả đã chỉ định trên dây chuyền.

Cam kết đầu vào thường được triển khai bằng cách cung cấp gốc Merkle của cây trạng thái Rollup. Người thực thi Eclipsse sẽ xuất bản đầu vào và đầu ra của mỗi giao dịch (bao gồm cả hàm băm tài khoản danh sách giá trị và trạng thái toàn cầu liên quan), cũng như chỉ mục giao dịch tạo ra từng đầu vào và xuất bản giao dịch lên Celestia để bất kỳ nút đầy đủ nào cũng có thể theo dõi, trích xuất tài khoản đầu vào từ trạng thái của chính nó, tính toán tài khoản đầu ra và xác nhận tài khoản đầu ra trên Ethereum Lời hứa là chính xác.

Ở đây cũng có thể có hai loại lỗi chính:

Đầu ra không chính xác: Trình xác minh cung cấp Bằng chứng ZK về chuỗi đầu ra chính xác. Eclipse sử dụng RISC Zero để tạo bằng chứng ZK về việc thực thi SVM, tiếp tục công việc trước đó của dự án chứng minh việc thực thi mã byte BPF (xem liên kết mở rộng GitHub số 3 để biết chi tiết). Điều này cho phép hợp đồng thanh toán của chúng tôi đảm bảo tính chính xác mà không cần phải thực hiện các giao dịch trên chuỗi.

Đầu vào không chính xác: Trình xác thực xuất bản dữ liệu lịch sử trên chuỗi cho biết rằng trạng thái đầu vào không khớp với những gì được yêu cầu. Cầu Trọng lực Lượng tử của Celestia được sử dụng để cho phép hợp đồng giải quyết Eclipse xác minh rằng có gian lận trong dữ liệu lịch sử.

Mối liên hệ của Eclipse với ETH và Celestia

Nguồn: @jon_charb< /p >

DA là một trong những phần chính của chi phí tổng hợp. Hiện tại, có hai phương pháp chính về tính khả dụng của dữ liệu trong Ethereum L2, Calldata và DAC (Ủy ban sẵn có dữ liệu).

Calldata: Các giải pháp Layer2 như Arbitrum hoặc Optimism xuất bản dữ liệu giao dịch trực tiếp trên chuỗi dưới dạng calldata vào các khối có khả năng chống kiểm duyệt cao của Ethereum. Ethereum thống nhất việc định giá dữ liệu cuộc gọi, tính toán và lưu trữ dưới một đơn vị: Gas, đây cũng là một trong những chi phí chính trong chi tiêu Rollup trên Ethereum. Để nâng cao hiệu quả, bản nâng cấp EIP-4844 đã giới thiệu Blobspace để thay thế calldata, từ đó cung cấp giá trị mục tiêu là 375 KB mỗi khối cho tất cả các Bản tổng hợp;

DAC: DAC có thông lượng cao hơn nhiều so với việc phát hành dữ liệu cuộc gọi trực tiếp trên chuỗi, nhưng người dùng cần tin tưởng vào một ủy ban nhỏ hoặc nhóm người xác thực để tránh việc giữ lại dữ liệu một cách có ác ý. DAC, cũng bao gồm các giải pháp dựa trên việc đặt lại, đưa ra các giả định đáng tin cậy về L2, buộc DAC phải dựa vào danh tiếng, cơ chế quản trị hoặc biểu quyết bằng token để ngăn chặn hoặc trừng phạt hành vi giữ lại dữ liệu, do đó, ở một mức độ nhất định khi sử dụng DA bên ngoài , cần có DAC.

Cần nói thêm rằng Celestia sử dụng mạng đồng thuận Blobstream Proof of Stake trong Eclipse để cho phép Layer2 truy cập Blobspace của Celestia, đạt 8 MB blobspace theo sơ đồ nén Điều này gần tương đương với 9.000 đến 30.000 lần chuyển ERC-20 mỗi giây. Tuy nhiên, việc sử dụng Lớp 2 của Blobstream trong quy trình sẽ phụ thuộc vào chứng nhận của trình xác minh Celestia. Nếu nút nhẹ của quy trình đảm bảo an ninh phát hiện hành vi độc hại của 2/3 số trình xác minh Celestia bằng cách giữ lại dữ liệu, họ có thể bị trừng phạt. DAC và chuỗi gốc DA Vẫn còn một thiếu sót so với mức độ tin cậy, nhưng thiếu sót này là không thể tránh khỏi khi nhìn từ góc độ đổi mới và tường thuật thị trường.

Nguồn: Chính thức của Eclipse - Logic tương tác mô-đun Eclipse

Theo Chính thức tài liệu giải thích rằng như thể hiện trong hình trên, Eclipse vượt qua Blobstream của Celestia (vì giải pháp DA mô-đun Ethereum dựa trên phần mở rộng DAS đã được giới thiệu ở trên) và dữ liệu Eclipse được chứng nhận cho Ethereum đã được thử nghiệm và chạy, cho phép cầu nối dựa trên Chữ ký của Celestia. Gốc dữ liệu để xác minh bảo mật dữ liệu được cung cấp để chống gian lận. Người dùng gửi tiền vào Eclipse thông qua cầu nối Ethereum gốc. Quá trình này được tóm tắt như sau:

1. Người dùng gọi hợp đồng cầu gửi Eclipse trên Ethereum (đối với địa chỉ hợp đồng, xem Liên kết tiện ích mở rộng 1);

2.Eclipse nằm trong bộ thực thi SVM (tính toán kết quả SVM và xuất chúng sang nút trạng thái mới Ecilpse) và bộ lặp (kênh ETH và Eclipse) để hoàn thành tương tác dữ liệu chuỗi chéo giữa địa chỉ gửi và địa chỉ nhận của người dùng;

3. Cuộc gọi chuyển tiếp chương trình cầu nối SVM và chịu trách nhiệm gửi tiền gửi của người dùng đến địa chỉ đích;

4. Bộ lặp xác minh giao dịch tiền gửi thông qua ứng dụng khách zk-light (được đã triển khai);

5. Khối giao dịch chuyển khoản cuối cùng chứa các khoản tiền gửi tiếp theo được hoàn thành và xuất bản thông qua plug-in Solana Geyser.

Trong quá trình này, người thực thi SVM sẽ xuất bản từng vị trí Eclipse vào hàng đợi tin nhắn thông qua Geyser và vị trí của nó sẽ được xuất bản lên Celestia dưới dạng khối dữ liệu và Trình xác minh của Celestia chấp nhận các khối dữ liệu được gửi để chứng minh rằng giao dịch được bao gồm trong chuỗi Eclipse và tương ứng với gốc dữ liệu. Cuối cùng, mỗi khối dữ liệu Celestia được chuyển tiếp đến cầu Eclipse trên Ethereum thông qua Blobstream trong hợp đồng.

Nguồn: Eclipse Official: Celestia tương tác với người thực thi SVM

Với At the đồng thời, tương tự như các Lớp 2 khác trong Ethereum sử dụng bằng chứng gian lận, việc rút tiền giữa Eclipse và Ethereum cũng yêu cầu một khoảng thời gian truy vấn để người xác minh có thể gửi bằng chứng gian lận khi quá trình chuyển đổi trạng thái không hợp lệ.

-Người thực thi SVM sẽ định kỳ phát hành một kỷ nguyên (xử lý theo số lô được xác định trước) của khe Eclipse sang Ethereum để cam kết và giải phóng thế chấp;

p>

-Hợp đồng cầu nối của Eclipse thực hiện các kiểm tra cơ bản để đảm bảo rằng định dạng dữ liệu được xuất bản còn nguyên vẹn (xem bài viết tham khảo [2] Chương Thiết kế chống gian lận để biết chi tiết);

-Nếu lô đã gửi vượt qua bước kiểm tra cơ bản, một cửa sổ xác định trước sẽ được tạo. Trong cửa sổ này, nếu lô được cam kết, điều đó có nghĩa là quá trình chuyển đổi trạng thái không hợp lệ và người xác minh có thể công bố bằng chứng gian lận. Bằng chứng;

- Nếu người xác minh công bố thành công bằng chứng gian lận, họ giành được sự đảm bảo của người thi hành, lô đã xuất bản bị từ chối và trạng thái chuẩn của Eclipse L2 Quay trở lại cam kết lô hợp lệ cuối cùng. Tại đây, những người quản lý Eclipse sẽ có quyền bầu ra một người thực thi mới;

-nhưng nếu vượt qua thời gian thử thách mà không có bằng chứng gian lận thì người thực thi sẽ bị rút lui Tài sản thế chấp và phần thưởng của nó;

-Cuối cùng, hợp đồng cầu nối Eclipse hoàn thành tất cả các giao dịch rút tiền có trong đợt cuối cùng.

Tóm tắt

Eclipse vẫn đang trong giai đoạn mạng thử nghiệm phát triển ban đầu và dựa trên Ethereum SVM Layer2 đầu tiên, mạng thử nghiệm hiện đang trực tuyến và mạng chính dự kiến ​​sẽ được phát hành vào quý 1 năm 2024. Ethereum hiện vẫn coi Rollup là lộ trình phát triển cốt lõi của mình. Gạt chủ đề chính thống sang một bên, điều này ở một mức độ nhất định có nghĩa là Ethereum đã chuyển giao định nghĩa rộng rãi về Lớp 2 cho thị trường, do đó việc trao quyền công khai cũng bị ẩn giấu. cuộc thi. Eclipse tận dụng lợi thế này và sử dụng sự phát triển mô-đun để kết hợp tính bảo mật của Ethereum, hiệu suất cao của Solana và Celestia DA để tạo ra một câu chuyện thị trường mạnh mẽ.

Nhìn lại quá trình phát triển của Ethereum, một điểm rất thú vị là đợt điều kiện thị trường vừa qua là do sự cường điệu của DeFi Summer và sự xuất hiện của một số lượng lớn "Búp bê làm tổ DeFi" và Sự đổi mới và tăng cân của "DeFi Lego" đã tạo ra sự phát triển vượt bậc của toàn bộ hệ sinh thái. Trong vòng này, một số lượng lớn các kết hợp "đặt cược matryoshka" và "đặt cược Lego" đã xuất hiện dưới sự kết hợp giữa LSD và đặt cược lại, cho phép EigenLayer, Blast và Merlin của hệ sinh thái BTC đạt được mức cao mới về TVL trong thời gian ngắn. Nếu chúng ta coi búp bê matryoshka và Lego là chủ đề chính của tâm lý thị trường thì tính mô-đun cũng có thể phát ra búp bê matryoshka và giai điệu Lego của riêng nó trong tương lai.

Sức hấp dẫn của tính mô-đun nằm ở lợi ích tách rời của các thành phần, từ đó hiện thực hóa sự đổi mới ở từng lớp trong ngăn xếp, để việc tối ưu hóa từng mô-đun có thể khuếch đại Tối ưu hóa khác của các mô-đun, có lẽ trong tương lai, quá trình phát triển mô-đun hóa có thể tạo ra một số lượng lớn các lựa chọn cạnh tranh cho nhà phát triển và người dùng.