TL;DR

1/ Bản chất của tính mô-đun là phá vỡ “tam giác bất khả thi” và đạt được khả năng mở rộng công suất mà không làm tăng gánh nặng cho phần cứng nút.

2/ Celestia là lớp sẵn có của dữ liệu Tương tự như Optimistic Rollup, dữ liệu khối mặc định là hợp lệ. Nó sử dụng bằng chứng gian lận, mã hóa xóa và lấy mẫu tính sẵn có của dữ liệu để thực hiện xác minh dữ liệu, đồng thời cho phép các nút ánh sáng tham gia xác minh.

3/ Celestia bước đầu đã hình thành hệ sinh thái. Hiện tại, các dự án sinh thái nổi tiếng bao gồm Fuel, Cevmos, v.v.

4/ Làm thế nào Celestia có thể nắm bắt thời kỳ cửa sổ, hình thành hiệu ứng quy mô trước Polygon Avail và Danksharding, đồng thời thu hút một lượng lớn thanh khoản, đặc biệt là tính thanh khoản của Rollup gốc, sẽ rất quan trọng.

Thông thường, Lớp 1 được chia thành bốn lớp:

1) Lớp đồng thuận

2) Lớp lún

3) Lớp dữ liệu

4) Lớp thực thi

Một lớp đồng thuận là điều cần thiết. Mô-đun hóa nghĩa là tách một hoặc cả hai phần thanh toán, dữ liệu và thực thi (chính xác hơn là "tách rời") và thêm sự đồng thuận để tạo thành một lớp giao thức mạng mới. Điều này phá vỡ "tam giác bất khả thi" và cho phép mở rộng dung lượng mà không làm tăng gánh nặng cho phần cứng node và gây ra tình trạng tập trung hóa.

Ví dụ, Ethereum Rollup tách lớp thực thi để cung cấp sự đồng thuận và thực thi. Một trình sắp xếp tập trung sẽ sắp xếp các giao dịch, đóng gói và nén một lượng lớn giao dịch, sau đó gửi chúng lên mạng chính Ethereum, nơi các nút đầy đủ của mạng chính sẽ xác minh dữ liệu giao dịch.

Celestia là một dự án Khả dụng Dữ liệu (DA) dựa trên kiến trúc Cosmos. Dự án này cung cấp dữ liệu và các lớp đồng thuận cho các lớp 1 và 2 khác, xây dựng một blockchain mô-đun và có mô hình kinh doanh toB, tính phí cho các chuỗi công khai khác.

Để hiểu đầy đủ về Celestia và tính khả dụng của dữ liệu, trước tiên chúng ta phải bắt đầu với "tam giác bất khả thi" và vấn đề về tính khả dụng của dữ liệu.

Tại sao tính khả dụng của dữ liệu lại quan trọng? Từ "Tam giác bất khả thi" đến vấn đề tính khả dụng của dữ liệu

Tam giác bất khả thi, còn được gọi là bộ ba nan đề, thường ám chỉ thực tế là tính phi tập trung, khả năng mở rộng và bảo mật không thể đạt được cùng lúc. Khái niệm này được đề xuất lần đầu tiên bởi các quan chức Ethereum.

Thông thường, khi một giao dịch được gửi đến chuỗi, trước tiên giao dịch đó sẽ vào Mempool, được "chọn" bởi thợ đào, đóng gói thành một khối và khối đó được nối vào chuỗi khối.

Khối chứa giao dịch này được phát sóng đến tất cả các nút trong mạng. Các nút đầy đủ khác sẽ tải xuống khối mới này và thực hiện các phép tính phức tạp để xác minh từng giao dịch trong đó nhằm đảm bảo giao dịch là xác thực và hợp lệ.

Tính toán phức tạp và tính dự phòng là nền tảng bảo mật của Ethereum, nhưng chúng cũng mang lại nhiều vấn đề.

1) Khả năng cung cấp dữ liệu

Nhìn chung có hai loại nút:

Nút đầy đủ - tải xuống và xác minh tất cả thông tin khối và dữ liệu giao dịch.

Nút nhẹ - nút xác minh không đầy đủ, dễ triển khai, chỉ xác minh tiêu đề khối (tóm tắt dữ liệu).

Trước tiên, hãy đảm bảo rằng khi một khối mới được tạo ra, tất cả dữ liệu trong khối đó thực sự được công bố để các nút khác có thể xác minh. Nếu nút đầy đủ không công bố tất cả dữ liệu trong khối, các nút khác sẽ không thể phát hiện xem khối đó có chứa các giao dịch độc hại hay không.

