Bitcoin BitVM: Tam olarak nedir?

Bitcoin atılımları çok sık gerçekleşmez. Ancak gerçekleştiğinde, genellikle karmaşık ve ilk başta anlaşılması zordur. BitVM de bir istisna değildir.

Ekim 2023'te ortaya çıkan bu yeni gelişme, Bitcoin’in karmaşık hesaplamaları ağda herhangi bir değişiklik yapmadan doğrulama yeteneğini ortaya çıkarıyor. 

Daha spesifik olarak, BitVM, Bitcoin’i mevcut Script programlama dilinin bileşenlerini kullanarak Turing-tam hale getiriyor.

Turing-tam hale gelerek, Bitcoin blok zinciri teorik olarak Bitcoin’in işlevselliğini, Bitcoin teknik belgesinde ilk kez ortaya konan “eşler arası elektronik nakit sistemi” vizyonunun çok ötesine taşıyabilir.

Turing tamlığı bir Ikigai el kitabından çıkmış gibi gelse de, keyfi fonksiyonları hesaplayabilen/herhangi bir problemi çözebilen programlama dillerini tanımlamak için kullanılır.

Amerikalı matematikçi Alonzo Church, terimi ilk olarak 1930'larda, öğrencisi ve ünlü İngiliz bilgisayar bilimcisi Alan Turing'in çalışmalarına atıfta bulunarak ortaya attı.

BitVM’den önce, Bitcoin’in Script programlama dili Turing-tam olarak kabul edilmiyordu. Birçok çabaya rağmen, hiç kimse Bitcoin’in modern bir bilgisayarın yapabileceği her şeyi yapmasını sağlayacak bir yol bulamadı.

Ancak, birçok kişinin Bitcoin’in basitliğini bir eksiklik veya hata yerine tanımlayıcı bir özellik olarak gördüğünü belirtmek önemlidir.

Bitcoin’in hayalet yaratıcısı/yaratıcıları, Satoshi Nakamoto, protokolü başlattıktan bir yıl sonra Bitcoin’in programlama işlevselliğini sınırladı.

Nedenini merak edebilirsiniz? Her şey güvenliğe dayanır. Bir sistem ne kadar basitse, o kadar az şey ters gidebilir.

Örnek olarak, tüm üst düzey özelliklere sahip lüks bir arabayı normal bir bisikletle karşılaştıralım.

Elbette, lüks araba bisiklette bulamayacağınız birçok işlevsellik sunar, ancak teknik sorunlarla karşılaşma olasılığınız çok daha yüksektir. Geleneksel bir bisikletin ise çok az hareketli parçası vardır ve bu nedenle potansiyel olarak bozulabilecek çok daha az şeyi vardır. Bir bisiklette gösterge paneli ışık sorunları, arızalı havalı süspansiyon veya otomatik şerit değiştirme sorunlarıyla karşılaşmanız pek olası değildir — çünkü bu özelliklere sahip değildir.

Bu örnekte, Bitcoin bir bisiklet gibidir. Basitliği, kötü niyetli bir ajanın ağını bozabileceği yolların sayısını nihayetinde azaltır. Örneğin, Dağıtılmış Hizmet Reddi (DDoS) saldırılarının mevcut Bitcoin ağı üzerinde hiçbir etkisi yoktur, ancak daha karmaşık işlevsellik sunan diğer projeler için büyük bir sorundur.

BitVM, Bitcoin’in güvenliğini etkilemeyen veya ağı değiştirmeyen bir şekilde, herhangi bir hesaplamayı Bitcoin blok zincirinde doğrulanabilir hale getiren bir sistem sunar. Bu gelişme, Bitcoin’in blok zincirindeki tıkanıklığı azaltmak için zincir dışında işlenen Turing-tam akıllı sözleşmeler gibi karmaşık hesaplamaların önünü açıyor.

Kısacası, cep hesap makinenizin mevcut bileşenleri kullanarak MMORPG video oyunlarını, performansını olumsuz etkilemeden destekleyebileceğini öğrenmek gibi bir şey.

BitVM’in tüm bunları nasıl başardığını anlamak için en baştan başlayalım. 

Bilgisayarlar programları yürütmek için mantık kapıları adı verilen şeyler kullanır.

Kulağa karmaşık geliyor, ancak mantık kapıları basitçe bir veya daha fazla ikili girdi (0'lar ve 1'ler) alır, ne tür bir mantık kapısı olduklarına bağlı olarak küçük bir hesaplama yapar ve tek bir çıktı verir.

Akıllı telefonunuz, tabletiniz veya dizüstü bilgisayarınız muhtemelen yüz binlerce, hatta milyonlarca farklı türde mantık kapısı içerecektir.

Şimdi, “NAND” kapısı adı verilen özel bir mantık kapısı türü var. Bir NAND kapısı, başka herhangi bir mantık kapısı işlevini oluşturmak için kullanılabileceği için evrensel bir mantık kapısı olarak bilinir. Mantık kapısı dünyasının Ditto Pokémon’u gibi bir şey.

Şimdi, tüm bunların BitVM ile nasıl bağlantılı olduğuna gelelim. BitVM’in arkasındaki kişiler, mevcut Script dilini kullanarak Bitcoin üzerinde NAND mantık kapılarını temsil etmenin bir yolunu keşfettiler.

Bunun iki nedenden dolayı derin etkileri vardır:

