"Kerangka Kerja untuk Integrasi Aman AltDA di Ethereum" - Tim @eigen_da Integrasi AltDA memperluas ruang desain Ethereum, tetapi sebagian besar desain dan implementasi kurang ditentukan untuk keamanan L2. Ini adalah formalisasi pertama dari apa yang dibutuhkan integrasi aman: fondasi untuk sistem tanpa kepercayaan. Ini meresmikan prinsip-prinsip yang sama yang diterapkan dalam kerangka kerja @l2beat.

Asumsi inti: sequencer & pengusul dapat berperilaku jahat. Sequencer berbahaya dapat: - Posting data yang rusak ke L1 - Salah mengkodekan muatan - Tahan gumpalan sampai setelah pemangkasan DA Pengusul jahat dapat: - konsensus fork L2 di Ethereum Tanpa pemeriksaan yang tepat, serangan ini dapat menghentikan konsensus L2 atau menguras jembatan.

Kami melihat integrasi AltDA sebagai urutan transformasi data deterministik di tiga struktur data. Byte Kotak Masuk L1 → Komitmen AltDA → Muatan Rollup → Blob Setiap langkah membutuhkan fungsi total, artinya mereka menangani SEMUA input, termasuk sampah musuh. Implementasi parsial = kegagalan kehidupan.

DA Verifier sangat penting tetapi sering disalahpahami. Itu harus: - Total: menangani input apa pun tanpa crash - Benar: tidak ada positif palsu (memungkinkan penahanan data) atau negatif palsu (serangan liveness yang lebih lemah) Kegagalan yang berhenti selama permainan tantangan = potensi pencurian jembatan.

Integrasi OP Stack EigenDA (Hokulea + EigenDA Proxy) mengimplementasikan kerangka kerja ini dan segera digunakan oleh @Celo @megaeth & lainnya. Pendekatan kami memformalkan kerangka kerja @l2beat dengan definisi domain eksplisit dan fungsi total. Kami berharap tim rollup dan DA lainnya merasa berguna dalam memahami, merancang, dan mengintegrasikan integrasi yang aman.