Hợp tác với @b-wagn , Tài liệu về PeerDAS 1 của Ethereum
Tầm nhìn dài hạn của cộng đồng Ethereum bao gồm một giao thức toàn diện về tính khả dụng của dữ liệu sử dụng các cam kết đa thức và mã tenxơ. Là bước tiếp theo hướng tới tầm nhìn này, một giải pháp trung gian có tên là PeerDAS sắp được tích hợp, để bắc cầu đến giao thức đầy đủ. Với việc PeerDAS sớm trở thành một phần không thể thiếu của lớp Consensus của Ethereum, việc hiểu được các đảm bảo an ninh của nó là điều cần thiết.
Tài liệu này nhằm mục đích mô tả mật mã được sử dụng trong PeerDAS theo cách mà cộng đồng mật mã có thể tiếp cận, khuyến khích đổi mới và cải tiến, đồng thời nêu rõ các đảm bảo an ninh của PeerDAS. Chúng tôi tập trung vào PeerDAS như được mô tả trong các thông số kỹ thuật Consensus của Ethereum [ Eth24a 1 , Eth24b 1 ].
Mục đích của chúng tôi là hai mặt: đầu tiên, chúng tôi muốn cung cấp mô tả về mật mã được sử dụng trong PeerDAS mà cộng đồng mật mã có thể tiếp cận, có khả năng dẫn đến những ý tưởng mới và
những cải tiến có thể được tích hợp trong tương lai. Thứ hai, chúng tôi muốn nêu rõ ràng các đảm bảo về tính bảo mật và hiệu quả của PeerDAS. Về mặt bảo mật, tài liệu này chứng minh cho tuyên bố sau:
Định lý 1 (Định lý chính, Không chính thức): Giả sử các giả định về độ cứng mật mã hợp lý, PeerDAS là một lược đồ lấy mẫu về tính khả dụng của dữ liệu an toàn trong mô hình nhóm đại số, theo định nghĩa trong [ HASW23 1 ].
Chúng tôi hy vọng nhận được phản hồi từ cộng đồng để cải thiện thêm tài liệu này