• Bitcoin Turing-tam akıllı sözleşmelerine olanak tanır.
• Bitcoin ağını bozabilecek yazılım değişiklikleri uygulamaya gerek yoktur. İnsanlar BitVM modelini hemen kullanmaya başlayabilir.

Ek olarak, Bitcoin’in blok zinciri bu tür karmaşık hesaplamaları yalnızca zincir üzerinde doğrular. Yürütme zincir dışında gerçekleşir. 

Başka bir deyişle, işin büyük kısmı Bitcoin blok zincirinin kendisinde değil, başka bir yerde yapılır. Bu, yüksek ücretlere veya daha yavaş işlem sürelerine neden olabilecek Bitcoin ağı üzerindeki gereksiz yükü önler.

BitVM şu anda yalnızca iki tarafla sınırlıdır: bir “kanıtlayıcı” ve bir “doğrulayıcı.”

Diyelim ki iki taraf Bitcoin blok zincirini kullanarak bir akıllı sözleşme aracılığıyla birlikte işlem yapmak istiyor.

Bir taraf (kanıtlayıcı), akıllı sözleşmenin Bitcoin blok zincirinde doğrudan çalıştırılmasına gerek kalmadan reklamı yapıldığı gibi çalıştığını iddia eder.

İkinci tarafın (doğrulayıcı) akıllı sözleşmenin iddia edildiği gibi çalıştığına dair belirli güvencelere sahip olması gerekir. Her ikisi de, doğrulayıcıya akıllı sözleşmenin belirli kısımlarına itiraz etme ve kanıtlayıcıya yanıt verme hakkı veren bir dizi işlemi birlikte imzalar.

Taraflardan herhangi biri diğerini aldatmaya çalışırsa veya işbirliği yapmazsa, dürüst taraf, akıllı sözleşme etkinleştirildikten sonra yatırılan tüm fonları almaya hak kazanır.

Bir anlaşmazlık durumunda, akıllı sözleşme programının belirli koşulları, dolandırıcılık faaliyetinin gerçekleşip gerçekleşmediğini kanıtlamak için zincir üzerinde yürütülebilir.

ZeroSync’in çekirdek katılımcılarından Robin Linus, BitVM teknik belgesini 9 Ekim 2023’te yayınladı.

ZeroSync, İsviçre’nin Zug kentinde bulunan kar amacı gütmeyen bir kuruluştur. Esas olarak sıfır bilgi kanıtı (ZKP) çözümleri geliştirerek Bitcoin’in ölçeklenebilirliğini ve gizliliğini iyileştirmeye odaklanmaktadır.

BitVM, karmaşık hesaplamaları zincir dışında yürütmek için bir sistem sunar, ilgili her iki taraf için de sağlam bir hesap verebilirlik sistemi sağlar ve bir yazılım yükseltmesi gerektirmeden uygulanabilir.

Bu gelişme aynı zamanda Bitcoin üzerinde Optimistic tarzı rolluplar için zemin hazırlar. Bu süreç, BTC işlemlerini zincir dışında bir araya getirmeyi ve işlemeyi ve zincir üzerinde kanıtlar sunmayı içerir. Tüm zincir dışı işlemler, iyimser yaklaşımın bir parçası olarak geçerli kabul edilir. Yalnızca bir anlaşmazlık olduğunda, işlemlerin geçerliliğini doğrulamak için zincir üzerinde yürütülür.

Bunun gibi rolluplar, Optimism (OP) gibi protokoller tarafından kullanılan Optimistic rollupların Ethereum’un işlem yeteneklerini iyileştirdiği gibi, Bitcoin’in işlem hacmini önemli ölçüde artırabilir.

BitVM, çeşitli nedenlerden dolayı Bitcoin için önemli bir atılımı temsil ediyor.

Teknik açıdan bakıldığında, şimdilik sınırlı iki taraflı bir ortamda olsa da, ağın her türlü karmaşık hesaplamayı doğrulama potansiyelini ortaya çıkarıyor.

Bu ilerleme, gelecekte Bitcoin için yeni uygulamalara ve ölçeklenebilirlik faydalarına da yol açabilir.

Ancak belki de en önemlisi, BitVM, Bitcoin’in işlevselliğinin asla protokolü tarafından değil, kullanıcılarının hayal gücü tarafından sınırlı olduğunu vurguluyor.

BitVM’in birçok umut vadeden fayda sunmasına rağmen, dezavantajları da olduğunu belirtmek önemlidir.

Hem Linus hem de diğer ilgili katkıda bulunanlar, bu modelin erken aşamalarında olduğunu ve cilalı bir çözümden çok uzak olduğunu kabul etmişlerdir. 

Aşağıda, ekibin hala üstesinden gelmeye çalıştığı BitVM’in bazı sınırlamaları bulunmaktadır:

• Mevcut durumunda, BitVM yalnızca iki kişilik bir modeldir. Bu sınırlama, birden fazla işlem yapan tarafla büyük ölçekli merkeziyetsiz uygulamaları destekleyemeyeceği anlamına gelir.
• Zincir üzerindeki doğrulama, Bitcoin’in blok zincirini hala tıkayabilir.
• Zincir dışı hesaplamalar muhtemelen büyük miktarda veri içerecektir.

BitVM’in Bitcoin protokolünün geleceğini değiştireceğini düşünüyor musunuz?

Bitcoin (BTC) nasıl alınır hakkında daha fazla bilgi için Kraken Öğrenim Merkezi rehberimize göz atın ve bugün Kraken’de bir hesap açın.