Nói cách khác, các nút cần thu thập tất cả dữ liệu giao dịch trong một khoảng thời gian nhất định và xác minh rằng không có dữ liệu giao dịch nào đã được xác nhận nhưng chưa được xác minh. Đây chính là ý nghĩa chung của tính khả dụng của dữ liệu.

Nếu một nút đầy đủ che giấu một số dữ liệu giao dịch, các nút đầy đủ khác sẽ từ chối theo dõi khối này sau khi xác minh, nhưng các nút nhẹ chỉ tải xuống thông tin tiêu đề khối sẽ không thể xác minh và sẽ tiếp tục theo dõi khối phân nhánh này, ảnh hưởng đến bảo mật.

Mặc dù blockchain thường sẽ tịch thu toàn bộ tiền gửi của nút, nhưng điều này cũng sẽ gây ra tổn thất cho những người dùng đã cam kết với nút.

Và khi lợi ích của việc che giấu dữ liệu vượt quá chi phí phạt, các nút sẽ có động lực che giấu dữ liệu. Khi đó, những người thực sự chịu thiệt hại là người dùng đã cam kết và những người dùng khác trong chuỗi.

Mặt khác, nếu việc triển khai toàn bộ nút ngày càng tập trung, sẽ có khả năng xảy ra thông đồng giữa các nút, gây nguy hiểm cho tính bảo mật của toàn bộ chuỗi.

Đây là lý do tại sao dữ liệu phải có sẵn.

Tính khả dụng của dữ liệu đang ngày càng được quan tâm, nhờ vào sự hợp nhất của Ethereum PoS và sự phát triển của Rollup. Hiện tại, Rollup đang vận hành một trình sắp xếp tập trung.

Khi người dùng giao dịch trên Rollup, trình sắp xếp sẽ sắp xếp, đóng gói và nén các giao dịch rồi xuất bản chúng lên mạng chính Ethereum. Các full node của mạng chính sẽ xác minh dữ liệu bằng cách sử dụng bằng chứng gian lận (Optimistic) hoặc bằng chứng hợp lệ (ZK).

Miễn là tất cả dữ liệu trong các khối do trình sắp xếp gửi đều xác thực và khả dụng, mạng chính Ethereum có thể theo dõi, xác minh và tái cấu trúc trạng thái Rollup dựa trên dữ liệu đó để đảm bảo tính xác thực của dữ liệu và bảo mật tài sản của người dùng.

2) Sự bùng nổ và tập trung quyền lực nhà nước

Bùng nổ trạng thái có nghĩa là nút đầy đủ Ethereum tích lũy ngày càng nhiều dữ liệu lịch sử và trạng thái, tài nguyên lưu trữ cần thiết để chạy nút đầy đủ đang tăng lên, ngưỡng hoạt động đang tăng lên và nút mạng được tập trung hóa.

Do đó, cần có một số phương pháp để các nút đầy đủ không cần tải xuống toàn bộ dữ liệu khi đồng bộ hóa và xác minh dữ liệu khối, mà chỉ cần tải xuống một số đoạn dự phòng của khối.

Giờ đây, khi đã hiểu được tầm quan trọng của tính khả dụng của dữ liệu, làm thế nào chúng ta có thể tránh được "bi kịch của chung"? Mặc dù mọi người đều nên hiểu tầm quan trọng của tính khả dụng của dữ liệu, vẫn cần có một số động lực hữu hình để khuyến khích mọi người sử dụng một lớp tính khả dụng của dữ liệu riêng biệt.

Giống như ai cũng biết bảo vệ môi trường là quan trọng, nhưng khi tôi thấy rác thải ven đường, tại sao tôi phải nhặt? Tại sao không phải là người khác? Tôi được lợi ích gì khi nhặt rác?

Đến lượt Celestia xuất hiện.

Celestia là gì?

Celestia cung cấp lớp khả dụng dữ liệu có thể cắm được và sự đồng thuận cho Lớp 1 và Lớp 2 khác, được xây dựng trên cơ chế đồng thuận Cosmos Tendermint và Cosmos SDK.

Celestia là giao thức Lớp 1 tương thích với chuỗi EVM và chuỗi ứng dụng Cosmos. Trong tương lai, giao thức này sẽ hỗ trợ tất cả các loại Rollup. Các chuỗi này có thể trực tiếp sử dụng Celestia làm lớp dữ liệu khả dụng. Dữ liệu khối sẽ được lưu trữ, gọi và xác minh thông qua Celestia, sau đó được trả về giao thức riêng để thanh toán.

