Il-problema li ssolvi l-proof of work
Ktieb tal-kontijiet diġitali huwa faċli biex jiġi kkupjat u faċli biex jiġi editjat. Kieku kwalunkwe persuna setgħet iżżid tranżazzjonijiet liberament, setgħet ukoll tonfoq l-istess muniti darbtejn — il-problema klassika tad-"double-spend". F'sistema mingħajr operatur ċentrali, teħtieġ mod kif parteċipanti indipendenti jaqblu fuq liema tranżazzjonijiet seħħew u f'liema ordni, anke meta uħud minnhom ikunu diżonesti jew offline.
Tentattivi aktar bikrin ta' flus diġitali kienu jiddependu fuq parti fdata biex iżżomm il-kotba. Id-disinn ta' Bitcoin, deskritt fil-whitepaper tal-2008, issostitwixxa dik il-parti fdata b'kompetizzjoni pubblika: il-parteċipanti jonfqu riżorsi reali biex iżidu blokok, u n-network isegwi regola kondiviża biex jagħżel il-katina rebbieħa. Il-konsensus joħroġ mill-ispiża u mill-matematika aktar milli mill-awtorità.
X'qed jikkalkulaw verament il-minaturi
Kull blokk kandidat fih grupp ta' tranżazzjonijiet, referenza għall-blokk preċedenti, u numru żgħir li jista' jinbidel imsejjaħ nonce. Il-minaturi jgħaddu din id-data mill-funzjoni hash SHA-256, li tbiddel kwalunkwe input f'output ta' tul fiss li jidher li ma jistax jiġi mbassar. L-għan huwa li jinstab input li jipproduċi hash taħt ċertu valur mira — fil-prattika, hash li jibda b'numru speċifiku ta' żerijiet.
Peress li l-outputs tal-hash ma jistgħux jiġu mbassrin jew injinerjati bil-maqlub, l-uniku mod biex tinstab hash li tikkwalifika huwa prova u żball: ibdel in-nonce, erġa' agħmel il-hash, irrepeti, biljuni ta' drabi fis-sekonda. Dik it-tfittxija bil-forza bruta hija x-"xogħol". Huwa maħsub apposta biex ikun diffiċli li jsir iżda banali biex kull ħaddieħor jiċċekkjah — kalkolu wieħed tal-hash jikkonferma li t-tweġiba hija valida. Din l-asimetrija (diffiċli li tipproduċi, faċli li tivverifika) hija l-qalba tal-proof of work.
Id-diffikultà u r-ritmu ta' madwar għaxar minuti
Bitcoin jimmira għal blokk ġdid bħala medja madwar kull għaxar minuti. Hekk kif aktar qawwa tal-kompjuter (hash rate) tingħaqad man-network, il-blokok jkollhom tendenza li jaslu aktar malajr, u għalhekk il-protokoll jaġġusta perjodikament id-diffikultà — kemm baxxa trid tkun il-hash mira — biex iżomm il-pass medju stabbli. Bejn wieħed u ieħor kull ġimagħtejn (2,016-il blokk), kull nod jerġa' jikkalkula d-diffikultà mill-ħinijiet tal-blokok reċenti.
Din l-awtoreġolazzjoni hija r-raġuni għaliex aktar qawwa ta' mining ma jfissirx produzzjoni ta' blokok aktar mgħaġġla maż-żmien; prinċipalment ifisser li qed jintefaq aktar xogħol biex jiġi ssikurat l-istess fluss stabbli ta' blokok. Il-ħin eżatt ta' kwalunkwe blokk wieħed huwa każwali, u għalhekk għaxar minuti hija medja fit-tul, mhux skeda.
Minn blokok għal konsensus: l-itwal katina valida
Li ssib blokk validu huwa biss nofs l-istorja. In-nodi xorta jridu jaqblu fuq storja waħda meta żewġ minaturi jsibu blokok kważi fl-istess ħin. Ir-regola hija li n-nodi jsegwu l-katina valida bl-akbar total ta' proof of work akkumulat — spiss imqassra bħala l-"itwal katina", għalkemm fil-verità hija l-aktar tqila skont ix-xogħol kumulattiv.
Kull nod sħiħ jivverifika b'mod indipendenti kull blokk kontra r-regoli ta' Bitcoin: firem validi, l-ebda double-spend, premju tal-blokk korrett, u hash li tilħaq il-mira. Il-blokok li jiksru r-regoli sempliċement jiġu miċħuda, irrispettivament minn kemm xogħol daħal fihom. In-nuqqas ta' qbil temporanju (forks) jiġi solvut hekk kif il-blokk li jmiss jestendi fergħa waħda, u l-minaturi onesti jikkonverġu fuqha għax il-bini fuq il-katina aċċettata huwa fejn qiegħed il-premju.
Għaliex dan jissikura n-network
Biex tinkiteb mill-ġdid tranżazzjoni tal-passat, attakkant ikollu jerġa' jagħmel il-proof of work għal dak il-blokk u kull blokk warajh, imbagħad jgħaddi lin-network onest kollu biex jibni katina itwal. Aktar ma tkun midfuna fil-fond tranżazzjoni, aktar xogħol ikollu jerġa' jsir — u għalhekk il-kummerċjanti spiss jistennew diversi konfermi. L-ispiża tikber mal-hash rate totali tan-network.
Din hija l-intuwizzjoni wara l-"attakk ta' 51%": il-kontroll tal-maġġoranza tal-qawwa tal-hash jista' jħalli lil xi ħadd jerġa' jordna jew jiċċensura tranżazzjonijiet reċenti. Iżda huwa għali biex tikseb u tħaddem dak il-hardware, ma jistax jiffalsifika firem jew jisraq muniti direttament, u attakk viżibbli jista' jdgħajjef il-valur tal-istess assi li l-attakkant qed jonfoq riżorsi biex jaħdmu (mine). L-inċentivi huma allinjati b'mod li l-parteċipazzjoni onesta ġeneralment tħalli aktar profitt mill-attakk. Is-sigurtà hawnhekk hija ekonomika u probabilistika, mhux garanzija assoluta.
Kompromessi u d-dibattitu usa'
Il-qawwa tal-proof of work — spiża reali, esterna — hija wkoll is-sors tal-aktar kritika komuni tiegħu: il-konsum tal-enerġija. L-istimi tal-użu tal-elettriku ta' Bitcoin ivarjaw ħafna u jinbidlu maż-żmien, u l-istampa hija kkumplikata mis-sehem dejjem jikber ta' enerġija iżolata, żejda, jew rinnovabbli li jużaw xi minaturi. Nies raġonevoli ma jaqblux, u d-dettalji jinbidlu; jaqbel li tiċċekkja sorsi kurrenti u kredibbli aktar milli kwalunkwe figura waħda.
Disinji alternattivi ta' konsensus bħal proof of stake jissikuraw xi networks oħra b'ferm inqas enerġija billi jużaw kollateral ekonomiku minflok kalkolu. Jinvolvu suppożizzjonijiet u kompromessi differenti, u l-paragun ġust tagħhom huwa suġġett għalih innifsu. Speċifikament għal Bitcoin, il-proof of work jibqa' l-mekkaniżmu, u s-sigurtà u l-iskeda tal-ħruġ tiegħu huma marbutin miegħu.