Lompat ke konten
Financial Context Wiki

Risiko Data Availability Committee (DAC)

Panduan yang mengutamakan verifikasi untuk attestasi DAC, aturan penerimaan q-of-n, penguasaan dan pengambilan data aktual, domain kegagalan berkorelasi, rotasi key, retensi, fallback, dan exit.

Diperbarui

Hanya untuk tujuan edukasi; bukan merupakan nasihat investasi atau rekomendasi investasi. Investasi dapat mengakibatkan kerugian.

Jawaban langsung

Data Availability Committee adalah kumpulan anggota terbatas yang tanda tangan atau attestasinya dapat memenuhi aturan protokol untuk menerima klaim ketersediaan data offchain. Sertifikat hanya membuktikan bahwa keyset dan threshold yang dikonfigurasi menerima objek bertanda tangan tertentu menurut aturan tersebut. Sertifikat tidak secara independen membuktikan bahwa setiap penanda tangan mengambil byte lengkap, menyimpan salinan tahan lama, melayani pengguna sekarang, memvalidasi eksekusi, atau membuat settlement final.

Safety dan liveness berbeda. Jika kontrak menerima tanda tangan q-of-n, penguasaan q key valid dapat memenuhi aturan penerimaan untuk objek yang tidak tersedia kecuali pemeriksaan lain mencegahnya. Kurang dari q penanda tangan yang bersedia dan dapat dijangkau biasanya tidak dapat membentuk sertifikat baru, sehingga pembaruan berhenti atau memakai fallback terdokumentasi. Pemulihan aktual juga bergantung pada pemeriksaan jujur sebelum tanda tangan, salinan independen, retensi, kapasitas layanan, riwayat key dan tata kelola, serta perangkat lunak rekonstruksi dan exit yang dapat dieksekusi.

Cara kerja

  1. Kunci deployment: chain, mode dan versi protokol, kontrak settlement dan availability verifier, batch dan objek data, encoding, commitment, keyset, threshold q, jumlah anggota n, penanda tangan wajib, aktivasi, kedaluwarsa, pencabutan, dan otoritas tata kelola.
  2. Rekonstruksi klaim bertanda tangan dan logika penerimaan secara tepat. Verifikasi pengikatan domain, chain, dan kontrak, ID batch, commitment atau state root, kedaluwarsa, bitmap atau agregasi penanda tangan, perlindungan replay, dan perhitungan threshold aktual pada kontrak. Logo anggota atau respons API bukan aturan penerimaan.
  3. Wajibkan setiap anggota mengambil objek lengkap sebelum menandatangani, memverifikasi commitment dan encoding, mendekode, lalu menyimpan data untuk derivasi state atau exit pengguna secara independen. Catat apa yang diattestasi anggota dan apakah protokol dapat membuktikan pemeriksaan ini terjadi.
  4. Petakan domain kegagalan independen alih-alih menghitung nama. Identifikasi badan hukum, beneficial control, akun dan region cloud, DNS dan jaringan, stack perangkat lunak dan basis data, custody key, backend storage, operasi, dan yurisdiksi. Mirror atau endpoint di belakang satu control plane bukan anggota independen.
  5. Uji penguasaan dan pengambilan. Ambil batch terbaru dan historis dari beberapa anggota tanpa API operator, verifikasi hash dan root, rekonstruksi state atau proof withdrawal, ukur retensi dan egress, serta bedakan produksi sertifikat, pengambilan saat ini, validitas eksekusi, finality konsensus, dan ketahanan arsip.
  6. Uji lifecycle dan pemulihan: rotasi anggota dan key, keyset historis, kedaluwarsa dan pencabutan, ketersediaan di bawah threshold, kompromi threshold key, selective serving, gangguan operator, fallback ke data lengkap, mode freeze atau escape, forced inclusion, arsip independen, serta gas dan waktu aktual untuk exit.
  7. Pantau bitmap penanda tangan yang diterima, keterlambatan sertifikat, keberhasilan pengambilan, integritas byte, umur storage, perubahan keyset dan threshold, upgrade, pause, dan kapasitas fallback. Arsipkan sertifikat, data, dan state kontrak; hentikan penambahan eksposur jika sertifikat diterima tetapi pengambilan atau pemulihan independen tidak lagi bekerja.

Contoh perhitungan

  • Liveness dan safety threshold bukan hal yang sama. Dalam komite ilustratif 5-of-7, dua anggota yang tidak tersedia menyisakan 5 penanda tangan sehingga sertifikat baru masih dapat dibentuk; tiga anggota menyisakan 4, maka 4 < 5 dan produksi sertifikat berhenti kecuali ada fallback terdokumentasi. Sebaliknya, penguasaan 5 key yang diterima dapat memenuhi aturan threshold; sertifikat tetap tidak membuktikan pengambilan byte saat ini atau validitas eksekusi.
  • Model ketersediaan independen. Hanya sebagai model IID ilustratif, asumsikan masing-masing dari 7 anggota tersedia secara independen dengan probabilitas 0.95 dan sertifikat memerlukan setidaknya 5. Maka P(quorum) = sum(C(7,k) * 0.95^k * 0.05^(7-k), k=5..7) = 0.9962429570, sehingga probabilitas stall model adalah 1 - 0.9962429570 = 0.0037570430. Dependensi cloud, perangkat lunak, operator, hukum, atau key bersama membatalkan estimasi binomial ini.
  • Salinan storage dan layanan terpisah. Satu batch berukuran 120 MB. Tujuh salinan penuh independen akan menyimpan 120 * 7 = 840 MB; jika hanya tiga anggota benar-benar menyimpannya, byte tersimpan adalah 120 * 3 = 360 MB meski lima key menandatangani. Melayani objek satu kali kepada 100 clients mentransfer 120 * 100 = 12,000 MB, sehingga jumlah tanda tangan bukan jumlah salinan maupun ukuran kapasitas egress.
  • Threshold rekonstruksi. Objek ilustratif memiliki 1,024 records yang dibagi menjadi 16 chunks berisi 64 records, dengan threshold pemulihan 12 chunks. Sebelas chunk mengekspos 11 * 64 = 704 records, tetapi 11 < 12, sehingga objek tidak dapat direkonstruksi menurut aturan tersebut. Sertifikat komite valid tidak mengganti chunk yang hilang atau mengubah threshold pemulihan.

Risiko

  • Memeriksa chain, kontrak, deployment, batch, atau versi protokol yang salah.
  • Merekonstruksi klaim bertanda tangan, domain, commitment, atau expiry yang salah.
  • Menerima replay lintas chain, kontrak, versi, atau keyset historis.
  • Menggunakan keyset tidak valid, usang, kedaluwarsa, atau dicabut.
  • Salah membaca q, n, penanda tangan wajib, bitmap, atau aggregate signature.
  • Mengeksploitasi bug implementasi penanda tangan atau verifikasi kontrak.
  • Menandatangani sebelum pengambilan penuh, pemeriksaan integritas, dan persistensi.
  • Menerima data parsial, cacat, atau salah encoding.
  • Kehilangan safety akibat kompromi atau kolusi threshold key.
  • Kehilangan liveness karena anggota yang dapat menandatangani kurang dari threshold.
  • Menghitung badan, cloud, region, atau operator berkorelasi sebagai pihak independen.
  • Berbagi DNS, TLS, perangkat lunak, basis data, atau control plane storage.
  • Mengalami eclipse attack, selective service, atau ketergantungan gateway privat.
  • Menghapus atau memangkas data setelah tanda tangan atau sebelum jendela exit berakhir.
  • Merusak pengambilan historis karena pergantian anggota atau rotasi key.
  • Membiarkan tata kelola mengganti anggota, menurunkan threshold, atau melewati delay.
  • Merujuk commitment settlement yang usang, belum aman, atau direorganisasi.
  • Menganggap proof validitas atau root final sebagai pengambilan data saat ini.
  • Menemukan fallback, freeze, forced inclusion, atau exit tidak dapat dieksekusi.
  • Meremehkan biaya storage, egress, pemulihan, fallback, fee, dan kapasitas.

Kesalahpahaman umum

  • Lebih banyak anggota komite otomatis berarti lebih banyak domain kegagalan independen.
  • q tanda tangan membuktikan q salinan penuh tahan lama tersedia untuk publik.
  • Proof validitas menghapus kebutuhan untuk memverifikasi ketersediaan data DAC.
  • Sertifikat lama yang valid menjamin pengambilan saat ini dan pengarsipan permanen.
  • Satu anggota jujur atau resmi menjamin setiap pengguna selalu dapat exit.

Topik terkait

Sumber

Navigasi

Cari di wiki...