Celestia cũng hỗ trợ Rollup gốc và Layer2 có thể được xây dựng trực tiếp trên đó, nhưng không hỗ trợ hợp đồng thông minh, do đó không thể xây dựng dApp trực tiếp.

Celestia hoạt động như thế nào

Rollup kết nối với Celestia bằng cách chạy một nút Celestia.

Celestia tiếp nhận các giao dịch Rollup và sắp xếp chúng bằng cơ chế đồng thuận Tendermint. Sau đó, Celestia không thực hiện giao dịch hay đặt câu hỏi về tính hợp lệ của chúng; nó chỉ đơn giản là đóng gói, sắp xếp và phát sóng chúng.

Vâng, nói cách khác, các khối che giấu dữ liệu giao dịch cũng có thể được xuất bản lên Celestia. Vậy Celestia xác định chúng như thế nào?

Việc xác minh được thực hiện thông qua mã hóa xóa và lấy mẫu khả dụng dữ liệu (DAS).

Cụ thể, dữ liệu gốc là K (nếu kích thước dữ liệu thực tế nhỏ hơn K, dữ liệu không hợp lệ sẽ được thêm vào để làm cho kích thước bằng K), và nó được mã hóa xóa, chia thành N nhánh nhỏ (khối) và mở rộng thành ma trận có kích thước là 2K hàng và cột.

Có thể hiểu đơn giản là một hình vuông có chiều dài và chiều rộng là K và diện tích là K*K. Sau khi mã hóa xóa, nó trở thành một hình vuông có chiều dài và chiều rộng là 2K và diện tích là 2K*2K.

Nếu dữ liệu gốc là 1 MB, dữ liệu sẽ được mã hóa xóa, chia thành nhiều phần và mở rộng thành 4 MB, trong đó 3 MB là dữ liệu đặc biệt. Chỉ cần một phần dữ liệu K*K để khôi phục hoặc xem toàn bộ dữ liệu 2 MB*2 MB.

Các phép tính toán học cụ thể cực kỳ phức tạp, nhưng kết quả là ngay cả khi một nhà sản xuất khối độc hại che giấu 1% dữ liệu giao dịch, thì nó cũng sẽ che giấu hơn 50% các nhánh (Khối).

Do đó, nếu muốn việc che giấu hiệu quả, ma trận dữ liệu sẽ trải qua một sự thay đổi về chất, điều này có thể dễ dàng bị các nút ánh sáng phát hiện. Điều này khiến việc che giấu dữ liệu rất có thể trở nên bất khả thi.

Các nút đầy đủ có thể xác minh dữ liệu thông qua bằng chứng gian lận, tương tự như các giao thức Lớp 1 khác. Chức năng chính của mã xóa là huy động các nút nhẹ tham gia xác minh dữ liệu.

Nút đầy đủ gửi tiêu đề khối đến nút nhẹ, sau đó nút này thực hiện lấy mẫu kiểm tra tính khả dụng của dữ liệu. Nếu dữ liệu chính xác, nút nhẹ sẽ phê duyệt khối. Nếu dữ liệu bị thiếu, nút nhẹ sẽ gửi dữ liệu đến các nút đầy đủ khác, sau đó các nút này sẽ đưa ra bằng chứng gian lận.

Tóm lại,

1. Celestia sử dụng mã xóa để mã hóa dữ liệu gốc, chia nhỏ dữ liệu thành nhiều phần nhỏ hơn. (Nếu vẫn còn chỗ trống trong khối, dữ liệu không hợp lệ sẽ được sử dụng để lấp đầy. Các khối còn lại là các khối mà các nút đầy đủ ẩn dữ liệu.)

2/ Mở rộng dữ liệu K*K ban đầu thành 2K*2K. Vì dữ liệu K*K đã được chia thành nhiều phần nhỏ, nên dữ liệu 2K*2K cũng được chia thành nhiều phần nhỏ.

3/ Điều này mang lại ba lợi ích:

1) Vì dữ liệu được chia thành nhiều phần nhỏ, các nút ánh sáng cũng có thể tham gia xác minh. (Nếu dữ liệu vẫn còn lớn, các nút ánh sáng bị giới hạn bởi phần cứng và không thể tham gia xác minh)

2) Chỉ cần các mẫu K*K để khôi phục toàn bộ dữ liệu 2K*2K. Các nút ánh sáng sẽ lần lượt lấy mẫu cho đến khi kích thước mẫu đạt đến K*K. Sau đó, chúng có thể so sánh toàn bộ dữ liệu và quyết định có nên chấp thuận khối hiện tại hay không.

