Kandungan
1. Pengenalan
Teknologi blockchain, sejak pengenalan Bitcoin pada tahun 2008, telah merevolusikan sistem terdesentralisasi melalui mekanisme konsensus Bukti-Kerja (PoW). Walau bagaimanapun, keselamatan PoW menghadapi cabaran signifikan daripada tingkah laku perlombongan strategik, terutamanya perlombongan egois. Kertas kerja ini membincangkan persoalan kritikal tentang bagaimana berbilang kolam perlombongan bermasalah mempengaruhi keuntungan strategi perlombongan egois.
Perlombongan egois melibatkan pelombong mengekalkan rantaian peribadi dan mendedahkan blok secara strategik untuk mendapatkan ganjaran tidak seimbang berbanding kuasa pengiraan sebenar mereka. Walaupun penyelidikan sebelumnya memberi tumpuan kepada pelombong egois tunggal, kerja kami melanjutkan analisis ini kepada berbilang kolam yang bersaing, memberikan penilaian ancaman keselamatan blockchain yang lebih realistik.
21.48%
Ambang perlombongan egois simetri
25%
Ambang perlombongan egois asal
23.21%
Ambang dioptimumkan MDP
2. Latar Belakang dan Kerja Berkaitan
2.1 Blockchain dan Bukti-Kerja
Keselamatan blockchain Bitcoin bergantung pada teka-teki hash kriptografi yang diselesaikan melalui pengiraan intensif. Pelombong bersaing untuk mencari blok yang sah, dengan pelombong berjaya menerima ganjaran kriptowang. Konsensus PoW berfungsi sebagai asas untuk kira-kira 90% blockchain awam.
2.2 Asas Perlombongan Egois
Kerja seminal Eyal dan Sirer menunjukkan bahawa perlombongan egois menjadi menguntungkan apabila pelombong mengawal lebih daripada 25% daripada jumlah kadar hash. Penyelidikan seterusnya menggunakan Proses Keputusan Markov (MDP) mengurangkan ambang ini kepada kira-kira 23.21%. Walau bagaimanapun, kajian ini mengandaikan pelombong egois tunggal, mengabaikan senario realistik berbilang kolam yang bersaing.
3. Metodologi dan Model
3.1 Formulasi Rantai Markov
Kami menubuhkan model rantai Markov novel untuk mencirikan peralihan negeri antara rantaian awam dan peribadi. Model ini mempertimbangkan kolam jujur yang mewakili semua pelombong jujur dan dua kolam perlombongan egois yang tidak sedar peranan bermasalah antara satu sama lain.
Ruang negeri ditakrifkan oleh panjang relatif rantaian peribadi dan awam, dengan peralihan dicetuskan oleh peristiwa perlombongan dan pendedahan blok strategik.
3.2 Analisis Peralihan Negeri
Analisis kami membedah semua peristiwa mungkin yang mencetuskan perubahan dalam keadaan rantaian, termasuk:
- Pelombong jujur mencari blok baharu pada rantaian awam
- Pelombong egois melanjutkan rantaian peribadi mereka
- Pendedahan strategik rantaian peribadi
- Penyusunan semula rantaian dan blok yatim
4. Keputusan dan Analisis
4.1 Ambang Keuntungan
Model matematik kami menghasilkan ungkapan bentuk tertutup untuk ambang keuntungan. Untuk pelombong egois simetri, keperluan kadar hash minimum berkurangan kepada 21.48%, jauh lebih rendah daripada ambang asal 25%.
Walau bagaimanapun, persaingan antara pelombong egois asimetri meningkatkan ambang menguntungkan, menyukarkan kolam lebih kecil untuk mendapat manfaat daripada strategi perlombongan egois.
4.2 Analisis Tingkah Laku Sementara
Kelewatan menguntungkan meningkat apabila kadar hash pelombong egois berkurangan. Penemuan ini mencadangkan bahawa kolam perlombongan lebih kecil mesti menunggu lebih lama untuk merealisasikan keuntungan daripada perlombongan egois, menjadikan strategi kurang menarik untuk kolam dengan sumber pengiraan terhad.
Tanpa pelarasan kesukaran seterusnya, perlombongan egois membazirkan kuasa pengiraan dan menjadi tidak menguntungkan dalam jangka pendek.
5. Pelaksanaan Teknikal
5.1 Kerangka Matematik
Model rantai Markov boleh diwakili oleh matriks kebarangkalian peralihan $P$ dengan negeri $S = \{s_1, s_2, ..., s_n\}$. Taburan keadaan mantap $\pi$ memenuhi:
$$\pi P = \pi$$
$$\sum_{i=1}^{n} \pi_i = 1$$
Syarat keuntungan untuk perlombongan egois diberikan oleh:
$$R_{selfish} > R_{honest} = \alpha$$
di mana $\alpha$ mewakili perkadaran kadar hash pelombong.
5.2 Pelaksanaan Kod
Di bawah adalah pelaksanaan pseudokod Python untuk mensimulasikan tingkah laku perlombongan egois:
class SelfishMiningSimulator:
def __init__(self, alpha, gamma=0.5):
self.alpha = alpha # kadar hash pelombong egois
self.gamma = gamma # kebarangkalian menerima pakai rantaian egois
def simulate_round(self, state):
"""Simulasi satu pusingan perlombongan"""
if random() < self.alpha:
# Pelombong egois menemui blok
return self.selfish_found_block(state)
else:
# Pelombong jujur menemui blok
return self.honest_found_block(state)
def calculate_profitability(self, rounds=10000):
"""Kira keuntungan jangka panjang"""
total_rewards = 0
state = {'private_lead': 0, 'public_chain': 0}
for _ in range(rounds):
state = self.simulate_round(state)
total_rewards += self.calculate_reward(state)
return total_rewards / rounds
6. Aplikasi dan Hala Tuju Masa Depan
Pandangan daripada penyelidikan ini mempunyai implikasi signifikan untuk keselamatan blockchain dan reka bentuk mekanisme konsensus. Kerja masa depan harus memberi tumpuan kepada:
- Membangunkan mekanisme pengesanan untuk tingkah laku perlombongan egois secara masa nyata
- Mereka protokol konsensus tahan terhadap perlombongan egois berbilang kolam
- Meneroka kesan kelewatan penyebaran rangkaian ke atas keuntungan perlombongan egois
- Memperluas analisis kepada Bukti-Kepentingan dan mekanisme konsensus hibrid
Apabila teknologi blockchain berkembang ke arah Bukti-Kepentingan Ethereum 2.0 dan mekanisme konsensus lain, memahami vektor serangan ini kekal penting untuk mengekalkan keselamatan rangkaian.
Analisis Asal
Penyelidikan ini memberikan kemajuan signifikan dalam memahami tingkah laku perlombongan egois dengan membincangkan senario realistik berbilang kolam yang bersaing. Pengurangan ambang keuntungan kepada 21.48% untuk pelombong simetri menyerlahkan kerentanan semakin meningkat rangkaian blockchain apabila kuasa perlombongan menjadi lebih tertumpu. Penemuan ini selari dengan kebimbangan yang dibangkitkan dalam kertas kerja CycleGAN tentang tingkah laku permusuhan dalam sistem terdesentralisasi, di mana berbilang pelaku boleh menyelaraskan atau bersaing dengan cara yang menjejaskan integriti sistem.
Keketatan matematik model rantai Markov mewakili peningkatan ketara berbanding pendekatan eksperimen sebelumnya, seperti kerja oleh Gervais et al. (2016) yang terutamanya menggunakan analisis berasaskan simulasi. Ungkapan bentuk tertutup kami memberikan pandangan lebih jelas tentang hubungan asas antara taburan kadar hash dan keuntungan. Analisis sementara yang mendedahkan bahawa perlombongan egois membazirkan kuasa pengiraan tanpa pelarasan kesukaran menggema penemuan daripada Kertas Putih Bitcoin tentang insentif ekonomi yang mendasari tingkah laku perlombongan.
Berbanding analisis perlombongan egois kolam tunggal tradisional, pendekatan berbilang kolam ini lebih baik mencerminkan ekosistem blockchain semasa di mana beberapa kolam perlombongan besar beroperasi serentak. Ambang meningkat untuk pelombong asimetri mencadangkan mekanisme pertahanan semula jadi terhadap pelaku berniat jahat lebih kecil, walaupun ambang diturunkan untuk kolam simetri menunjukkan kerentanan lebih besar kepada pakatan sulit. Dualiti ini membentangkan landskap keselamatan kompleks yang memerlukan pemantauan dan mekanisme respons canggih.
Sumbangan penyelidikan mempunyai implikasi melangkaui Bitcoin, menjejaskan semua kriptowang berasaskan PoW dan berpotensi memaklumkan reka bentuk mekanisme konsensus generasi akan datang. Seperti yang dinyatakan dalam penyelidikan Yayasan Ethereum, memahami vektor serangan ini adalah penting untuk peralihan kepada Bukti-Kepentingan dan protokol konsensus alternatif lain.
7. Rujukan
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Eyal, I., & Sirer, E. G. (2014). Majority is not enough: Bitcoin mining is vulnerable. Communications of the ACM, 61(7), 95-102.
- 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.
- Zhu, J. Y., Park, T., Isola, P., & Efros, A. A. (2017). Unpaired image-to-image translation using cycle-consistent adversarial networks. Proceedings of the IEEE international conference on computer vision.
- Ethereum Foundation. (2021). Ethereum 2.0 Specifications. https://github.com/ethereum/eth2.0-specs
- Nayak, K., Kumar, S., Miller, A., & Shi, E. (2016). Stubborn mining: Generalizing selfish mining and combining with an eclipse attack. Security and Privacy (EuroS&P), 2016 IEEE European Symposium on.