Dalam beberapa hari terakhir saya mengulik dokumen konsensus Dusk, dan makin dibaca makin terasa ada satu detail yang tepat mengenai intinya—banyak rantai PoS memiliki node validasi yang sekaligus bertugas membuat blok dan memverifikasi blok. Sederhananya, itu berarti satu orang memegang dua identitas sekaligus: sebagai pengusul dan sekaligus wasit. Desain seperti ini sejak awal sudah menyimpan celah; kalau ingin berbuat jahat, jalurnya jadi sangat pendek
//
Cara Dusk adalah memotong kedua hal itu secara tegas
Konsensusnya disebut SBA (Segregated Byzantine Agreement). Intinya, peran “memproduksi blok” dan peran “memvalidasi/membuktikan blok” dipisahkan bersih dari sisi desain. Satu kelompok node khusus mengusulkan blok kandidat, sementara kelompok node lainnya khusus melakukan verifikasi, memberikan suara, dan memutuskan blok mana yang layak masuk ke rantai
//
Kedua kelompok ini memiliki wewenang dan tanggung jawab yang berbeda, juga identitas yang berbeda. Satu kelompok hanya mengusulkan, satu kelompok hanya menilai. Akibatnya, tidak ada yang bisa menjadi sekaligus atlet sekaligus wasit
//
Ada satu detail teknis lain yang cukup menarik
Pada tahap verifikasi, banyak node akan menandatangani suara secara terpisah. Jika setiap tanda tangan dipancarkan satu per satu dan diverifikasi secara terpisah, biaya komunikasi jaringan akan meningkat seiring jumlah node. Ide di balik agregasi tanda tangan BLS adalah: ribuan tanda tangan independen dikompresi menjadi satu hasil agregat yang ringkas. Node lain cukup memverifikasi satu tanda tangan agregat itu saja—artinya, verifikasi seluruh suara semua pihak selesai sekaligus. Biaya verifikasi langsung turun, efisiensi konsensus pun otomatis naik
//
Bagian yang benar-benar bernilai setelah kedua tahap dipisah adalah: ambang untuk bersekongkol dinaikkan
Kalau produksi blok dan verifikasi blok dilakukan oleh “orang yang sama”, maka untuk berbuat jahat cukup mengendalikan satu peran saja. Setelah dipisah menjadi dua segmen, untuk memanipulasi hasil secara serius, seseorang harus menyusup dan membujuk sekaligus dari dua sisi yang benar-benar independen: sisi produksi dan sisi penaksaan/verifikasi. Cara memilih kedua pihak ini, bagaimana identitas mereka ditetapkan, dan bagaimana insentifnya diberikan—semuanya dirancang secara terpisah. Biaya bersekongkol dan risiko terungkap langsung didorong ke atas
Logika pemisahan wewenang ini sebenarnya tidak baru dalam tata kelola tradisional, tapi Dusk mengunci logika itu ke mekanisme lapisan dasar konsensusnya, bukan sekadar omongan. Mungkin inilah yang ingin diselesaikan SBA
@Dusk $DUSK #dusk
Apa inti desain dari konsensus SBA?
//
Cara Dusk adalah memotong kedua hal itu secara tegas
Konsensusnya disebut SBA (Segregated Byzantine Agreement). Intinya, peran “memproduksi blok” dan peran “memvalidasi/membuktikan blok” dipisahkan bersih dari sisi desain. Satu kelompok node khusus mengusulkan blok kandidat, sementara kelompok node lainnya khusus melakukan verifikasi, memberikan suara, dan memutuskan blok mana yang layak masuk ke rantai
//
Kedua kelompok ini memiliki wewenang dan tanggung jawab yang berbeda, juga identitas yang berbeda. Satu kelompok hanya mengusulkan, satu kelompok hanya menilai. Akibatnya, tidak ada yang bisa menjadi sekaligus atlet sekaligus wasit
//
Ada satu detail teknis lain yang cukup menarik
Pada tahap verifikasi, banyak node akan menandatangani suara secara terpisah. Jika setiap tanda tangan dipancarkan satu per satu dan diverifikasi secara terpisah, biaya komunikasi jaringan akan meningkat seiring jumlah node. Ide di balik agregasi tanda tangan BLS adalah: ribuan tanda tangan independen dikompresi menjadi satu hasil agregat yang ringkas. Node lain cukup memverifikasi satu tanda tangan agregat itu saja—artinya, verifikasi seluruh suara semua pihak selesai sekaligus. Biaya verifikasi langsung turun, efisiensi konsensus pun otomatis naik
//
Bagian yang benar-benar bernilai setelah kedua tahap dipisah adalah: ambang untuk bersekongkol dinaikkan
Kalau produksi blok dan verifikasi blok dilakukan oleh “orang yang sama”, maka untuk berbuat jahat cukup mengendalikan satu peran saja. Setelah dipisah menjadi dua segmen, untuk memanipulasi hasil secara serius, seseorang harus menyusup dan membujuk sekaligus dari dua sisi yang benar-benar independen: sisi produksi dan sisi penaksaan/verifikasi. Cara memilih kedua pihak ini, bagaimana identitas mereka ditetapkan, dan bagaimana insentifnya diberikan—semuanya dirancang secara terpisah. Biaya bersekongkol dan risiko terungkap langsung didorong ke atas
Logika pemisahan wewenang ini sebenarnya tidak baru dalam tata kelola tradisional, tapi Dusk mengunci logika itu ke mekanisme lapisan dasar konsensusnya, bukan sekadar omongan. Mungkin inilah yang ingin diselesaikan SBA
@Dusk $DUSK #dusk
Apa inti desain dari konsensus SBA?
A. 把出块和验块拆成两拨独立节点
B. 用算力竞争决定谁出块
C. 所有节点轮流当唯一的验证者
6 hari lagi