3) Nếu một nhà sản xuất khối độc hại che giấu dù chỉ 1% dữ liệu giao dịch, thì khối đó sẽ che giấu hơn 50% số khối.

4/ Các nút đầy đủ có thể xác minh trực tiếp dữ liệu khối thông qua bằng chứng gian lận, tương tự như các Layer1 khác như Ethereum.

5/ Các nút ánh sáng có thể xác minh tính khả dụng của dữ liệu thông qua lấy mẫu ngẫu nhiên. Nhiều nút ánh sáng sẽ lấy mẫu ngẫu nhiên cho đến khi vùng dữ liệu đạt K*K. Đây là cải tiến của Celestia.

6/ Đối với lấy mẫu nút nhẹ, mô hình lấy mẫu là bán tuyến tính. Họ chỉ cần tải xuống căn bậc hai của lượng dữ liệu cần thiết để lấy mẫu. Nghĩa là, nếu có 10.000 khối dữ liệu nhỏ cần lấy mẫu, chỉ cần tải xuống và kiểm tra 100 khối trong số đó.

Bởi vì 100 bình phương là 10.000.

7/ Nếu dữ liệu khối được xác minh bởi nút ánh sáng bị che giấu, nó có thể được gửi đến các nút đầy đủ khác và khoản tiền gửi của nút gian lận sẽ bị phạt thông qua bằng chứng gian lận.

Celestia Scale

Mã hóa xóa và lấy mẫu khả dụng dữ liệu cho phép Celestia đạt được khả năng mở rộng hơn nữa và cải thiện hiệu quả mạng so với khả năng khả dụng dữ liệu hiện có của Layer1 khác.

1/ Sử dụng tính năng chống gian lận, dữ liệu khối sẽ có sẵn theo mặc định để đảm bảo mạng hoạt động hiệu quả trong những trường hợp bình thường.

2/ Càng nhiều nút ánh sáng thì hiệu quả mạng càng cao.

Vì kích thước dữ liệu ban đầu là K*K, nếu chỉ có một nút ánh sáng, cần lấy mẫu K*K. Ngược lại, nếu có K*K nút ánh sáng, chỉ cần lấy mẫu 1.

3/ Lấy mẫu dưới tuyến tính, cho phép Celestia sử dụng các khối lớn.

Ngoài ra, đặc điểm của mã hóa xóa có nghĩa là trong trường hợp xảy ra lỗi trên diện rộng ở nút đầy đủ Celestia, các nút nhẹ có thể sử dụng dữ liệu nhánh trong tay để khôi phục dữ liệu giao dịch và đảm bảo rằng dữ liệu vẫn có thể truy cập được.

Cầu hấp dẫn lượng tử

Quantum Gravity Bridge là cầu nối chuyển tiếp giữa Celestia và Ethereum Layer 2. Được xây dựng trên Ethereum, Layer 2 có thể xuất bản dữ liệu giao dịch lên Celestia thông qua Quantum Gravity Bridge và sử dụng Dịch vụ khả dụng dữ liệu để xác minh dữ liệu trên Celestia thông qua hợp đồng thông minh.

Thiên thể

Celestium là Ethereum Layer2, sử dụng Celestia làm lớp dữ liệu khả dụng và Ethereum làm lớp thanh toán và đồng thuận.

Hiện đang trong quá trình phát triển.

Tại sao lại là Celestia?

Bạn còn nhớ "bi kịch của sự chung" mà chúng ta đã đề cập trước đó không? Đó là, tại sao Rollup lại sử dụng Celestia làm lớp dữ liệu?

1/ Sử dụng Celestia rất rẻ

Chi phí hiện tại của Ethereum Rollup bao gồm hai phần:

1) Chi phí gas riêng của Rollup. Chi phí này bao gồm phí tương tác người dùng, sắp xếp trình tự và chuyển đổi trạng thái.

2) Rollup gửi khối tới Ethereum, tốn phí.

Sau khi trình sắp xếp Rollup đóng gói và nén dữ liệu, nó sẽ tạo ra một khối trên Ethereum. Hiện tại, khối này được lưu trữ dưới dạng Calldata, với chi phí 16 Gas cho mỗi byte.

Ethereum và Rollup đều tính phí gas khác nhau tùy thuộc vào tình trạng tắc nghẽn. Trình sắp xếp sẽ cố gắng hết sức để dự đoán phí gas Ethereum trước khi xử lý các tương tác của người dùng và tính phí cho người dùng.

