Eclipse: Lớp SVM 2 đầu tiên kết hợp bảo mật Ethereum, hiệu suất cao của Solana và tường thuật Celestia DA

Tiêu đề gốc: "Eclipse: SVM Layer2 đầu tiên kết hợp tính bảo mật của Ethereum, hiệu suất cao của Solana và câu chuyện của Celestia DA"

Nguồn gốc: Ac-Core của YBB Capital Researcher

Người sáng lập Eclipse Neel Somani từng làm kỹ sư phần mềm tại Airbnb và nhà nghiên cứu định lượng tại Citadel. Năm 2022, ông thành lập Eclipse, một công ty khởi nghiệp dựa trên Solana và 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 dẫn đầu và được tài trợ bởi Tribe Capital, Tabiya co -dẫn đầu vòng hạt giống trị giá 9 triệu USD, 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ệ và lợi thế địa lý gần trụ sở chính của Solana ở Chicago để sử dụng thành công máy ảo của Solana nhằm tạo ra một chuỗi Độc đáo. 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 cung cấp cho Solana Truyền thông liên chuỗi khối (IBC) Mở đường cho cách để giao tiếp với Cosmos."

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à cách tốt nhất để thúc đẩy trường hợp sử dụng của họ (chẳng hạn như các ứng dụng tài chính và tiêu dùng quy mô Web2)"

Kiến trúc Eclipse

<. br>

Theo lời giải thích chính thức, Eclipse Mainnet là L2 đa năng đầu tiên của Ethereum được xây dựng xung quanh SVM. Nó kết hợp những phần tốt nhất của ngăn xếp mô-đun và nhằm mục đích trở thành Ethereum nhanh nhất và nhanh nhất do SVM điều khiển. Lớp phổ quát2. 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 nối 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 là SVM của Solana được triển khai dưới dạng dự án Lớp 2 mô-đun; 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ẽ sử dụng Ethereum (tức là cầu nối 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 cũng sẽ đượ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ó 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 để triển khai Tính sẵn sà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 cho bằng chứng gian lận ZK (không cần tuần tự hóa trạng thái trung gian);

Giao thức truyền thông—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 truyền thông liên chuỗi IBC của Cosmos;

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

Nguồn: Eclipse chính thức

Lớp thanh toán: Truy cập tính bảo mật và thanh khoản của Ethereum

Eclipse được sử dụng giống như các bản tổng hợp Ethereum khác. Ethereum đóng vai trò thanh toán Quá trình này yêu cầu cầu xác minh của Eclipse trên Ethereum phải được tích hợp trực tiếp vào Eclipse. 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 có được tính bảo mật hoàn toàn hoặc một phần từ lớp đầu tiên của Ethereum để người dùng không có dựa vào Tính toàn vẹn của trình xác thực Lớp 2 để đả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ả, Mainnet Eclipse áp 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 để GPU và SSD để mở rộng theo chiều ngang), so với hoạt động đơn luồng EVM, ưu điểm của nó là 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 thi tuần tự.

Về 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 Web3 trên Ứng dụng Solana, theo dữ liệu chính thức, thông lượng của nó lớn hơn EVM đơn luồng và có thể đạ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à quan hệ đối tác lâu dài do Ethereum hiện tại không thể đáp ứng thông lượng và phí mục tiêu của Ecilpse, ngay cả sau khi nâng cấp EIP-4844. khoảng 0,375 MB dung lượng blob trên mỗi đoạn (với giới hạn khoảng 0,75 MB mỗi đoạn).

