Konsensüs

Kimse oy vermez ve kimse başta değildir. Her düğüm her bloğu aynı kural kitabına göre kontrol eder, sonra en fazla iş taşıyan geçerli zinciri izler; sıfırdan eşitlenen bir dizüstü bilgisayarın 3 Ocak 2009'a kadar aynı geçmişi yeniden kurması da böyle olur. Bitcoin satın aldığınızda, size gönderilen bitcoinlerin gerçekten sizin olduğuna karar veren mekanizma budur.

Nasıl çalışır

Uzlaşma, hiçbir zaman yoklama yapılarak değil, sabit bir sırayla iki soru sorularak sağlanır.

İlk soru geçerliliktir. Bir düğüm bir blok alır ve onu tek başına kontrol eder: imzalar, tutarlar, merkle kökü, madencinin talep ettiği sübvansiyon, ağırlık, zaman damgası. Başarısız olan her şey anında atılır ve onu üretmek için harcanan elektrik miktarı önemsizdir. İkinci soru, geçerli seçenekler arasında seçim yapmaktır. İki rakip geçmiş de kontrolü geçtiğinde, düğüm başlıkları boyunca toplanan toplam işi en büyük olanı tutar; bu, en çok bloğa sahip olanla aynı şey değildir: daha zor bloklardan oluşan daha kısa bir dal, daha kolay bloklardan oluşan daha uzun bir dalı yener.

Eksik olana dikkat edin. Düğümler hiçbir zaman görüş alışverişinde bulunmaz, hiçbir zaman bir tercih duyurmaz ve hiçbir zaman birbirini saymaz. Blokları ve işlemleri iletir, gelen her şeye aynı testi uygular ve test belirleyici olduğu için aynı yerde sonuçlanır. Uzlaşma, herkesin aritmetiği ayrı ayrı yapmasının bir yan etkisidir; ağın bozulabilecek bir yeter sayısı ve mahkemeye çağrılacak bir komitesi olmamasının nedeni budur.

Kısa süreli anlaşmazlık olağandır. İki madenci zaman zaman bir saniye içinde çözer ve dünyanın yarısı önce bir bloğu görür, bu yüzden birkaç dakika boyunca iki aday uç bulunur. Bir sonraki blok eşitliği bozar, bir dal eski blok olarak terk edilir ve işlemleri mempool'a döner. Derin anlaşmazlık ilginç olan durumdur ve yalnızca düğümler farklı kurallar çalıştırdığında ortaya çıkar. Kuralları sıkılaştırırsanız eski yazılım yeni yazılımın ürettiği her şeyi yine kabul eder; buna soft fork denir: Taproot Kasım 2021'de bu şekilde geldi ve hiçbir şeyi bölmedi. Kuralları gevşetirseniz iki grup kalıcı olarak farklı zincirleri izler; buna hard fork denir ve Bitcoin Cash ayrıldığında 1 Ağustos 2017 tarihinde tam olarak bu oldu.

Bitcoin satın alırken bu neden önemli

Bir Bitcoin bakiyesini, onu elinde tutanın bir vaadi değil, size ait yapan şey uzlaşmadır.

Zincir, çıktılar ve onları harcayabilecek anahtarlar konusunda anlaşır. Hesap sahibi diye bir kavramı yoktur. Bitcoinleriniz bir borsada durduğu sürece uzlaşma borsanın adreslerini görür, başka bir şey görmez ve bunlar üzerindeki talebiniz o şirketin veritabanındaki bir satırdır; buna düğümler değil, sözleşme hukuku uygulanır. Bitcoinlerinizi anahtarları kendi elinizde tuttuğunuz bir cüzdana taşırsanız durum tersine döner: küresel kural kitabı artık sizin harcama yetkinizi doğrudan tanır ve hiçbir destek talebi, dondurma veya iflas bunu değiştirmez. Kendi kendine saklamanın tüm gerekçesi budur ve bu, güven hakkında değil uzlaşma hakkında bir ifadedir.

