Lợi ích chính là giảm lượng dữ liệu lưu trữ trên Ethereum, từ đó giảm chi phí cho người dùng giao dịch trên L2.
**Được viết bởi: **OneTrueKirk
Biên soạn bởi: Yvonne, MarsBit
Bài đăng gốc từ OneTrueKirk trên ethresear.ch
Đây là lần đầu tiên tôi đăng bài về một chủ đề ở đây, vì vậy tôi xin lỗi nếu tôi xúc phạm bạn theo bất kỳ cách nào. Tôi đã suy nghĩ về ý tưởng này (Bản tổng hợp không trạng thái) chủ yếu dành cho bản tổng hợp dành riêng cho giao thức cho vay của chúng tôi, nhưng hy vọng ý tưởng này có thể được áp dụng chung, mọi phản hồi đều được đánh giá cao.
TLDR：
Chỉ gốc trạng thái được xuất bản, không phải calldata.
(Lưu ý MarsBit: Calldata là giá trị của phần dữ liệu trong giao dịch hợp đồng và không thể sửa đổi.)
chi tiết
Điều gì sẽ xảy ra nếu thay vì sử dụng Ethereum làm lớp dữ liệu sẵn có, bằng cách xuất bản trạng thái đầy đủ dưới dạng calldata và chỉ xuất bản gốc trạng thái lên mạng chính? Lợi ích chính là giảm lượng dữ liệu được lưu trữ trên Ethereum, do đó giảm chi phí cho người dùng giao dịch trên L2. Ngay cả với EIP-4844, blobace không miễn phí.
Rủi ro chính là Tấn công giữ lại dữ liệu, trong đó người đề xuất xuất bản gốc trạng thái hợp lệ nhưng giữ lại toàn bộ dữ liệu từ các nút tổng số khác để độc quyền sản xuất khối trong tương lai hoặc giữ tiền làm con tin. Để ngăn chặn điều này, các nút trung thực phải đặt câu hỏi về bất kỳ cập nhật trạng thái nào mà không nút ngang hàng nào có thể cung cấp dữ liệu. Bằng chứng gian lận tương tác kiểu Arbitrum có thể được sử dụng để buộc những người đề xuất tiết lộ toàn bộ trạng thái trên mạng chính, nhưng vẫn khiến thử thách thất bại nếu gốc hợp lệ, vì vậy ngay cả trong trường hợp thất bại, chi phí thử thách vẫn thấp.
(MarsBit Note: Data Withholding Attack đề cập đến kẻ tấn công cố tình không trả lại tất cả dữ liệu hoặc trả lại dữ liệu sai khi truy cập dữ liệu được bảo vệ, nhằm đạt được mục đích lừa dối hoặc phá hủy.
Nếu chi phí cho một thử thách không thành công thấp, thì những người đề xuất trung thực có thể bị khốn khổ khi buộc họ phải trả tiền cho việc đăng tất cả dữ liệu trạng thái lên mạng chính để bảo vệ thử thách, ngay cả khi họ truyền dữ liệu trạng thái một cách chính xác. Chi phí khởi xướng một thách thức phải tỷ lệ thuận với chi phí bảo vệ để đảm bảo rằng những người đề xuất trung thực không thể bị tấn công theo cách này.
Trong trường hợp xấu nhất, nếu kẻ tấn công có thể chi 1 đô la để trả cho người đề xuất trung thực 1 đô la, thì họ có thể buộc người đề xuất từ bỏ và lấy lại khối của họ. Sau đó, một người đề xuất trung thực mới có thể đặt giá thầu và trừ khi kẻ tấn công có thể lặp lại cuộc tấn công vào tất cả những người đề xuất trung thực tiềm năng, bao gồm tất cả những người có tiền, chúng không thể gây ra thời gian ngừng hoạt động vĩnh viễn. Có thể thêm một điều khoản khác, trong đó chi phí của thử thách tăng lên khi quá lâu đã trôi qua kể từ khi một khối hợp lệ được hoàn tất. Bằng cách này, thật dễ dàng để thách thức một người đề xuất không trung thực, nhưng không thể ngăn chặn quá trình chuyển đổi trạng thái lâu dài.
Lạc quan hơn, nếu các nút lan truyền dữ liệu giữa các nút ngang hàng, chúng có thể quyết định các giải pháp truy cập và sao lưu dữ liệu của riêng mình và tốt hơn hết là người dùng nên lưu trữ cục bộ dữ liệu họ cần cho quá trình chuyển đổi trạng thái của chính họ. Trong ngữ cảnh của một ứng dụng cụ thể, tôi đã nghĩ đến việc mã hóa trạng thái tổng số theo một cách hoàn toàn khác so với EVM để tối ưu hóa cho việc này. Tất cả trạng thái được liên kết với một tài khoản người dùng cụ thể có thể được mã hóa thành cùng một hàm băm, vì vậy người dùng có thể dễ dàng xác minh các thay đổi đối với tài khoản của họ mà không cần biết trạng thái chung (tức là xác nhận rằng bạn đã nhận được số lượng mã thông báo mong muốn mà không cần lo lắng về nguồn gốc của chúng) .
Tóm tắt
Tôi muốn nghe suy nghĩ của bạn và sẽ đánh giá cao các liên kết đến công việc liên quan. Không giống như bản tổng hợp lạc quan thông thường, trong bản tổng hợp lạc quan, có thể dễ dàng xác định xem dữ liệu cuộc gọi đã gửi có khớp với gốc trạng thái của mạng chính hay không và liệu cả hai có hợp lệ hay không, nhưng không thể biết liệu một bản cập nhật có hợp lệ chỉ từ gốc trạng thái hay không, vì vậy cần phải xem xét cẩn thận tính kinh tế của các giai đoạn thử thách và đau buồn (tức là hành vi ác ý).
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.
Xem nhanh các ưu điểm và vấn đề tiềm ẩn của cuộn lên không trạng thái
**Được viết bởi: **OneTrueKirk
Biên soạn bởi: Yvonne, MarsBit
Bài đăng gốc từ OneTrueKirk trên ethresear.ch
Đây là lần đầu tiên tôi đăng bài về một chủ đề ở đây, vì vậy tôi xin lỗi nếu tôi xúc phạm bạn theo bất kỳ cách nào. Tôi đã suy nghĩ về ý tưởng này (Bản tổng hợp không trạng thái) chủ yếu dành cho bản tổng hợp dành riêng cho giao thức cho vay của chúng tôi, nhưng hy vọng ý tưởng này có thể được áp dụng chung, mọi phản hồi đều được đánh giá cao.
TLDR：
Chỉ gốc trạng thái được xuất bản, không phải calldata.
(Lưu ý MarsBit: Calldata là giá trị của phần dữ liệu trong giao dịch hợp đồng và không thể sửa đổi.)
chi tiết
Điều gì sẽ xảy ra nếu thay vì sử dụng Ethereum làm lớp dữ liệu sẵn có, bằng cách xuất bản trạng thái đầy đủ dưới dạng calldata và chỉ xuất bản gốc trạng thái lên mạng chính? Lợi ích chính là giảm lượng dữ liệu được lưu trữ trên Ethereum, do đó giảm chi phí cho người dùng giao dịch trên L2. Ngay cả với EIP-4844, blobace không miễn phí.
Rủi ro chính là Tấn công giữ lại dữ liệu, trong đó người đề xuất xuất bản gốc trạng thái hợp lệ nhưng giữ lại toàn bộ dữ liệu từ các nút tổng số khác để độc quyền sản xuất khối trong tương lai hoặc giữ tiền làm con tin. Để ngăn chặn điều này, các nút trung thực phải đặt câu hỏi về bất kỳ cập nhật trạng thái nào mà không nút ngang hàng nào có thể cung cấp dữ liệu. Bằng chứng gian lận tương tác kiểu Arbitrum có thể được sử dụng để buộc những người đề xuất tiết lộ toàn bộ trạng thái trên mạng chính, nhưng vẫn khiến thử thách thất bại nếu gốc hợp lệ, vì vậy ngay cả trong trường hợp thất bại, chi phí thử thách vẫn thấp.
(MarsBit Note: Data Withholding Attack đề cập đến kẻ tấn công cố tình không trả lại tất cả dữ liệu hoặc trả lại dữ liệu sai khi truy cập dữ liệu được bảo vệ, nhằm đạt được mục đích lừa dối hoặc phá hủy.
Nếu chi phí cho một thử thách không thành công thấp, thì những người đề xuất trung thực có thể bị khốn khổ khi buộc họ phải trả tiền cho việc đăng tất cả dữ liệu trạng thái lên mạng chính để bảo vệ thử thách, ngay cả khi họ truyền dữ liệu trạng thái một cách chính xác. Chi phí khởi xướng một thách thức phải tỷ lệ thuận với chi phí bảo vệ để đảm bảo rằng những người đề xuất trung thực không thể bị tấn công theo cách này.
Trong trường hợp xấu nhất, nếu kẻ tấn công có thể chi 1 đô la để trả cho người đề xuất trung thực 1 đô la, thì họ có thể buộc người đề xuất từ bỏ và lấy lại khối của họ. Sau đó, một người đề xuất trung thực mới có thể đặt giá thầu và trừ khi kẻ tấn công có thể lặp lại cuộc tấn công vào tất cả những người đề xuất trung thực tiềm năng, bao gồm tất cả những người có tiền, chúng không thể gây ra thời gian ngừng hoạt động vĩnh viễn. Có thể thêm một điều khoản khác, trong đó chi phí của thử thách tăng lên khi quá lâu đã trôi qua kể từ khi một khối hợp lệ được hoàn tất. Bằng cách này, thật dễ dàng để thách thức một người đề xuất không trung thực, nhưng không thể ngăn chặn quá trình chuyển đổi trạng thái lâu dài.
Lạc quan hơn, nếu các nút lan truyền dữ liệu giữa các nút ngang hàng, chúng có thể quyết định các giải pháp truy cập và sao lưu dữ liệu của riêng mình và tốt hơn hết là người dùng nên lưu trữ cục bộ dữ liệu họ cần cho quá trình chuyển đổi trạng thái của chính họ. Trong ngữ cảnh của một ứng dụng cụ thể, tôi đã nghĩ đến việc mã hóa trạng thái tổng số theo một cách hoàn toàn khác so với EVM để tối ưu hóa cho việc này. Tất cả trạng thái được liên kết với một tài khoản người dùng cụ thể có thể được mã hóa thành cùng một hàm băm, vì vậy người dùng có thể dễ dàng xác minh các thay đổi đối với tài khoản của họ mà không cần biết trạng thái chung (tức là xác nhận rằng bạn đã nhận được số lượng mã thông báo mong muốn mà không cần lo lắng về nguồn gốc của chúng) .
Tóm tắt
Tôi muốn nghe suy nghĩ của bạn và sẽ đánh giá cao các liên kết đến công việc liên quan. Không giống như bản tổng hợp lạc quan thông thường, trong bản tổng hợp lạc quan, có thể dễ dàng xác định xem dữ liệu cuộc gọi đã gửi có khớp với gốc trạng thái của mạng chính hay không và liệu cả hai có hợp lệ hay không, nhưng không thể biết liệu một bản cập nhật có hợp lệ chỉ từ gốc trạng thái hay không, vì vậy cần phải xem xét cẩn thận tính kinh tế của các giai đoạn thử thách và đau buồn (tức là hành vi ác ý).