Nói cách khác, lý do tại sao Gas on Rollup lại rẻ là vì nhiều tương tác của người dùng được đóng gói lại với nhau, tương đương với việc mọi người cùng chia sẻ Gas.

Khi thị trường trì trệ, tương tác trên Ethereum giảm, và chi phí gas chung của mọi người cũng giảm. Rollup chỉ kiếm được một khoản lợi nhuận nhỏ từ chi phí gas thông thường. Tuy nhiên, nếu giá gas trên Ethereum tăng đột biến, chi phí gas của Rollup cũng sẽ tăng theo.

Do đó, Rollup về cơ bản đang cạnh tranh không gian khối với các dApp và Rollup khác trên mạng chính Ethereum.

Mặt khác, tính tương tác cao của Rollup cũng có thể làm tăng chi phí gas, chẳng hạn như Aribitrum Odyssey gần đây.

Nhìn chung, mô hình chi phí hiện tại của Rollup là tuyến tính và chi phí sẽ tăng và giảm theo nhu cầu tương tác với Ethereum.

Chi phí của Celestia là dưới mức tuyến tính và cuối cùng sẽ đạt đến một giá trị thấp hơn nhiều so với chi phí hiện tại của Ethereum.

Sau khi triển khai bản nâng cấp EIP-4844, bộ lưu trữ dữ liệu Rollup sẽ thay đổi từ Calldata sang Blob, giúp giảm phí, nhưng vẫn đắt hơn Celestia.

2/ Tổng hợp về chủ quyền tự chủ

Autonomous Rollup về cơ bản trao cho Rollup khả năng tự fork. Rollup gốc của Celestia là một chuỗi tự động, và việc quản trị và nâng cấp fork của nó không bị Celestia hạn chế.

Tại sao việc phân nhánh lại quan trọng?

Thông thường, blockchain cần được nâng cấp thông qua hard fork, điều này có thể làm suy yếu tính bảo mật vì nếu ai đó muốn thay đổi hoặc nâng cấp mã blockchain, những người tham gia khác phải đồng ý và thực hiện các thay đổi.

Nếu bạn muốn nâng cấp toàn bộ chuỗi, bạn cần phải fork toàn bộ lớp đồng thuận, giống như việc sáp nhập Ethereum PoS đã phải sử dụng hash bomb để buộc các nút di chuyển từ PoW sang PoS. Tất cả các nút phải tham gia vào quá trình nâng cấp để tránh mất an ninh.

Celestia cung cấp khả năng phân nhánh cho Rollup vì tất cả các nhánh đều sử dụng cùng một lớp dữ liệu khả dụng.

Ngoài ra, Rollup tự động cũng sẽ mang lại tính linh hoạt hơn. Ethereum Rollup bị hạn chế bởi khả năng xử lý bằng chứng gian lận hoặc bằng chứng xác thực của mạng chính Ethereum.

Autonomous Rollup không phụ thuộc vào các máy ảo cụ thể, chẳng hạn như EVM. Điều này mang lại cho chúng nhiều lựa chọn hơn, chẳng hạn như trở thành Solana VM. Tuy nhiên, việc sử dụng các VM khác nhau sẽ hạn chế khả năng tương tác.

Mặt khác, hiện tại có thể không có nhiều nhu cầu để Rollup trở thành một Rollup tự chủ.

A. Bị giới hạn bởi tài sản tập trung. Ví dụ, USDC và USDT không chính thức hỗ trợ các chuỗi phân nhánh mới.

B. Hạn chế di chuyển dApp. Ví dụ, các dApp như Uniswap vẫn nằm trên chuỗi cũ, và người dùng không muốn từ bỏ thói quen hiện tại và không muốn di chuyển sang chuỗi phân nhánh mới.

3/ Cầu nối giảm thiểu sự tin cậy và bảo mật chia sẻ

Bài viết chính thức của Celestia phân loại các hoạt động chuỗi chéo thành hai loại:

A. Một cầu nối chuỗi chéo đáng tin cậy đòi hỏi sự tin tưởng vào bên thứ ba, chẳng hạn như nút chuỗi chuyển tiếp. Độ tin cậy của nó phụ thuộc vào sự đồng thuận của các nút bên thứ ba, tức là phần lớn các nút đều trung thực.

B. Cầu nối chuỗi chéo giảm thiểu sự tin cậy, tương tự như mối quan hệ giữa Ethereum và Rollup, dựa vào bằng chứng gian lận (Optimistic) và bằng chứng hợp lệ (ZK) để xác minh tính hợp lệ của dữ liệu giao dịch Rollup.

Celestia đề xuất một khái niệm gọi là Clusters, là một nhóm các chuỗi giao tiếp với nhau thông qua các cầu nối chuỗi chéo được tối thiểu hóa độ tin cậy và mỗi chuỗi có thể xác minh trạng thái của các chuỗi khác.

Thông thường, các cụm gặp phải hai hạn chế,

A. Tất cả các chuỗi trong một cụm cần hiểu môi trường thực thi của nhau. Điều này rất khó, ví dụ, các ZK Rollup cần hiểu hệ thống ZK của nhau. Tuy nhiên, zk-SNARK và zk-STARK là các hệ thống ZK khác nhau. Do đó, các ZK Rollup tương đối độc lập.

B. Để duy trì xác minh trạng thái tối thiểu hóa độ tin cậy cho tất cả các chuỗi trong cụm, mỗi chuỗi phải xác minh tính khả dụng của dữ liệu khối từ các chuỗi khác trong cụm theo cách tối thiểu hóa độ tin cậy.

Sử dụng Celestia làm lớp khả dụng dữ liệu, tất cả các chuỗi trong cụm có thể kiểm tra xem các khối của nhau có được đưa vào chuỗi Celestia hay không.

Tuy nhiên, có một điều hơi đáng xấu hổ là trong khái niệm cụm Celestia, Optimistic Rollup và ZK Rollup lại thuộc về hai cụm.

Nghĩa là, Optimistic Rollup, chẳng hạn như Optimism và Aribitrum, thuộc cùng một cụm, nhưng chúng và zkSync thì không.

Hơn nữa, do sự khác biệt trong các giải pháp ZK Rollup, zkSync và StarkNet thậm chí còn không thuộc cùng một cụm. Do đó, Celestia vẫn chưa thể giải quyết vấn đề về tính độc lập tương đối giữa các Rollup và khả năng tương tác ở cấp độ nguyên tử.

Optimint (Khoai tây lạc quan)

Optimint là giải pháp thay thế cho sự đồng thuận của Tendermint cho phép các nhà phát triển xây dựng Rollup trên Cosmos trong khi sử dụng Celestia làm lớp đồng thuận và khả dụng dữ liệu.

Mục tiêu là cho phép Rollup dựa trên Cosmos hình thành các cụm.

Các dự án sinh thái hiện có của Celestia

Nhiên liệu

Fuel là lớp thực thi mô-đun được xây dựng trên Celestia, Ethereum Optimistic Rollup Layer 2.

Fuel đã xây dựng FuelVM, một máy ảo tùy chỉnh được xây dựng riêng cho các hợp đồng thông minh có thể xử lý các giao dịch song song và sử dụng tài khoản UTXO.

Cevmos

Cevmos là Rollup được phát triển chung bởi chuỗi ứng dụng Cosmos EVM và Celestia.

Cevmos được xây dựng bằng Optimint. Vì bản thân Evmos là một Rollup, nên Cevmos thực chất là một Rollup trong một Rollup (Rollup đệ quy).

Các hợp đồng và ứng dụng Rollup hiện có trên Ethereum có thể được triển khai lại trên Cevmos, sử dụng nó làm lớp thanh toán và Celestia làm lớp dữ liệu.

Mỗi Rollup được xây dựng sẽ có một cầu nối tin cậy hai chiều được tối thiểu hóa với Cevmos Rollup để tạo thành một cụm.

dYmension

dYmension là một Rollup độc lập được xây dựng trên Cosmos. dYmension Hub cung cấp dịch vụ thanh toán và cũng cung cấp bộ công cụ phát triển RDK và giao tiếp liên chuỗi IRC để tạo điều kiện thuận lợi cho việc phát triển các ứng dụng tập trung vào Rollup như rollApp.

Nhật thực

Eclipse là một Rollup tự động dựa trên Cosmos, sử dụng Solana VM làm lớp thanh toán và thực thi và Celestia làm lớp dữ liệu.

Tiến độ dự án

Mạng thử nghiệm hiện đã hoạt động. Mạng thử nghiệm được khuyến khích sẽ được phát hành vào quý 1 năm 2023. Hiện tại, bạn có thể nhận token thử nghiệm faucet trên kênh Discord chính thức. Mạng chính dự kiến sẽ được phát hành vào quý 2 năm 2023.

Tài chính

Vào tháng 3 năm 2021, công ty đã hoàn thành vòng gọi vốn hạt giống trị giá 1,5 triệu đô la Mỹ, với sự tham gia của các đơn vị như Binance Labs, Interchain Foundation, Maven 11, KR1, v.v.

