Tính khả dụng của dữ liệu là một trong những điểm nghẽn chính trong quá trình mở rộng chuỗi khối.
**Được viết bởi: **zer0kn0wledge.era
Biên soạn: Kate, Marsbit
Lưu ý: Bài viết này là từ @expctchaos Twitter, một nhà nghiên cứu của @ChaosDAO. Nội dung của tweet gốc được tổ chức bởi MarsBit như sau:
0/ Tính khả dụng của dữ liệu (DA) là nút cổ chai mở rộng quy mô chính
May mắn thay @CelestiaOrg, @AvailProject và @eigenlayer sẽ thay đổi trò chơi DA và cho phép các cấp độ mở rộng mới
Nhưng nó hoạt động như thế nào và #EigenDA khác với DA 15 như #Celestia và #Avail như thế nào?
1/ Nếu bạn không quen thuộc với các vấn đề về tính khả dụng của dữ liệu, vui lòng xem bài đăng của tôi bên dưới, nơi tôi mô tả chi tiết về tình trạng sẵn có của dữ liệu 👇
2/ Nhìn chung, có hai loại giải pháp xử lý dữ liệu chính
🔷DA trên chuỗi
🔷DA ngoài chuỗi
3/ Và "xác minh tính hợp lệ thuần túy" có nghĩa là việc xử lý dữ liệu có thể ngoại tuyến mà không cần đảm bảo, bởi vì các nhà cung cấp dịch vụ dữ liệu ngoại tuyến có thể ngoại tuyến bất cứ lúc nào...
4/ …#StarkEx, #zkPorter và #Arbitrum Nova là những ví dụ về tình huống xác minh dựa vào DAC, một nhóm bên thứ ba nổi tiếng để đảm bảo tính khả dụng của dữ liệu
5/ Mặt khác, #EigenDA, @CelestiaOrg và @AvailProject là những gì chúng ta có thể gọi là giải pháp DA phổ quát
Tuy nhiên, có một số khác biệt giữa EigenDA và hai giải pháp còn lại
6/ Nếu bạn muốn biết @CelestiaOrg hoạt động như thế nào, hãy xem liên kết bên dưới
7/ Trước đây tôi cũng đã đề cập đến @AvailProject, vì vậy để tìm hiểu thêm, hãy xem tại đây
8/ Nếu bạn cần xem lại @eigenlayer, hãy xem chủ đề bên dưới 👇
9/ Vì vậy, trong bài viết hôm nay, chúng tôi muốn tập trung vào việc so sánh giữa #EigenDA của @eigenlayer và các chuỗi DA L1 như @CelestiaOrg hoặc @AvailProject
10/ Giả sử một bản tổng hợp dựa trên Ethereum và sử dụng Celestia cho DA (còn gọi là Celestium)
Vì vậy, các hợp đồng L2 trên Ethereum xác minh bằng chứng hợp lệ hoặc bằng chứng gian lận như bình thường và DA được cung cấp bởi Celestia
11/ Trên @CelestiaOrg và @AvailProject, không có hợp đồng thông minh hoặc tính toán, chỉ có dữ liệu được đảm bảo khả dụng
12/ Nhưng chúng ta hãy xem xét kỹ hơn
Trên @CelestiaOrg, dữ liệu tx được xuất bản lên Celestia bởi trình sắp xếp L2, trình xác minh Celestia ký gốc Merkle của bằng chứng DA, sau đó được gửi tới hợp đồng cầu nối DA trên Ethereum để xác minh và lưu trữ
13/ So với việc lưu trữ DA trên chuỗi, điều này giúp giảm đáng kể chi phí có bảo đảm DA mạnh, đồng thời cung cấp bảo đảm bảo mật từ Celestia (chứ không phải DAC tập trung)
14/ Giảm chi phí sẽ thay đổi luật chơi trong toàn bộ lĩnh vực rollup, vì chi phí calldata được tạo ra bằng cách xuất bản dữ liệu lên Ethereum L1 chiếm 80-90% chi phí rollup
Để biết thêm thông tin về chi phí calldata, hãy xem bài đăng bên dưới 👇
15/ Nhưng cái quái gì đã xảy ra với #Celestia vậy?
Các đốm dữ liệu được đăng lên @CelestiaOrg (về cơ bản là dữ liệu thô) được truyền qua mạng P2P và đạt được sự đồng thuận về đốm dữ liệu bằng cách sử dụng sự đồng thuận của Tendermint
16/ Mọi nút đầy đủ của #Celestia phải tải xuống toàn bộ đốm dữ liệu. Điều này khác với các nút nhẹ có thể sử dụng Lấy mẫu khả dụng của dữ liệu (DAS) để đảm bảo tính khả dụng của dữ liệu
17/ Để biết thêm thông tin về DAS và light node, vui lòng xem bài đăng bên dưới
18/ Chúng tôi cũng sẽ quay lại DAS sau trong chủ đề này, nhưng hiện tại trọng tâm là các nút đầy đủ
Vì vậy, hãy quay lại @CelestiaOrg, vẫn tiếp tục hoạt động theo kiểu L1, dựa vào việc phát sóng và đồng thuận trên các đốm màu dữ liệu
19/ Do đó, nó đặt ra yêu cầu cao đối với các nút đầy đủ của mạng (tải xuống 128 MB/giây và tải lên 12,5 MB/giây).
Tuy nhiên, @CelestiaOrg đã nhắm đến thông lượng vừa phải (1,4 MB/s) ngay từ đầu, có vẻ như thấp do các yêu cầu của nút đầy đủ
20/ Tuy nhiên, mạng có thể mở rộng thông lượng bằng cách thêm các nút nhẹ. Càng nhiều nút ánh sáng lấy mẫu dữ liệu, kích thước khối có thể càng lớn với điều kiện đảm bảo an ninh và phân cấp
21/ Mặt khác, @eigenlayer có kiến trúc khác, không có sự đồng thuận của riêng nó và không có mạng ngang hàng
Vì vậy, làm thế nào để làm việc này?
Đầu tiên, nút EigenDA phải phân bổ lại $ETH trong hợp đồng @eigenlayer. Do đó, các nút #EigenDA là một tập hợp con của trình xác thực Ethereum
22/ Sau khi nhận được blob dữ liệu, người mua DA (chẳng hạn như rollup, còn được gọi là người phân tán) sau đó mã hóa nó bằng mã xóa và tạo cam kết KZG…
23/…trong đó kích thước bằng chứng phụ thuộc vào tỷ lệ dự phòng của mã xóa và công bố cam kết của KZG đối với hợp đồng thông minh #EigenDA
24/ Cam kết KZG được mã hóa được phân phối bởi bộ phân tán tới các nút #EigenDA
Sau khi nhận được cam kết KZG, các nút này so sánh nó với cam kết KZG của hợp đồng thông minh EigenDA và ký vào bằng chứng sau khi xác nhận
25/ Sau đó, người phân tán thu thập từng chữ ký này, tạo chữ ký tổng hợp và xuất bản nó lên hợp đồng thông minh #EigenDA và hợp đồng thông minh xác minh chữ ký
26/ Nhưng nếu nút #EigenDA chỉ ký một bằng chứng tuyên bố rằng nó đã lưu trữ đốm dữ liệu được mã hóa trong quy trình công việc này và hợp đồng thông minh EigenDA chỉ xác minh tính chính xác của chữ ký tổng hợp, thì làm sao chúng tôi có thể chắc chắn rằng nút EigenDA thực sự lưu trữ dữ liệu?
27/ #EigenDA sử dụng phương pháp chứng minh ký quỹ để đạt được điều này
Nhưng hãy lùi lại một bước và xem cảnh này, nơi nó trở nên quan trọng
28/ Giả sử một số trình xác thực lười biếng không thực hiện các nhiệm vụ được giao cho chúng (ví dụ: đảm bảo có sẵn dữ liệu)
Thay vào đó, họ giả vờ rằng họ đã hoàn thành công việc và ký tên vào kết quả cuối cùng (báo cáo sai sự sẵn có của dữ liệu khi không có sẵn).
29/ Về mặt khái niệm, bằng chứng tạm giữ giống như bằng chứng lừa đảo:
Bất kỳ ai cũng có thể gửi bằng chứng (lười xác thực) cho hợp đồng thông minh #EigenDA sẽ được hợp đồng thông minh xác minh
29/ Trình xác thực lười biếng bị cắt nếu xác thực thành công (vì đó là lỗi do khách quan)
30/ Đồng thuận thì sao?
@CelestiaOrg sử dụng Tendermint làm giao thức đồng thuận của mình, giao thức này có tính hữu hạn ở một vị trí. Tức là, khi một khối vượt qua sự đồng thuận của #Celestia, thì nó đã hoàn thành. Điều này có nghĩa là tính hữu hạn về cơ bản nhanh bằng thời gian khối (15 giây).
31/ @AvailProject sử dụng thành phần giao thức để đạt được mục đích cuối cùng. BABE là một cơ chế sản xuất khối có xác suất cuối cùng và GRANDPA là tiện ích cuối cùng. Mặc dù GRANDPA có thể hoàn thành các khối trong một ô, nhưng nó cũng có thể hoàn thành nhiều khối trong một vòng
32/ Vì @eigenlayer là một tập hợp các hợp đồng thông minh trên Ethereum nên nó cũng thừa hưởng thời gian hoàn thiện giống như Ethereum (12 - 15 phút) đối với dữ liệu cần được chuyển tiếp đến hợp đồng tổng hợp để chứng minh tính khả dụng của dữ liệu
33/ Tuy nhiên, nếu tổng số sử dụng @eigenlayer, nó có thể được thực hiện nhanh hơn, tùy thuộc vào cơ chế đồng thuận được sử dụng, v.v.
Ngoài ra, phần mềm trung gian được bảo đảm bởi trình xác thực đặt lại của @eigenlayer tập trung vào việc cung cấp các khoản thanh toán nhanh, chẳng hạn như EigenSettle có thể cung cấp các đảm bảo an ninh kinh tế mạnh mẽ cho phép xác nhận trước tài khoản cuối cùng. Tuy nhiên, đảm bảo tài chính cứng vẫn đến từ Ethereum L1
34/ Đã đến lúc xem lại các khái niệm về lấy mẫu tính khả dụng của dữ liệu
Trong hầu hết các chuỗi khối, các nút cần tải xuống tất cả dữ liệu giao dịch để xác minh tính khả dụng của dữ liệu. Vấn đề này tạo ra là khi kích thước khối tăng lên, số lượng nút dữ liệu cần được xác minh cũng tăng lên
35/ Lấy mẫu tính khả dụng của dữ liệu (DAS) là một kỹ thuật cho phép các nút nhẹ xác minh tính khả dụng của dữ liệu bằng cách chỉ tải xuống một phần nhỏ dữ liệu khối
36/ Điều này cung cấp bảo mật cho các nút nhẹ để chúng có thể xác thực các khối không hợp lệ (chỉ DA và sự đồng thuận) và cho phép chuỗi khối mở rộng quy mô sẵn có của dữ liệu mà không làm tăng yêu cầu của nút
37/ DAS yêu cầu ít nhất một full node trung thực và đủ số lượng light client
38/ Nhưng làm thế nào để đảm bảo an toàn cho các light node?
Các ứng dụng khách nhẹ truyền thống có các giả định bảo mật yếu hơn so với các nút đầy đủ do chúng chỉ xác thực các tiêu đề khối
Do đó, các ứng dụng khách nhẹ không thể phát hiện liệu một khối không hợp lệ có được tạo bởi phần lớn các nhà sản xuất khối không trung thực hay không
39/ Các light node có lấy mẫu tính khả dụng của dữ liệu được nâng cấp về bảo mật, vì nếu lớp DA chỉ thực hiện đồng thuận và tính khả dụng của dữ liệu, chúng có thể xác minh xem các khối không hợp lệ có được tạo ra hay không
40/ Cả @CelestiaOrg và @AvailProject sẽ lấy mẫu tính khả dụng của dữ liệu để các nút nhẹ của chúng sẽ có bảo mật giảm thiểu độ tin cậy.
41/ Điều này khác với Ethereum và @eigenlayer
Ethereum với #EIP4844 không lấy mẫu tính khả dụng của dữ liệu, vì vậy các ứng dụng khách nhẹ của nó sẽ không có bảo mật tối thiểu hóa độ tin cậy
42/ Vì Ethereum cũng có môi trường hợp đồng thông minh, nên các khách hàng nhẹ cũng cần xác minh việc thực thi (thông qua gian lận hoặc bằng chứng về tính hợp lệ), thay vì dựa vào hầu hết các giả định về tính trung thực
43/ @eigenlayer (trừ khi có DAS), ứng dụng khách nhẹ, nếu được hỗ trợ, sẽ dựa vào phần lớn các nút khôi phục trung thực
Do đó, tính bảo mật của #EigenDA chủ yếu dựa trên bộ xác thực Ethereum, kế thừa tính nguyên thủy của Ethereum và đảm bảo tính bảo mật kinh tế của DA
44/ Vì vậy, nhiều bên liên quan tham gia hơn vào #EigenDA có nghĩa là bảo mật cao hơn. Giảm yêu cầu nút cũng góp phần phân cấp tốt hơn
45/ Mã hóa xóa là một cơ chế quan trọng cho phép lấy mẫu tính khả dụng của dữ liệu. Xóa mã hóa mở rộng các khối bằng cách tạo các bản sao bổ sung của dữ liệu. Dữ liệu bổ sung tạo ra sự dư thừa, đảm bảo an toàn hơn cho quá trình lấy mẫu
46/ Tuy nhiên, các nút có thể cố gắng mã hóa dữ liệu không chính xác để phá vỡ mạng. Để chống lại cuộc tấn công này, các nút cần một cách để xác minh rằng mã hóa là chính xác - đây là lúc cần có bằng chứng.
47/ Ethereum, @eigenlayer và @AvailProject đều sử dụng sơ đồ bằng chứng về tính hợp lệ để đảm bảo các khối được mã hóa chính xác. Ý tưởng này tương tự như bằng chứng hợp lệ được sử dụng bởi zk rollup. @eigenlayer đã thảo luận về điều này sớm hơn trong chủ đề này
48/ Mỗi khi một khối được tạo, người xác minh phải cam kết dữ liệu được xác minh bởi nút bằng cách sử dụng bằng chứng KZG để chứng minh rằng khối được mã hóa chính xác
49/ Mặc dù việc tạo các cam kết cho bằng chứng KZG đòi hỏi nhiều chi phí tính toán hơn cho các nhà sản xuất khối, nhưng khi các khối nhỏ, việc tạo các cam kết không mang lại nhiều chi phí. Tuy nhiên, điều này đã thay đổi...
50/… khi các khối lớn hơn, gánh nặng cam kết của bằng chứng KZG cao hơn nhiều
Do đó, loại nút chịu trách nhiệm tạo các cam kết này có thể có yêu cầu phần cứng cao hơn
51/ Mặt khác, @CelestiaOrg triển khai các bằng chứng gian lận để xóa mã hóa. Do đó, các nút #Celestia không cần kiểm tra xem các khối có được mã hóa chính xác hay không. họ mặc định nó là chính xác
52/ Lợi ích là các nhà sản xuất khối không cần phải thực hiện công việc tốn kém để tạo ra các cam kết mã hóa xóa
Nhưng có một sự cân bằng, bởi vì các nút ánh sáng phải đợi một thời gian ngắn trước khi cho rằng một khối được mã hóa chính xác và hoàn thành nó trong chế độ xem của chúng
53/ Sự khác biệt chính giữa các lược đồ mã hóa chống gian lận và chứng minh tính hợp lệ là sự đánh đổi giữa chi phí chung của nút để tạo các cam kết và độ trễ cho các nút nhẹ
54/ Bảng này tóm tắt so sánh rất hay
Xem bản gốc
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Các giải pháp cung cấp dữ liệu hoạt động như thế nào và chúng khác nhau như thế nào?
**Được viết bởi: **zer0kn0wledge.era
Biên soạn: Kate, Marsbit
Lưu ý: Bài viết này là từ @expctchaos Twitter, một nhà nghiên cứu của @ChaosDAO. Nội dung của tweet gốc được tổ chức bởi MarsBit như sau:
0/ Tính khả dụng của dữ liệu (DA) là nút cổ chai mở rộng quy mô chính
May mắn thay @CelestiaOrg, @AvailProject và @eigenlayer sẽ thay đổi trò chơi DA và cho phép các cấp độ mở rộng mới
Nhưng nó hoạt động như thế nào và #EigenDA khác với DA 15 như #Celestia và #Avail như thế nào?
1/ Nếu bạn không quen thuộc với các vấn đề về tính khả dụng của dữ liệu, vui lòng xem bài đăng của tôi bên dưới, nơi tôi mô tả chi tiết về tình trạng sẵn có của dữ liệu 👇
2/ Nhìn chung, có hai loại giải pháp xử lý dữ liệu chính
3/ Và "xác minh tính hợp lệ thuần túy" có nghĩa là việc xử lý dữ liệu có thể ngoại tuyến mà không cần đảm bảo, bởi vì các nhà cung cấp dịch vụ dữ liệu ngoại tuyến có thể ngoại tuyến bất cứ lúc nào...
4/ …#StarkEx, #zkPorter và #Arbitrum Nova là những ví dụ về tình huống xác minh dựa vào DAC, một nhóm bên thứ ba nổi tiếng để đảm bảo tính khả dụng của dữ liệu
5/ Mặt khác, #EigenDA, @CelestiaOrg và @AvailProject là những gì chúng ta có thể gọi là giải pháp DA phổ quát
Tuy nhiên, có một số khác biệt giữa EigenDA và hai giải pháp còn lại
6/ Nếu bạn muốn biết @CelestiaOrg hoạt động như thế nào, hãy xem liên kết bên dưới
7/ Trước đây tôi cũng đã đề cập đến @AvailProject, vì vậy để tìm hiểu thêm, hãy xem tại đây
8/ Nếu bạn cần xem lại @eigenlayer, hãy xem chủ đề bên dưới 👇
9/ Vì vậy, trong bài viết hôm nay, chúng tôi muốn tập trung vào việc so sánh giữa #EigenDA của @eigenlayer và các chuỗi DA L1 như @CelestiaOrg hoặc @AvailProject
10/ Giả sử một bản tổng hợp dựa trên Ethereum và sử dụng Celestia cho DA (còn gọi là Celestium)
Vì vậy, các hợp đồng L2 trên Ethereum xác minh bằng chứng hợp lệ hoặc bằng chứng gian lận như bình thường và DA được cung cấp bởi Celestia
11/ Trên @CelestiaOrg và @AvailProject, không có hợp đồng thông minh hoặc tính toán, chỉ có dữ liệu được đảm bảo khả dụng
12/ Nhưng chúng ta hãy xem xét kỹ hơn
Trên @CelestiaOrg, dữ liệu tx được xuất bản lên Celestia bởi trình sắp xếp L2, trình xác minh Celestia ký gốc Merkle của bằng chứng DA, sau đó được gửi tới hợp đồng cầu nối DA trên Ethereum để xác minh và lưu trữ
13/ So với việc lưu trữ DA trên chuỗi, điều này giúp giảm đáng kể chi phí có bảo đảm DA mạnh, đồng thời cung cấp bảo đảm bảo mật từ Celestia (chứ không phải DAC tập trung)
14/ Giảm chi phí sẽ thay đổi luật chơi trong toàn bộ lĩnh vực rollup, vì chi phí calldata được tạo ra bằng cách xuất bản dữ liệu lên Ethereum L1 chiếm 80-90% chi phí rollup
Để biết thêm thông tin về chi phí calldata, hãy xem bài đăng bên dưới 👇
15/ Nhưng cái quái gì đã xảy ra với #Celestia vậy?
Các đốm dữ liệu được đăng lên @CelestiaOrg (về cơ bản là dữ liệu thô) được truyền qua mạng P2P và đạt được sự đồng thuận về đốm dữ liệu bằng cách sử dụng sự đồng thuận của Tendermint
16/ Mọi nút đầy đủ của #Celestia phải tải xuống toàn bộ đốm dữ liệu. Điều này khác với các nút nhẹ có thể sử dụng Lấy mẫu khả dụng của dữ liệu (DAS) để đảm bảo tính khả dụng của dữ liệu
17/ Để biết thêm thông tin về DAS và light node, vui lòng xem bài đăng bên dưới
18/ Chúng tôi cũng sẽ quay lại DAS sau trong chủ đề này, nhưng hiện tại trọng tâm là các nút đầy đủ
Vì vậy, hãy quay lại @CelestiaOrg, vẫn tiếp tục hoạt động theo kiểu L1, dựa vào việc phát sóng và đồng thuận trên các đốm màu dữ liệu
19/ Do đó, nó đặt ra yêu cầu cao đối với các nút đầy đủ của mạng (tải xuống 128 MB/giây và tải lên 12,5 MB/giây).
Tuy nhiên, @CelestiaOrg đã nhắm đến thông lượng vừa phải (1,4 MB/s) ngay từ đầu, có vẻ như thấp do các yêu cầu của nút đầy đủ
20/ Tuy nhiên, mạng có thể mở rộng thông lượng bằng cách thêm các nút nhẹ. Càng nhiều nút ánh sáng lấy mẫu dữ liệu, kích thước khối có thể càng lớn với điều kiện đảm bảo an ninh và phân cấp
21/ Mặt khác, @eigenlayer có kiến trúc khác, không có sự đồng thuận của riêng nó và không có mạng ngang hàng
Vì vậy, làm thế nào để làm việc này?
Đầu tiên, nút EigenDA phải phân bổ lại $ETH trong hợp đồng @eigenlayer. Do đó, các nút #EigenDA là một tập hợp con của trình xác thực Ethereum
22/ Sau khi nhận được blob dữ liệu, người mua DA (chẳng hạn như rollup, còn được gọi là người phân tán) sau đó mã hóa nó bằng mã xóa và tạo cam kết KZG…
23/…trong đó kích thước bằng chứng phụ thuộc vào tỷ lệ dự phòng của mã xóa và công bố cam kết của KZG đối với hợp đồng thông minh #EigenDA
24/ Cam kết KZG được mã hóa được phân phối bởi bộ phân tán tới các nút #EigenDA
Sau khi nhận được cam kết KZG, các nút này so sánh nó với cam kết KZG của hợp đồng thông minh EigenDA và ký vào bằng chứng sau khi xác nhận
25/ Sau đó, người phân tán thu thập từng chữ ký này, tạo chữ ký tổng hợp và xuất bản nó lên hợp đồng thông minh #EigenDA và hợp đồng thông minh xác minh chữ ký
26/ Nhưng nếu nút #EigenDA chỉ ký một bằng chứng tuyên bố rằng nó đã lưu trữ đốm dữ liệu được mã hóa trong quy trình công việc này và hợp đồng thông minh EigenDA chỉ xác minh tính chính xác của chữ ký tổng hợp, thì làm sao chúng tôi có thể chắc chắn rằng nút EigenDA thực sự lưu trữ dữ liệu?
27/ #EigenDA sử dụng phương pháp chứng minh ký quỹ để đạt được điều này
Nhưng hãy lùi lại một bước và xem cảnh này, nơi nó trở nên quan trọng
28/ Giả sử một số trình xác thực lười biếng không thực hiện các nhiệm vụ được giao cho chúng (ví dụ: đảm bảo có sẵn dữ liệu)
Thay vào đó, họ giả vờ rằng họ đã hoàn thành công việc và ký tên vào kết quả cuối cùng (báo cáo sai sự sẵn có của dữ liệu khi không có sẵn).
29/ Về mặt khái niệm, bằng chứng tạm giữ giống như bằng chứng lừa đảo:
Bất kỳ ai cũng có thể gửi bằng chứng (lười xác thực) cho hợp đồng thông minh #EigenDA sẽ được hợp đồng thông minh xác minh
29/ Trình xác thực lười biếng bị cắt nếu xác thực thành công (vì đó là lỗi do khách quan)
30/ Đồng thuận thì sao?
@CelestiaOrg sử dụng Tendermint làm giao thức đồng thuận của mình, giao thức này có tính hữu hạn ở một vị trí. Tức là, khi một khối vượt qua sự đồng thuận của #Celestia, thì nó đã hoàn thành. Điều này có nghĩa là tính hữu hạn về cơ bản nhanh bằng thời gian khối (15 giây).
31/ @AvailProject sử dụng thành phần giao thức để đạt được mục đích cuối cùng. BABE là một cơ chế sản xuất khối có xác suất cuối cùng và GRANDPA là tiện ích cuối cùng. Mặc dù GRANDPA có thể hoàn thành các khối trong một ô, nhưng nó cũng có thể hoàn thành nhiều khối trong một vòng
32/ Vì @eigenlayer là một tập hợp các hợp đồng thông minh trên Ethereum nên nó cũng thừa hưởng thời gian hoàn thiện giống như Ethereum (12 - 15 phút) đối với dữ liệu cần được chuyển tiếp đến hợp đồng tổng hợp để chứng minh tính khả dụng của dữ liệu
33/ Tuy nhiên, nếu tổng số sử dụng @eigenlayer, nó có thể được thực hiện nhanh hơn, tùy thuộc vào cơ chế đồng thuận được sử dụng, v.v.
Ngoài ra, phần mềm trung gian được bảo đảm bởi trình xác thực đặt lại của @eigenlayer tập trung vào việc cung cấp các khoản thanh toán nhanh, chẳng hạn như EigenSettle có thể cung cấp các đảm bảo an ninh kinh tế mạnh mẽ cho phép xác nhận trước tài khoản cuối cùng. Tuy nhiên, đảm bảo tài chính cứng vẫn đến từ Ethereum L1
34/ Đã đến lúc xem lại các khái niệm về lấy mẫu tính khả dụng của dữ liệu
Trong hầu hết các chuỗi khối, các nút cần tải xuống tất cả dữ liệu giao dịch để xác minh tính khả dụng của dữ liệu. Vấn đề này tạo ra là khi kích thước khối tăng lên, số lượng nút dữ liệu cần được xác minh cũng tăng lên
35/ Lấy mẫu tính khả dụng của dữ liệu (DAS) là một kỹ thuật cho phép các nút nhẹ xác minh tính khả dụng của dữ liệu bằng cách chỉ tải xuống một phần nhỏ dữ liệu khối
36/ Điều này cung cấp bảo mật cho các nút nhẹ để chúng có thể xác thực các khối không hợp lệ (chỉ DA và sự đồng thuận) và cho phép chuỗi khối mở rộng quy mô sẵn có của dữ liệu mà không làm tăng yêu cầu của nút
37/ DAS yêu cầu ít nhất một full node trung thực và đủ số lượng light client
38/ Nhưng làm thế nào để đảm bảo an toàn cho các light node?
Các ứng dụng khách nhẹ truyền thống có các giả định bảo mật yếu hơn so với các nút đầy đủ do chúng chỉ xác thực các tiêu đề khối
Do đó, các ứng dụng khách nhẹ không thể phát hiện liệu một khối không hợp lệ có được tạo bởi phần lớn các nhà sản xuất khối không trung thực hay không
39/ Các light node có lấy mẫu tính khả dụng của dữ liệu được nâng cấp về bảo mật, vì nếu lớp DA chỉ thực hiện đồng thuận và tính khả dụng của dữ liệu, chúng có thể xác minh xem các khối không hợp lệ có được tạo ra hay không
40/ Cả @CelestiaOrg và @AvailProject sẽ lấy mẫu tính khả dụng của dữ liệu để các nút nhẹ của chúng sẽ có bảo mật giảm thiểu độ tin cậy.
41/ Điều này khác với Ethereum và @eigenlayer
Ethereum với #EIP4844 không lấy mẫu tính khả dụng của dữ liệu, vì vậy các ứng dụng khách nhẹ của nó sẽ không có bảo mật tối thiểu hóa độ tin cậy
42/ Vì Ethereum cũng có môi trường hợp đồng thông minh, nên các khách hàng nhẹ cũng cần xác minh việc thực thi (thông qua gian lận hoặc bằng chứng về tính hợp lệ), thay vì dựa vào hầu hết các giả định về tính trung thực
43/ @eigenlayer (trừ khi có DAS), ứng dụng khách nhẹ, nếu được hỗ trợ, sẽ dựa vào phần lớn các nút khôi phục trung thực
Do đó, tính bảo mật của #EigenDA chủ yếu dựa trên bộ xác thực Ethereum, kế thừa tính nguyên thủy của Ethereum và đảm bảo tính bảo mật kinh tế của DA
44/ Vì vậy, nhiều bên liên quan tham gia hơn vào #EigenDA có nghĩa là bảo mật cao hơn. Giảm yêu cầu nút cũng góp phần phân cấp tốt hơn
45/ Mã hóa xóa là một cơ chế quan trọng cho phép lấy mẫu tính khả dụng của dữ liệu. Xóa mã hóa mở rộng các khối bằng cách tạo các bản sao bổ sung của dữ liệu. Dữ liệu bổ sung tạo ra sự dư thừa, đảm bảo an toàn hơn cho quá trình lấy mẫu
46/ Tuy nhiên, các nút có thể cố gắng mã hóa dữ liệu không chính xác để phá vỡ mạng. Để chống lại cuộc tấn công này, các nút cần một cách để xác minh rằng mã hóa là chính xác - đây là lúc cần có bằng chứng.
47/ Ethereum, @eigenlayer và @AvailProject đều sử dụng sơ đồ bằng chứng về tính hợp lệ để đảm bảo các khối được mã hóa chính xác. Ý tưởng này tương tự như bằng chứng hợp lệ được sử dụng bởi zk rollup. @eigenlayer đã thảo luận về điều này sớm hơn trong chủ đề này
48/ Mỗi khi một khối được tạo, người xác minh phải cam kết dữ liệu được xác minh bởi nút bằng cách sử dụng bằng chứng KZG để chứng minh rằng khối được mã hóa chính xác
49/ Mặc dù việc tạo các cam kết cho bằng chứng KZG đòi hỏi nhiều chi phí tính toán hơn cho các nhà sản xuất khối, nhưng khi các khối nhỏ, việc tạo các cam kết không mang lại nhiều chi phí. Tuy nhiên, điều này đã thay đổi...
50/… khi các khối lớn hơn, gánh nặng cam kết của bằng chứng KZG cao hơn nhiều
Do đó, loại nút chịu trách nhiệm tạo các cam kết này có thể có yêu cầu phần cứng cao hơn
51/ Mặt khác, @CelestiaOrg triển khai các bằng chứng gian lận để xóa mã hóa. Do đó, các nút #Celestia không cần kiểm tra xem các khối có được mã hóa chính xác hay không. họ mặc định nó là chính xác
52/ Lợi ích là các nhà sản xuất khối không cần phải thực hiện công việc tốn kém để tạo ra các cam kết mã hóa xóa
Nhưng có một sự cân bằng, bởi vì các nút ánh sáng phải đợi một thời gian ngắn trước khi cho rằng một khối được mã hóa chính xác và hoàn thành nó trong chế độ xem của chúng
53/ Sự khác biệt chính giữa các lược đồ mã hóa chống gian lận và chứng minh tính hợp lệ là sự đánh đổi giữa chi phí chung của nút để tạo các cam kết và độ trễ cho các nút nhẹ
54/ Bảng này tóm tắt so sánh rất hay