Asumsi jaringan dan adversarial. Walrus berjalan dalam periode, masing-masing dengan kumpulan node penyimpanan statis. Walrus adalah protokol Proof-of-Stake yang didelegasikan. Selama periode, pemegang saham mendeklarasikan saham mereka kepada node penyimpanan kandidat. Di akhir periode, n = 3f + 1 shard penyimpanan ditetapkan secara proporsional kepada node penyimpanan. Kumpulan node penyimpanan yang menyimpan setidaknya satu shard dianggap sebagai komite penyimpanan periode tersebut.
Kami mempertimbangkan jaringan asinkron dari node penyimpanan di mana penjahat yang bermaksud dapat mengendalikan hingga f shard penyimpanan, yaitu mengendalikan subset apa pun dari node penyimpanan sedemikian rupa sehingga paling banyak f shard terganggu. Untuk kemudahan dalam sisa makalah ini, kami mengasumsikan setiap shard menghasilkan identitas node penyimpanan terpisah sehingga terdapat n node penyimpanan dan paling banyak f node penyimpanan yang terganggu.
Simpul yang rusak dapat menyimpang secara arbitrer dari protokol. Simpul yang tersisa adalah jujur dan secara ketat mematuhi protokol. Jika sebuah simpul yang dikendalikan oleh musuh pada epoch e bukan bagian dari set simpul penyimpanan pada epoch e + 1 maka musuh dapat beradaptasi dan mengompromikan simpul yang berbeda pada epoch e + 1 setelah perubahan epoch selesai.
Kami mengasumsikan setiap pasangan simpul jujur memiliki akses ke saluran yang dapat diandalkan dan terautentikasi. Jaringan bersifat asinkron, jadi musuh dapat menunda atau mengurutkan ulang pesan antara simpul jujur secara arbitrer, tetapi harus akhirnya mengirimkan setiap pesan kecuali epoch berakhir terlebih dahulu. Jika epoch berakhir maka pesan dapat diabaikan.
Meskipun kami memberikan analisis tentang insentif, kami tidak mempertimbangkan simpul rasional dengan fungsi utilitas. Ini ditinggalkan untuk pekerjaan di masa depan.
Kode penghapusan. Sebagai bagian dari Walrus, kami mengusulkan Penyimpanan Data Lengkap Asinkron (ACDS) yang menggunakan skema pengkodean penghapusan linier. Meskipun tidak diperlukan untuk bagian inti dari protokol, kami juga mengasumsikan bahwa skema pengkodean adalah sistematis untuk beberapa optimasi kami, yang berarti bahwa simbol sumber dari skema pengkodean juga muncul sebagai bagian dari simbol keluaran.
Biarkan Encode(B, t, n) menjadi algoritma pengkodean. Keluarnya adalah n simbol sehingga setiap t dapat digunakan
untuk membangun kembali B dengan probabilitas yang sangat besar. Ini terjadi dengan terlebih dahulu membagi B menjadi s ≤ t simbol
ukuran O(|B|) yang disebut simbol sumber. Ini kemudian diperluas dengan menghasilkan n − s perbaikan s
simbol untuk total n simbol keluaran. Di sisi dekoding, siapa pun dapat memanggil Decode(T, t, n) di mana T adalah sekumpulan setidaknya s simbol yang telah dikodekan dengan benar, dan itu mengembalikan blob B. Dekoding ini bersifat probabilistik tetapi seiring dengan meningkatnya ukuran T, probabilitas untuk berhasil mendekode blob dengan cepat mendekati satu. Kami mengasumsikan bahwa perbedaan antara ambang t untuk mendekode dengan probabilitas yang sangat besar dan jumlah simbol sumber s adalah konstanta kecil, yang berlaku untuk skema pengkodean penghapusan praktis (seperti RaptorQ yang kami gunakan dalam implementasi kami). Untuk kesederhanaan, kami oleh karena itu sering mengasumsikan bahwa s = t, kecuali jika perbedaan tersebut relevan.
Ini umumnya aman untuk diasumsikan, karena simbol t pertama dapat dengan mudah dihitung berdasarkan simbol s pertama dan kami dapat mempertimbangkan simbol t ini sebagai simbol sumber, yaitu, satu-satunya efek dari asumsi ini adalah peningkatan kecil dalam ukuran simbol.
Substrat blockchain. Walrus menggunakan blockchain eksternal sebagai kotak hitam untuk semua operasi kontrol yang terjadi di Walrus. Protokol blockchain dapat dianggap sebagai kotak hitam komputasional yang menerima sekumpulan transaksi bersamaan, masing-masing dengan pesan input Tx(M) dan menghasilkan urutan total pembaruan yang akan diterapkan pada keadaan Res(seq, U). Kami mengasumsikan bahwa blockchain tidak menyimpang dari abstraksi ini dan tidak menyensor Tx(M) tanpa batas. Setiap protokol SMR modern berkinerja tinggi memenuhi persyaratan ini, dalam implementasi kami kami menggunakan Sui dan telah menerapkan protokol koordinasi Walrus yang kritis dalam bahasa kontrak pintar Move
#walrus #WalrusFinance #WAL #Binance #writetoearn