Vào tháng 12 năm 2021, công ty đã hoàn tất khoản tài trợ 2,73 triệu đô la Mỹ và thông tin đầu tư không được tiết lộ.

Vào tháng 10 năm 2022, công ty đã hoàn thành vòng gọi vốn trị giá 55 triệu đô la Mỹ, với sự tham gia của các nhà đầu tư bao gồm Bain Capital, Polychain Capital, Placeholder, Galaxy, Delphi Digital, Blockchain Capital, Spartan Group, FTX Ventures, Jump Crypto, v.v.

Tình hình đội bóng

Tổng giám đốc điều hành Mustafa Al-Bassam, Tiến sĩ về quy mô blockchain từ UCL, đồng sáng lập Chainspace (được Facebook mua lại)

CTO Ismail Khoffi, cựu kỹ sư cao cấp tại Tendermint và Interchain Foundation

CRO John Adler, người sáng tạo ra Optimistic Rollups và cựu nhà nghiên cứu khả năng mở rộng của ConsenSys

Giám đốc điều hành Nick White, đồng sáng lập Harmony, có bằng cử nhân và thạc sĩ của Đại học Stanford.

Đội ngũ cố vấn:

Zaki Manian — đồng sáng lập IBC và là người đóng góp đầu tiên cho Cosmos

Ethan Buchman — Đồng sáng lập Tendermint và Đồng sáng lập Cosmos

Morgan Beller — Đối tác chung tại NFX, Đồng sáng lập Diem≋ (hay còn gọi là Libra)

Nick White, Đồng sáng lập Harmony

James Prestwich — Người sáng lập Summa (được Celo mua lại)

George Danezis - Giáo sư Kỹ thuật An ninh và Quyền riêng tư tại University College London

Mô hình kinh tế token

Theo thông tin được công bố, token gốc của Celestia sẽ đóng vai trò là gas, với doanh thu của giao thức đến từ phí giao dịch Rollup. Token này cũng bao gồm cơ chế đốt tương tự như EIP-1559.

Hiện tại, giá trị thị trường chính của Celestia là 1 tỷ đô la Mỹ.

Đối thủ cạnh tranh

Đa giác có sẵn

Avail là giải pháp đảm bảo tính khả dụng của dữ liệu do Polygon phát triển. Việc triển khai Avail tương tự như Celestia, nhưng khác Celestia ở chỗ Avail sử dụng mã xóa và bằng chứng gian lận, trong khi Avail sử dụng mã xóa và cam kết đa thức KZG.

Celestia mở rộng dữ liệu K*K thành hình vuông 2K*2K và Avail mở rộng nó theo từng hàng, mở rộng ma trận n hàng và m cột thành 2n hàng và tính toán cam kết đa thức KZG cho mỗi hàng.

Các nút ánh sáng sử dụng phương pháp lấy mẫu sẵn có dữ liệu (DAS) để xác minh mật mã các đa thức và bằng chứng KZG mà không cần tải xuống dữ liệu gốc.

So sánh, Avail khó triển khai hơn, nhưng khi được triển khai đầy đủ, kết quả tương đối đáng tin cậy hơn. Tuy nhiên, hiện tại, cả hai dự án đều đang trong quá trình phát triển, khiến việc đánh giá tính cạnh tranh trở nên khó khăn.

Ethereum Danksharding

Danksharding là một lớp dữ liệu khả dụng độc lập được Ethereum lên kế hoạch. Tương tự như Avail, Danksharding sử dụng mã hóa xóa và cam kết đa thức KZG, trong khi định dạng dữ liệu sẽ sử dụng Blob thay vì calldata.

Có hai đề xuất chuyển đổi trước khi triển khai Danksharding.

EIP-4488 trực tiếp và cứng nhắc giảm lượng dữ liệu cuộc gọi từ 16 xuống 3 cho mỗi byte và cũng quy định giới hạn trên là 1,4Mb cho dữ liệu cuộc gọi.

EIP-4844 giới thiệu blob (giao dịch mang blob, blob: đối tượng nhị phân lớn) như một giải pháp thay thế cho calldata. Blobs là một loại giao dịch mới bao gồm không gian lưu trữ bổ sung và rẻ hơn nhiều so với calldata.

Blobs được lưu trữ trên chuỗi beacon Ethereum và tương thích với các phân đoạn tiếp theo. Chúng sử dụng giá trị băm cam kết KZG để xác minh dữ liệu. Rollup không cần truy cập dữ liệu, chỉ cần xác minh cam kết KZG.

