Editorial Ilmu Komputer & AI
Hydrozoan: Konsensus DAG Adaptif Latensi di Bawah Campuran Kesalahan Byzantine dan Crash
Masalah inti
Protokol konsensus berbasis DAG telah menjadi desain terdepan untuk replikasi Byzantine fault-tolerant (BFT) berthroughput tinggi. Protokol ini mencapai throughput besar dan mencapai batas optimal tiga penundaan pesan untuk konsensus di antara validator. Namun, protokol dua penundaan memiliki biaya: protokol tersebut menurunkan resiliensi dengan mensyaratkan komite yang lebih besar (misalnya kuorum bergaya ) atau mengandalkan mekanisme fallback yang mengorbankan throughput tinggi DAG.
Makalah ini memperkenalkan **Hydrozoan**, protokol DAG pertama dengan *jalur commit ganda* di bawah model kesalahan hibrida. Model ini mentoleransi validator Byzantine dan validator crash pada validator, dengan adalah parameter yang dapat disetel yang menentukan ukuran fast quorum. Gagasan utamanya adalah leader melakukan commit dalam **dua penundaan pesan** ketika paling banyak validator rusak, dan dalam **tiga penundaan pesan** jika sebaliknya, tanpa pesan tambahan, tanpa view change, dan sambil mengizinkan beberapa leader per ronde. Kedua jalur dievaluasi pada DAG yang sama, dan *aturan tidak langsung bergradasi* yang baru merekonsiliasi ked
Inovasi
Evaluasi terdistribusi geografis menunjukkan bahwa Hydrozoan menyamai throughput Mysticeti sambil melakukan commit sekitar **25% lebih cepat** ketika fast quorum cocok dengan wilayah cepat. Ketika fast quorum tidak cocok, atau setelah lebih dari kesalahan, Hydrozoan turun ke tiga penundaan pesan, sedangkan protokol dua penundaan yang ada terhenti.
Secara spesifik, makalah melaporkan bahwa dalam kondisi terdistribusi geografis, keunggulan latensi jalur cepat bergantung pada geografi: ronde yang menjangkau wilayah terpencil jauh lebih mahal daripada yang tidak. Ini berarti keputusan tentang jalur mana yang lebih cepat bukanlah properti protokol, melainkan topologi jaringan deployment. Knob memungkinkan operator mengonfigurasi fast quorum agar sesuai dengan wilayah yang membutuhkan latensi rendah.
Optimal-Hydrozoan, varian yang mentoleransi satu kesalahan tambahan pada jalur cepat, adalah konstruksi pertama yang menyamai batas bawah yang diketahui. Penulis tidak melaporkan angka throughput spesifik selain menyamai Mysticeti, tetapi mereka menekankan bahwa fallback ke tiga penundaan pesan terjadi tanpa pesan tambahan atau view change, sehingga mempertahankan liveness
Mengapa penting
Jalur commit ganda Hydrozoan mengatasi ketegangan mendasar dalam konsensus berbasis DAG: trade-off antara latensi rendah dan resiliensi. Dengan memperkenalkan model kesalahan hibrida dengan kesalahan Byzantine dan kesalahan crash, serta parameter yang dapat disetel , protokol memungkinkan deployment memilih tempat menempatkan fast quorum. Hal ini sangat relevan untuk sistem terdistribusi geografis, tempat latensi jaringan bervariasi secara signifikan antar wilayah.
Aturan tidak langsung bergradasi adalah mekanisme baru yang merekonsiliasi kedua jalur tanpa mengharuskan validator menjalankan protokol terpisah atau melakukan view change. Ini krusial untuk mempertahankan throughput tinggi DAG dan menghindari kemacetan yang menghantui protokol dua penundaan yang ada ketika kesalahan melebihi ambang jalur cepat.
Bukti yang diperiksa mesin di Lean 4 menambahkan lapisan jaminan yang kuat, yang semakin penting untuk protokol konsensus yang digunakan di lingkungan adversarial. Taksonomi karya ini mencakup Architecture, Cybersecurity, Network, dan Cryptography, mencerminkan sifat interdisiplinernya.
Satu batasan adalah bahwa evaluasi berfokus pada kondisi terdistribusi geografis dan perbandingan dengan Mysticeti; perbandingan yang lebih luas dengan protokol DAG lain dan kondisi jaringan adversarial dapat memvalidasi pendekatan ini lebih lanjut. Meskipun demikian, Hydrozoan merupakan langkah signifikan menuju konsensus adaptif latensi yang dapat disetel sesuai kebutuhan deployment.
Pekerjaan mendatang dapat mengeksplorasi penyesuaian dinamis berdasarkan pola kesalahan yang diamati, atau integrasi dengan sharding dan teknik skalabilitas lainnya.
Siapa yang sebaiknya membaca
Membuka konten memberโฆ