Theo dữ liệu chính thức, các giao dịch ERC-20 dựa trên việc mở rộng Rollup được tính là 154 byte cho mỗi giao dịch, tương đương với tổng của. tất cả các bản tổng hợp là 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 tính bảo mật của nền kinh tế mã hóa và khả năng mở rộng cao DA Do sự cân bằng giữa thông lượng, 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 tiện ích mở rộng GitHub số 2 để biết chi tiết), phù hợp với nhận thức sâu sắc của John Adler về việc tránh tuần tự hóa trạng thái Chi phí cao. Do đó, để tránh đưa lại cây Merkle (cây băm) vào SVM, các bên tham gia 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: các cam kết đầu vào của giao dịch, bản thân 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ả một đầu ra khác với đầu ra đượ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 của cây trạng thái Rollup. Người thực thi Eclipsse sẽ xuất bản đầu vào và Danh sách. đầu ra (bao gồm băm tài khoản và trạng thái toàn cầu được liên kết) và 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ó và tính toán tài khoản đầu ra và xác nhận rằng các cam kết về Ethereum 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: Người 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 như đã 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

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 Lớp 2 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 tới khả năng chống kiểm duyệt cao của Ethereum trong khối. 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 của 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: Thông lượng của DAC 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 được khả năng nén theo sơ đồ . 8 MB blobspace Điều này gần tương đương với 9.000 đến 30.000 lần truyề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ẽ dựa 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 bảo mật 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 hình ảnh: Eclipse chính thức - Logic tương tác mô-đun Eclipse

Theo giải thích tài liệu chính thức, như 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), 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 xác minh dựa trên gốc dữ liệu chữ ký của Celestia Bảo mật dữ liệu được cung cấp bởi bằng 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. Hợp đồng cầu nối tiền gửi Ethereum (xem liên kết mở rộng 1 để biết địa chỉ hợp đồng);

2. Eclipse nằm trong bộ thực thi SVM (tính toán kết quả SVM và xuất nó sang trạng thái mới Ecilpse). nút), 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. Bộ lặp gọi 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. Rơle xác minh giao dịch tiền gửi thông qua ứng dụng khách zk-light (sẽ đượ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 plugin 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 Cam kết về các khối dữ liệu đã cam kết được sử dụng để 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 hợp đồng cầu nối Eclipse trên Ethereum thông qua Blobstream.

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

Đồng thời, và 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 nếu quá trình chuyển đổi trạng thái không hợp lệ.

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

-Hợp đồng bridge 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 công bố là nguyên vẹn (xem bài viết tham khảo [2] Chương Thiết kế Chống Lừa đảo để biết chi tiết);

-Nếu lô được gửi vượt qua kiểm tra cơ bản, một cửa sổ được 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ấp chứng chỉ gian lận;

-Nếu người xác minh Sau khi phát hành 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ô được phát hành bị từ chối và trạng thái đặc tả của Eclipse L2 được khôi phục về 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 thời gian thử thách trôi qua mà không có bằng chứng gian lận, người thực thi sẽ rút tài sản thế chấp và phần thưởng của mình;

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

Tóm tắt

Eclipse vẫn đang trong giai đoạn thử nghiệm phát triển ban đầu mạng Giai đoạn 2 là Lớp 2 SVM đầu tiên trên Ethereum. 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 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ự xuất hiện của một số lượng lớn của "Bộ DeFi" do sự cường điệu của DeFi Summer. Sự đổi mới và mở rộng của "Baby" và "DeFi Lego" đã dẫn đến 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 sự 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ừ đó cho phép đổi mới ở từng lớp trong ngăn xếp và cho phép mỗi lớp được tối ưu hóa của các mô-đun có thể khuếch đại việc tối ưu hóa các mô-đun khác 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 tùy chọn cạnh tranh cho các nhà phát triển và người dùng.

Bài viết tham khảo

[1] https://blog.celestia.org/introducing-blobstream/ Giới thiệu Blobstream: Cung cấp DA mô-đun cho Ethereum

[2] https://mirror.xyz/eclipsemainnet.eth/0Q9NufkOPaRfCwi0yFj-_D4eONgscqpr00HGgYCwkHA ?ref= twitter Khám phá hệ thống xác minh và bắc cầu Canonical Ethereum của Eclipse

Liên kết mở rộng

(1) https://sepolia.etherscan.io/ address/0x7C9e161ebe55000a3220F972058Fb83273653a6e Tiền gửi Ecilpse Địa chỉ cầu nối hợp đồng

(2) https://github.com/solana-foundation/solana-improvement-documents/pull/65 SIMD: Bằng chứng gian lận của SVM

(3) https://github.com/Eclipse-Laboratories-Inc/zk-bpf chứng minh việc thực thi mã byte BPF

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia