Skema Bukti Kerja Koperatif untuk Protokol Konsensus Teragih

1. Pengenalan

Kertas kerja ini mencadangkan penambahbaikan kepada skema bukti kerja (PoW) piawai, di mana matlamatnya adalah untuk mencari suatu nonce supaya hash kriptografi bagi pengepala blok memenuhi sasaran kesukaran tertentu (contohnya, bermula dengan beberapa sifar). Inovasi terasnya adalah mereka bentuk skema ini supaya secara semula jadi koperatif, membolehkan berbilang pengguna autonomi menggabungkan usaha pengiraan mereka untuk menyelesaikan PoW bagi transaksi kolektif mereka.

Motivasi utama adalah untuk beralih daripada model perlombongan tradisional yang kompetitif dan berasaskan yuran (contohnya, Bitcoin) ke arah model yang koperatif dan berasaskan cukai. Peralihan ini bertujuan untuk mengurangkan pembaziran tenaga daripada perlumbaan senjata perlombongan dan mengurangkan isu seperti diskriminasi pelombong dan pengaruh pemusatan kolam perlombongan.

Manfaat yang Dicadangkan:

• Penggantian yuran transaksi (dibayar kepada pelombong) dengan cukai transaksi (dibayar oleh pengguna/pelombong).
• Pengurangan penggunaan tenaga keseluruhan dengan mengurangkan hashing kompetitif.
• Peningkatan pertahanan terhadap penapisan transaksi oleh pelombong.
• Potensi untuk kadar pemprosesan sistem yang lebih tinggi disebabkan pengurangan persaingan.
• Pencegahan yang lebih baik terhadap serangan Penafian Perkhidmatan (DoS), kerana penghantaran spam menjadi mahal.

2. Konsensus

3. Bukti Kerja Koperatif

4. Inti Pati & Aliran Logik

Inti Pati: Ketidakcekapan asas konsensus Nakamoto bukanlah PoW itu sendiri, tetapi kerangka sifar-sum dan kompetitif yang dibina di sekelilingnya. Kertas kerja Kuijper mengenal pasti dengan betul bahawa kos sebenar—pembaziran tenaga, pemusatan melalui kolam, turun naik pasaran yuran—berpunca daripada insentif struktur untuk mengatasi pengiraan orang lain, bukan daripada mencapai konsensus. Cadangan peralihan daripada model yuran-kepada-pelombong kepada model cukai-oleh-pengguna adalah satu penyongsangan radikal tetapi logik. Ia membingkai semula PoW daripada "tiket loteri" untuk pelombong kepada "kos penyelarasan" untuk pengguna yang ingin transaksi mereka dimasukkan ke dalam lejar, menyelaraskan insentif ekonomi dengan kesihatan rangkaian.

Aliran Logik: Hujah diteruskan dengan ketepatan pembedahan: (1) Menetapkan konsensus sebagai masalah pemesejan/penyelarasan. (2) Menunjukkan PoW sebagai mekanisme kelewatan paksa. (3) Mengenal pasti persaingan sebagai punca eksternaliti PoW. (4) Mencadangkan primitif kriptografi (PoW koperatif) yang secara struktur menguatkuasakan kerjasama dengan menjadikan penyelesaian individu berguna secara kombinatorial. Logiknya kukuh—jika anda tidak boleh bersaing, anda mesti bekerjasama. Kecemerlangan kertas kerja ini adalah dalam mencadangkan kita mereka bentuk protokol untuk menjadikan persaingan sia-sia secara matematik.

5. Kekuatan & Kelemahan

Kekuatan:

• Penyelarasan Insentif yang Elegan: Model cukai menyerang secara langsung punca penggunaan tenaga berlebihan. Ia adalah pendekatan yang lebih berprinsip berbanding pembaikan lewat seperti pembakaran yuran EIP-1559 Ethereum.
• Rintangan Kolam: Dengan membakar kerjasama ke dalam protokol, ia berpotensi menghapuskan keperluan dan risiko pemusatan kolam perlombongan luaran. Ini menangani kelemahan kritikal yang dinyatakan oleh penyelidik seperti Gervais et al. (2016) mengenai tekanan pemusatan dalam perlombongan Bitcoin.
• Rintangan Penapisan yang Dipertingkatkan: Jika pelombong (atau pengkoperasi) membayar untuk memasukkan transaksi, mereka mempunyai insentif ekonomi yang kurang untuk mengecualikan mana-mana transaksi tertentu, mengukuhkan neutraliti rangkaian.

Kelemahan & Jurang Kritikal:

• Masalah "Penumpang Bebas": Kertas kerja ini mengabaikan cabaran teori permainan yang signifikan. Apa yang menghalang pengguna daripada menunggu orang lain menyelesaikan teka-teki koperatif dan kemudian menambah transaksi mereka? Cukai mesti dikuatkuasakan secara kriptografi, kemungkinan memerlukan mekanisme kompleks seperti bukti-ZK pengiraan, yang tidak diperincikan dalam kertas kerja.
• Kerumitan & Kebolehpengesahan: Menggabungkan bukti separa mesti boleh disahkan dengan murah tetapi kukuh secara kriptografi. Mereka bentuk fungsi sedemikian bukan perkara remeh dan mungkin memperkenalkan kerentanan baru atau overhead pengiraan yang menafikan penjimatan tenaga.
• Permulaan & Penerimaan: Seperti banyak model konsensus novel, ia menghadapi cabaran penyelarasan yang besar. Pelombong dengan pelaburan ASIC sedia ada tidak mempunyai insentif untuk bertukar. Skema ini kemungkinan memerlukan rantaian blok bermula dari kosong, menghadapi halangan penerimaan yang sama seperti "alternatif Bitcoin" lain.
• Formalisme yang Kabur: Walaupun menjanjikan, kertas kerja ini kekal pada tahap tinggi. Penilaian sebenar memerlukan pembinaan kriptografi khusus, yang tiada. Tanpanya, cadangan ini lebih kepada hala tuju penyelidikan daripada penyelesaian sedia.

6. Panduan Tindakan

Untuk penyelidik dan pereka protokol:

1. Tumpu pada Kriptografi Kombinatorial: Langkah seterusnya yang segera adalah untuk menentukan fungsi hash atau skema komitmen konkrit yang membolehkan gabungan bukti yang selamat dan cekap. Lihat konsep seperti pokok Merkle atau komposisi fungsi kelewatan boleh disahkan (VDF) untuk inspirasi.
2. Modelkan Teori Permainan dengan Ketat: Sebelum membina, formalisasikan model insentif. Gunakan simulasi berasaskan ejen (seperti yang digunakan untuk Bitcoin oleh Biais et al., 2019) untuk menguji keseimbangan Nash. "Cukai" mesti tidak dapat dielakkan dan manfaat kerjasama mesti mengatasi strategi pengkhianatan.
3. Sasarkan Aplikasi Khusus Dahulu: Jangan sasarkan penggantian Bitcoin. Sebaliknya, uji skema ini dalam rantaian blok gaya konsortium terkawal atau untuk kes penggunaan khusus seperti perkhidmatan penanda masa teragih atau bukti-kewujudan, di mana identiti dan kerjasama peserta lebih mudah dijamin.
4. Penanda Aras Berbanding Alternatif: Bandingkan dengan ketat potensi jejak tenaga dan jaminan keselamatan PoW koperatif yang direalisasikan bukan sahaja dengan Bitcoin, tetapi dengan mekanisme konsensus pasca-PoS lain seperti Avalanche atau PoS Tulen Algorand. Standardnya tinggi.

Intinya: Kertas kerja Kuijper adalah satu karya pemikiran yang berharga yang mendiagnosis masalah sistemik dengan betul. Walau bagaimanapun, ia membentangkan pelan, bukan enjin yang boleh dibina. Kerja sebenar—dan risiko kegagalan sebenar—terletak pada kejuruteraan kriptografi dan ekonomi yang diperlukan untuk menjadikan kerjasama bukan sahaja mungkin, tetapi wajib dan optimum. Ini adalah sempadan untuk penyelidikan konsensus generasi seterusnya.

7. Butiran Teknikal & Formalisme Matematik

Kertas kerja ini mencadangkan memformalkan PoW koperatif sebagai masalah carian di mana penyelesaiannya adalah fungsi daripada berbilang input daripada pengguna yang berbeza. Satu formalisme konseptual boleh digariskan seperti berikut:

Biarkan $T = \{tx_1, tx_2, ..., tx_n\}$ menjadi satu set transaksi daripada pengguna $U_1, U_2, ..., U_n$. Setiap pengguna $U_i$ bekerja untuk mencari saksi separa $w_i$ supaya untuk fungsi hash kriptografi $H$ dan cabaran global $C$, yang berikut berlaku untuk transaksi mereka:

$H(C, tx_i, w_i) < D_i$

di mana $D_i$ adalah sasaran kesukaran peribadi. Inovasi teras adalah fungsi gabungan $\Phi$ yang mengambil set penyelesaian separa $\{w_1, ..., w_n\}$ dan mengeluarkan saksi komposit yang sah $W$ untuk keseluruhan set $T$:

$W = \Phi(w_1, w_2, ..., w_n)$

Saksi komposit ini mesti memenuhi syarat PoW global untuk set tersusun $T$:

$H(C, \text{Sort}(T), W) < D_{global}$

Keselamatan bergantung pada sifat yang mencari $W$ secara langsung adalah sukar secara pengiraan, tetapi membinanya daripada saksi separa yang sah $\{w_i\}$ adalah cekap. Ini mencerminkan konsep dalam kriptografi ambang atau penjanaan kunci teragih.

8. Kerangka Analisis & Contoh Konseptual

Kerangka: Permainan Perlombongan Koperatif

Pertimbangkan model ringkas dengan dua pengguna, Alice dan Bob, setiap seorang dengan satu transaksi.

• PoW Tradisional (Seperti Bitcoin): Alice dan Bob (atau pelombong pilihan mereka) bersaing untuk menyelesaikan $H(blok) < D$. Pemenang memasukkan kedua-dua transaksi, mendapat yuran, dan kerja pihak yang kalah dibazirkan.
• PoW Koperatif (Dicadangkan): Protokol mentakrifkan teka-teki di mana hash blok dikira sebagai $H(\, H(tx_A, w_A) \, \| \, H(tx_B, w_B) \, ) < D$. Alice mencari $w_A$ yang menjadikan output hashnya mempunyai, katakan, 5 sifar pendahulu. Bob melakukan perkara yang sama untuk $w_B$. Mereka kemudian bertukar hash ini. Hash gabungan kedua-dua hash ini mesti mempunyai, katakan, 8 sifar pendahulu. Yang kritikal, mencari $w_A$ dan $w_B$ secara bebas adalah lebih mudah daripada mencari satu nonce untuk keseluruhan blok, dan kerja mereka boleh digabungkan.

Hasil: Kedua-dua menyumbang kerja. Kedua-dua transaksi dimasukkan. "Ganjaran" adalah kemasukan transaksi mereka sendiri yang berjaya, dibayar melalui "cukai" pendahuluan (usaha pengiraan). Tiada pemenang tunggal; kejayaan dikongsi.

9. Prospek Aplikasi & Hala Tuju Masa Depan

Aplikasi Potensi:

• Inisiatif Rantaian Blok Hijau: Untuk projek yang mengutamakan kelestarian alam sekitar, PoW koperatif menawarkan laluan untuk mengekalkan keselamatan PoW yang telah teruji sambil mengurangkan jejak karbonnya secara drastik melalui reka bentuk.
• Pertubuhan Autonomi Teragih (DAO): Ahli DAO boleh menghasilkan blok secara koperatif untuk mentadbir ekosistem mereka, menyelaraskan kuasa mengundi dengan kerja pengiraan yang disumbangkan ke arah matlamat bersama, bukannya pegangan modal tulen (PoS).
• Rantaian Blok Konsortium: Dalam persekitaran perusahaan di mana peserta diketahui dan terhad (contohnya, rakan kongsi rantaian bekalan), PoW koperatif boleh menyediakan mekanisme konsensus yang adil dan berkeizinan di mana pengaruh setiap peserta dikaitkan dengan kerja yang disumbangkan untuk operasi rangkaian.
• Model Konsensus Hibrid: PoW koperatif boleh bertindak sebagai lapisan berasaskan sumber yang tahan sybil dalam sistem hibrid, mungkin digunakan untuk memilih ahli jawatankuasa untuk pusingan konsensus gaya BFT seterusnya, serupa dengan idea yang diterokai dalam Thunderella atau model konsensus mengantuk lain.

Hala Tuju Penyelidikan Masa Depan:

1. Pelaksanaan Kriptografi: Cabaran utama adalah untuk menginstansiasi fungsi $\Phi$. Penyelidikan ke dalam hashing homomorfik atau bukti kerja berjujukan yang boleh dikumpulkan adalah penting.
2. Kesukaran Dinamik untuk Koperatif: Bagaimanakah rangkaian melaraskan sasaran $D_{global}$ dan $D_i$ individu secara dinamik berdasarkan bilangan dan kuasa hashing entiti yang bekerjasama? Ini memerlukan algoritma pelarasan kesukaran baru.
3. Kebolehoperasian & Jambatan: Meneroka bagaimana rantaian PoW koperatif boleh berkomunikasi dengan selamat dengan rantaian PoW atau PoS sedia ada melalui jambatan silang-rantaian.
4. Bukti Keselamatan Formal: Membuktikan keselamatan skema sedemikian di bawah model yang teguh (contohnya, kerangka Kebolehkomposan Universal) terhadap penentang adaptif.

10. Rujukan

1. Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
2. Demers, A., Greene, D., Hauser, C., Irish, W., Larson, J., Shenker, S., Sturgis, H., Swinehart, D., & Terry, D. (1987). Epidemic algorithms for replicated database maintenance. Proceedings of the sixth annual ACM Symposium on Principles of distributed computing.
3. Gervais, A., Karame, G. O., Wüst, K., Glykantzis, V., Ritzdorf, H., & Capkun, S. (2016). On the Security and Performance of Proof of Work Blockchains. Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security.
4. Back, A. (2002). Hashcash - A Denial of Service Counter-Measure.
5. Biais, B., Bisière, C., Bouvard, M., & Casamatta, C. (2019). The blockchain folk theorem. The Review of Financial Studies, 32(5), 1662-1715.
6. Bünz, B., Goldfeder, S., & Bonneau, J. (2018). Proofs-of-delay and randomness beacons in Ethereum. IEEE Security and Privacy on the blockchain (IEEE S&B).
7. Rocket, T., & Yin, M. (2020). Sleepy Consensus. IACR Cryptol. ePrint Arch..