Forklar bu ayrımı görünür kılar. 1 Ağustos 2017 tarihinde anahtarlarını kendi elinde tutan herkes, iki zincir de aynı çıktı geçmişini devraldığı için her iki zincirde de bitcoinleri kontrol eder hale geldi. Bir platform üzerinden elinde tutan herkes ise o platformun yapmayı seçtiği şeyi aldı; birkaçı yeni varlığı hesaba geçirmek için haftalar harcadı ya da onu hiç desteklememeyi seçti. Aynı mantık gelecekteki her ayrılma için geçerlidir.

Uzlaşma ayrıca küreseldir; düzenleme ise bu anlamda küresel değildir. Bu sitedeki 231 ülke rehberi neyin yasal olduğu, neyin bildirilmesi gerektiği ve hangi platformların sizi kabul edeceği konusunda büyük ölçüde farklıdır, ama bunların hiçbiri deftere ulaşmaz. Almanya'da satın alınan bir Bitcoin ile Nijerya'da satın alınan bir Bitcoin aynı kurallarla doğrulanır, aynı UTXO kümesinde yaşar ve bir düğüm için ayırt edilemez. Sınırda değişen şey, size kimin satacağı ve vergi idarenize ne borçlu olduğunuzdur; ağın geçerli saydığı şey asla değişmez.

Mart 2013'te Bitcoin'in iki zincirle çalıştığı altı saat

11 Mart 2013 tarihinde çıkarılan 225.430 numaralı blok, yazılımın bir sürümü tarafından kabul edildi ve ondan önceki sürüm tarafından reddedildi.

Bitcoin 0.8 sürümü veritabanını Berkeley DB'den LevelDB'ye geçirmişti ve bunu yaparken eski veritabanının büyük bir bloğu işlerken alabileceği kilit sayısına ilişkin belgelenmemiş bir sınırı sessizce kaldırdı. Blok bu sınırı aştı. 0.7 sürümünü çalıştıran düğümler onu reddetti, 0.8 sürümünü çalıştıran düğümler onun üzerine inşa etti ve ağ yaklaşık altı saat boyunca iki zincir taşıdı. OKPay ödeme işlemcisine karşı yaklaşık 10.000 dolarlık bir çift harcama gerçekleşti.

Çözüm, hiçbir protokol belgesinin söylemediği bir şeyi söyler. Geliştiriciler, daha kısıtlayıcı zincirin kazanması için madencilik havuzlarından 0.7 sürümüne geri dönmelerini istedi ve havuzlar bunu yaptı, parasını zaten almış oldukları blokları attı. Kısa süre sonra, üreteceği bloklarda geçici olarak 500.000 baytlık bir üst sınırla 0.8.1 sürümü yayımlandı ve BIP50 olay sonrası inceleme olarak yazıldı. Bu olay, Bitcoin'in kurallarının, hatalar dahil, dağıtımdaki yazılımın gerçekte uyguladığı şey olduğunun ve yazılım kendisiyle çeliştiğinde insanların seçim yapması gerektiğinin klasik kanıtıdır.

Konsensüs vs konsensüs kuralları

Uzlaşma sonuçtur; uzlaşma kuralları ona ulaşmak için kullanılan ölçütlerdir. Kurallar, koda yazılmış ve uyumlu yazılım çalıştıran herkes için aynı olan sabit bir geçerlilik kontrol listesidir. Uzlaşma, bu listenin gelen bloklara uygulanmasının değişen sonucudur; bu yüzden iki dürüst düğüm, neredeyse eşzamanlı bir bloğun ardından farklı uçlar tutarak kurallar konusunda tam olarak anlaşsalar bile geçici olarak uzlaşmanın dışında kalabilir. Kuralları değiştirirseniz mümkün olan uzlaşmayı değiştirirsiniz; hiçbir şeyi değiştirmezseniz uzlaşma yeni iş geldikçe her on dakikada bir yine kayar.