Cam kết KZG mang tính ràng buộc và không thể thay đổi sau khi tính toán. Vì vậy, về bản chất, Avail và Danksharding sử dụng các cam kết đa thức KZG mật mã để xác minh dữ liệu, trong khi Celestia sử dụng bằng chứng gian lận kinh tế.

Về lý thuyết, các cam kết đa thức KZG mang lại tính bảo mật vượt trội so với bằng chứng gian lận, đồng thời cũng yêu cầu ít băng thông và độ phức tạp tính toán hơn để lấy mẫu. Trong tương lai, Ethereum cũng đang xem xét việc giới thiệu các phương pháp xác minh chống lượng tử, chẳng hạn như zk-SRARK.

rủi ro

1) Tập trung hóa

Mặc dù mã xóa cho phép các nút ánh sáng tham gia vào quá trình xác minh dữ liệu, nhưng lưu trữ dữ liệu Celestia vẫn yêu cầu xây dựng các nút lưu trữ đầy đủ.

Yêu cầu RAM 8GB, CPU lõi tứ, dung lượng lưu trữ trống tối thiểu 250GB, băng thông luồng lên lớn hơn 100Mb/giây và băng thông luồng xuống lớn hơn 1Gb/giây. Yêu cầu cấu hình cao và phải được lưu trữ trên máy chủ đám mây.

2) Cạnh tranh trong Ethereum Danksharding

3) Vấn đề “sổ cái bẩn”

Vấn đề này được nhóm nghiên cứu Stanford nêu ra. Celestia sử dụng bằng chứng gian lận và mặc định xác thực dữ liệu khối, đảm bảo hoạt động mạng hiệu quả trong điều kiện bình thường. Đây là lý do tại sao nó được coi là sổ cái "bẩn". Các khối có dữ liệu có vấn đề vẫn sẽ được Celestia chấp nhận, tùy thuộc vào các khiếu nại về bằng chứng gian lận.

Giả sử một bên thách thức muốn chứng minh rằng giao dịch Tc là giao dịch chi tiêu hai lần và đưa ra bằng chứng cho thấy số tiền đã được sử dụng cho giao dịch Tb. Nhưng nếu có một giao dịch Ta có thể chứng minh rằng Tb không hợp lệ thì sao?

Nếu Tb không hợp lệ thì chi tiêu gấp đôi Tc có thể hợp lệ.

Trong một số trường hợp, "sổ cái bẩn" không thể tiết lộ trạng thái thực sự của các giao dịch trừ khi mọi giao dịch trong lịch sử của Celestia được phát lại, cho đến khối genesis.

Điều này có nghĩa là cả người thách thức và người bị thách thức đều phải là các nút lưu trữ đầy. Vấn đề này đã được đăng trên tài khoản YouTube chính thức của Celestia và nhóm hiện đang nỗ lực giải quyết, chẳng hạn như đưa ra các giả định chủ quan yếu.

Giả định chủ quan yếu là điều kiện tiên quyết để giải quyết vấn đề. Ví dụ, làm thế nào để mua được một quả bưởi ngon? Chủ quan trong bài toán này là lựa chọn dựa trên cảm tính chủ quan. Khách quan là đánh giá độ ẩm của quả bưởi dựa trên tỷ lệ trọng lượng riêng so với thể tích của nó.

Chủ quan yếu liên quan đến việc cầm hai quả bưởi có kích thước tương đương bằng cả hai tay và so sánh trọng lượng của chúng. Sau khi so sánh một vài quả bưởi, hãy chọn quả nặng nhất.

Quay trở lại vấn đề "sổ cái bẩn" của Celestia, có thể yêu cầu bên thách đấu và bên bị thách đấu giữ lại dữ liệu trong 3 tuần, nhưng đây cũng là gánh nặng cho các nút.

Vấn đề "sổ cái bẩn" về cơ bản là một vấn đề cơ bản mà các bằng chứng gian lận, vốn dựa trên các mô hình kinh tế để đảm bảo an ninh, phải đối mặt. Tuy nhiên, việc triển khai bằng chứng gian lận ít khó khăn hơn so với các cam kết đa thức KZG. Về lý thuyết, tiến độ phát triển của Celestia nhanh hơn Polygon Avail và Ethereum Danksharding.

Do đó, Celestia cần nắm bắt cơ hội, tạo ra nền kinh tế có quy mô trước Polygon Avail và Danksharding, đồng thời thu hút một lượng lớn thanh khoản, đặc biệt là thanh khoản Rollup gốc.