Bitcoin Sıfır Bilgi (ZK) Toplamalarını almak üzere. Son zamanlarda iki farklı proje bu gelişmeyi hayata geçirdi; bu gelişme yalnızca Bitcoin'in daha da büyümesine yardımcı olmakla kalmayıp, onu kullanmaya karar veren kullanıcılara ek gizlilik garantileri de sağladı.
Chainway geçen hafta, geliştiricilerin Sovereign Yazılım Geliştirme Kitini (SDK) kullanarak Toplamalar geliştirmek için Bitcoin'in güvenliğinden ve kesinliğinden yararlanmasına olanak tanıyan bir teknoloji olan Veri Kullanılabilirliği (DA) Adaptörünü açık kaynak olarak kullandığını duyurdu. Sovereign, geliştiricilere farklı türde Toplamalar oluşturmaları için paket bir hizmet sunarken, Chainway'in lansmanı Bitcoin'in ilk ZK Toplamasını etkinleştirmeyi amaçlıyor.
Kasar Labs, Taproot Wizards ile ortaklaşa tesadüfen aynı zamanda Bitcoin için bir DA adaptörünü piyasaya sürdü. Adaptör, geliştiricilerin StarkWare tarafından oluşturulan Kahire programlama dilini temel alan Starknet Rollup'larını çalıştırmak için Madara yığınını Bitcoin'e takmalarına olanak tanır.
ZK Toplama nedir?
Toplamalar, standart olmayan Bitcoin işlemlerini (belirli yan zincirlerden gelenler gibi) temel blok zincirindeki (Bitcoin gibi) bloklar halinde toplar ve yayınlar. Bu, bu işlemleri doğrulamanın hesaplama maliyetini büyük ölçüde azaltırken, Katman-1 blok zincirlerinin güvenliğinden de belirli bir ölçüde yararlanır. Bu anlamda Bitcoin üzerinde Rollup işlemleri mevcuttur. Kullanıcılar daha sonra bu yan zincir için, Bitcoin'e gönderilen verileri nasıl yorumlayacağını ve hesap bakiyelerini nasıl oluşturacağını bilen bir düğüm çalıştıracaktı. Ancak bu, herkesin bu diğer protokolü çalıştıran ve ölçeklenebilir olmayan tam bir düğüme ihtiyacı olduğu anlamına gelir. ZK'nin devreye girdiği yer burasıdır.
ZK Rollup, gizlilikten ödün vermeden hesaplama bütünlüğünü sağlayan kriptografik bir kanıt olan sıfır bilgi kanıtlarını kullanır. Kanıtlayıcının, ispatı hesaplamak için kullanılan belirli bilgilerin ayrıntılarını açıklamadan, matematiksel bir kesinlik ile hesaplamalı bir ifadenin doğruluğunu doğrulayıcıya kanıtlamasına olanak tanır. Toplama bağlamında bu çok önemlidir çünkü bu beyanları veya işlemleri doğrulamak için yalnızca gözlemcinin nihai kanıtı bilmesini gerektirir. ZK kanıtlarını kullanmak, Rollup kullanan kişilerin, tam gizliliği korurken Bitcoin'in en son durumuna ilişkin kanıtları matematiksel kesinlikle elde etmelerine olanak tanır.
ZK Rollup'ın faydaları arasında, kullanıcıların ödeme almak için çevrimiçi olmalarına gerek olmaması, mümkün olduğunda yalnızca zincir üzerindeki ödeme verileri, likiditeyi yönetmeye gerek olmaması ve Bitcoin'in temel katmanının düşük ücretlerine güvenmemesi yer alıyor. Ek olarak geliştiriciler, ZK Rollup'ı kullanarak Turing-complete akıllı sözleşmeler gibi istenen herhangi bir programlama ortamını Bitcoin'in üzerine ekleyebilir.
ZK kanıtları iki ana matematiksel teknik kullanır: SNARK'lar ve STARK'lar. Etkileşimli olmayan kısa bilgi argümanlarından ilki, ikincisinden öncesine dayanır ve Zcash gibi kripto para birimlerinde kullanılır ve kullanıcılara yüksek düzeyde gizlilik sağlar. İstenilen gizliliğin yanı sıra daha iyi güvenlik ve ölçeklenebilirlik sağlamak için daha sonra ölçeklenebilir şeffaf bilgi argümanları geliştirildi. Bunun nedeni, SNARK'ın kanıt oluşturmak için güvenilir bir kuruluma güvenmesi, STARK'ın ise tamamen güvenilmez olmayı hedeflemesidir. Son olarak SNARK'lar kuantum bilişime duyarlıdır ancak STARK'lar kuantum açısından güvenlidir.
Bitcoin'in neredeyse başarısızlık geçmişi ve derin yeniden yapılanmalara karşı direnci göz önüne alındığında, kullanıcıların harcaması gereken kritik verilere erişmek için ana zincire dayanan toplu işlemler için en uygun kripto para birimidir. Ana zincir ayrıca Rollup'ın aktif ve kullanılabilir kalmasını sağlar.
ZK Rollup'ı Bitcoin'de düzgün bir şekilde uygulamak ve kullanıcıların Bitcoin'lerini Rollup'lar arasında güvenilir bir şekilde köprülemelerine olanak sağlamak için Bitcoin'in yumuşak çatalı gereklidir. Bu yumuşak çatal, en eski kripto para birimine yeni bir işlem kodu ekleyecek ve Bitcoin'in ZK kanıtlarından haberdar olmasını ve bunları doğrulayabilmesini sağlayacaktır. Böyle bir durumda, kullanıcıların belirli bir toplama tarafından yayınlanan kanıtı güvenilir bir şekilde doğrulayabilmek, hesapları ve bakiyeleri hakkında bilgi edinmek ve toplamadan para çekebilmek için yalnızca bir Bitcoin düğümü çalıştırmaları gerekir.
İlk bölümde bahsedilen iki proje, Bitcoin'in fikir birliği değişikliklerine uğrayacağını varsaymıyor. Bunun yerine, yeni işlem kodlarına olan ihtiyacı ortadan kaldırmak için Ordinals protokolünü kullanırlar. Daha spesifik olarak, geliştiricilerin ve kullanıcıların belirli işaretler ve birkaç işlem kodu kullanarak her türlü veriyi kapsüllemelerine olanak tanıyan bir yenilik olan Ordinals tarafından tanıtılan yazılı zarflar konseptinden yararlanırlar. Ordinal kitabesinde bu işaret "ord"dur.
Zarfın başlangıcındaki işaretler ve işlem kodları ikili bir amaca hizmet eder. İlk olarak Bitcoin düğümlerine, Bitcoin ağıyla ilgili olmayan bilgi zarflarını atlayabileceklerini bildirirler. İkincisi, zarfın farkında olan kullanıcılar ve uygulamalar üzerinde ters etki yaparak zarfın kendilerini ilgilendiren içeriği içerdiğini bilmelerini sağlarlar. ZK Rollup durumunda kullanıcılar bu zarflar için Bitcoin bloklarını tarayabilir, toplamanın en son durumunu öğrenebilir ve matematiksel doğrulama için ZK kanıtlarını kullanabilir.
Artık ZK kanıtlarını anladığımıza göre, daha önce bahsedilen iki projeye dönelim ve tasarımlarının benzersiz yönlerini inceleyelim.
EGEMEN
Sovereign SDK'nın kendisinin üç ana hedefi vardır. İlk olarak, Rollup ile DA katmanı arasında iletişim için standart bir arayüz sağlamayı, Rollup'ın yeni DA katmanında konuşlandırılmasını kolaylaştırmayı ve yeni zincirlerin mevcut Rollup'ı desteklemesini sağlamayı amaçlamaktadır. İkincisi, kodun iş mantığını kriptografik olarak doğrulanabilir bir forma dönüştürmek için bir kriptografik derleyiciyle bütünleşir. Son olarak, tokenler, değiştirilemeyen tokenlar ve zincirler arası köprüler gibi yaygın blockchain ilkellerinin varsayılan uygulamalarını sağlar.
Daha önce de belirtildiği gibi, Chainway'in DA adaptörü, Sovereign SDK kullanılarak oluşturulan uygulamaların Bitcoin'e bağlanmasını kolaylaştırmak için tasarlanmıştır. Başka bir deyişle adaptör, Sovereign Rollup'ın daha önce mümkün olmayan şekilde Bitcoin'i DA katmanı olarak kullanmasına olanak tanıyor. Veri kullanılabilirliği, ana zincirin dışında gerçekleştirilen hesaplamaların güvenilir bir şekilde doğrulanmasına izin verdiğinden ve kullanıcıların bakiyelerini doğrulayabilmeleri veya değiştirebilmeleri ve Rollup'tan para çekebilmeleri için bir gereklilik olduğundan, Rollup için kritik öneme sahiptir.
Sovereign Rollup işlemlerinin Bitcoin bloklarına dahil edilebilmesi için kullanıcılar işlemlerini sıralayıcı adı verilen bir şeye aktarırlar. Sıralayıcı, Chainway'in DA adaptör tasarımında vakfın kendisi tarafından çalıştırılır ve yan zincir ile Bitcoin arasındaki bu bağlantıyı kurarak kullanıcılar tarafından iletilen tüm işlemlerin ZK kanıtları şeklinde Bitcoin'e yayınlanmasını sağlamaktan sorumludur.
Bu biraz merkezileştirilmiş gibi görünüyor ve öyle de. Ancak ZK-STARK'lar olarak bilinen geçerlilik kanıtı teknolojisinin varlığı göz önüne alındığında, sıralayıcılar aslında kötü niyetli davranamazlar. Bunun nedeni tasdikin işlemin meşruiyetini özel olarak teyit etmesi ve herkes tarafından doğrulanabilmesidir. Örneğin, sıralayıcılar kullanıcı fonlarını kötüye kullanamaz veya yetkisiz işlemler gerçekleştiremez. Ancak teorik olarak bir kullanıcının işlemlerini Bitcoin bloklarına dahil etmeyerek ve bu verileri saklayarak sansürleyebilirler. Böyle bir durumda kullanıcılar işlem verilerini Bitcoin'e kaydederek bu bilgileri Bitcoin'de yayınlamayı seçebilirler.
Chainway, gelecekte küçük bir grup ayırıcı aracılığıyla merkezi olmayan sıralamayı uygulamayı planladıklarını ve katılımın izinsiz ve stake etmeye dayalı olacağını söyledi.
STARKNET
Sovereign gibi Starknet de Toplamaların oluşturulmasına izin verecek şekilde tasarlanmıştır. Bununla birlikte Starknet, geliştiricilerin birlikte inşa edebileceği Kahire, KahireVM ve Madara gibi net bileşenleri içeren daha düşünceli bir ekosistemdir.
Starknet, şu anda Ethereum üzerinde çalışan bir ZK Rollup'tır; bu, Rollup'ın DA katmanı olarak Vitalik Buterin tarafından oluşturulan blok zincirine dayandığı anlamına gelir. Kullanıcılara gerekli gizlilik ve güvenlik varsayımlarını sağlamak, ayrıca kanıtları ve yeni durumları Katman-1'de yayınlamadan önce işlemleri toplu hale getirerek ölçeklenebilirliği geliştirmek ve işlem maliyetlerini azaltmak için STARK kanıtlarından yararlanır. Kahire, bir tarafın diğer tarafa belirli bir hesaplamanın doğru şekilde yapıldığını, o tarafın aynı programı yeniden çalıştırmasını gerektirmeden kanıtlayabildiği, kanıtlanabilir programlar yazmaya yönelik bir Turing-tam programlama dilidir. Genel bilgi işlem için STARK kanıtları oluşturmaya yönelik ilk üretim sınıfı platformdur.
Kahire sanal makinesi, derleyici tarafından oluşturulan bayt kodunu alır ve bilgisayarda çalıştırır. Çalıştırmanın çıktısı programın bir izidir ve bu daha sonra Kahire kodunda ifade edilen ifadelerin geçerliliğini kanıtlamak için STARK kanıt üretecine gönderilebilir.
Madara, Starknet yığını için bir sıralayıcıdır ve geliştiricilerin Starknet tabanlı ZK Rollup'ı desteklemesine yardımcı olur.
Yakın zamana kadar bu yazılım yığınlarının tümü yalnızca Ethereum'da mevcuttu. Şimdi, Kasar Labs ve Taproot Wizards, geliştiricilerin Starknet'in açık kaynak sürümü kullanılarak oluşturulan Toplamaları orijinal ve en güvenli kripto para birimi ağına bağlamasına olanak sağlamak üzere tasarlanmış Bitcoin için bir DA bağdaştırıcısını piyasaya sürdü.
Bitcoin'in ZK Toplamasına ihtiyacı var mı?
Aslında Bitcoin'in buna ihtiyacı yok. Şu anki haliyle oldukça iyi çalışıyor ve Bitcoin'in büyük değişikliklere ihtiyacı olduğunu düşünmek için fazla bir neden yok. Öte yandan, ölçeklenebilirlik gerçek bir ihtiyaçtır ve Lightning Network gibi teknolojilerin, aksi takdirde Bitcoin ekonomik işlemlerine katılamayacak olan kullanıcıların daha fazla katılımına izin verme konusunda son derece yararlı olduğu kanıtlanmıştır.
ZK Rollup, Bitcoin'e farklı bir perspektiften bakmanın bir yolunu sunar. Yukarıda bahsedilen iki proje, Bitcoin'in kendisinde herhangi bir fiili değişiklik gerektirmiyor, ancak bu teknolojinin tam işlevselliğinin gerçekleştirilmesi için yeni işlem kodlarının tanıtılması yoluyla fikir birliği değişiklikleri gerekli olacaktır. Şu anda, bu sıfır bilgi tabanlı Rollup teknolojisi araştırmasının Bitcoin'in potansiyel sınırlarını zorlamaya çalıştığı görülüyor ki bu, tıpkı Lightning Network gibi Bitcoin kullanıcı tabanını genişletmek için iyi bir şey.
Lightning Network'e benzer şekilde Rollup, birden fazla işlemi bir araya getirerek ve Bitcoin'e tek bir bilgi akışı yayınlayarak çalışır. Elbette ZK Rollup, Lightning Network'ten çok farklı bir yaklaşım benimsiyor ve haklı olarak da öyle. Teknoloji, Bitcoin kullanıcılarının zaten sevdiği, kanıtlanmış ikinci katman ucuz ödemelerle rekabet etmeye çalışmıyor. Bunun yerine Rollup başka sorunlara odaklanır ve başka çözümler sunmaya çalışır.
Bitcoin ile daha fazlasını yapmak isteyenler için, sonunda özel, karmaşık hesaplamalara olanak tanıyan ve matematiksel kanıtlara dayanan bu ölçeklendirme teknolojisi cazip geliyor. Öyle olsa bile, Bitcoin'in Rollup'a girip çıkması arasında tamamen güvensiz bir köprü kurulması bu işlem koduna bağlı olacaktır. Ama yine de fikir ortada.
ZK Rollup'ın Bitcoin üzerinde herhangi bir ilgi kazanıp kazanmayacağı belli değil. Bitcoin'in zaten bir yan zinciri var ve Liquid birkaç yıldır Bitcoin'de aktif ancak işlem hacmi hala mütevazı. Liquid söz konusu olduğunda federasyon modelinin varlığının bir dezavantaj olduğu, ZK Rollup'ın ise bu durumda daha fazla avantaja sahip olduğu söylenebilir. Belki Rollup da Liquid ile aynı kaderi paylaşabilir: Bitcoin kullanıcıları basitçe "Bitcoin'i HODL ve bekle"yi seçmeye devam ettiğinden, düşük işlem hacmi ve düşük faiz. Veya Bitcoin'in geliştirilmesinde ve kullanımında yeni bir sayfa açabilir.
Nihai sonuç ister başarı ister başarısızlık olsun, bu yüksek kaliteli çalışmaların gelişimini araştırmak doğal ve gerekli bir çabadır. Sonuç ne olursa olsun, bundan yeni bir şeyler öğrenebilirsiniz. Ne olursa olsun, kesin olan bir şey var ki; Bitcoin, hash işlemine ve blok oluşturmaya devam edecek ve tüm kullanıcıların, bunların hiçbirini umursamadan, sağlam paranın parasal kesinliğinin tadını çıkarmasına olanak tanıyacak.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Bitcoin DA katman adaptör çözümü Chainway ve Kasar Labs'ın ayrıntılı açıklaması: Bitcoin'in ZK Rollup'ı uygulamasına nasıl yardımcı olunur?
Yazan: Namcios
Derleyen: Deep Wave TechFlow
Bitcoin Sıfır Bilgi (ZK) Toplamalarını almak üzere. Son zamanlarda iki farklı proje bu gelişmeyi hayata geçirdi; bu gelişme yalnızca Bitcoin'in daha da büyümesine yardımcı olmakla kalmayıp, onu kullanmaya karar veren kullanıcılara ek gizlilik garantileri de sağladı.
Chainway geçen hafta, geliştiricilerin Sovereign Yazılım Geliştirme Kitini (SDK) kullanarak Toplamalar geliştirmek için Bitcoin'in güvenliğinden ve kesinliğinden yararlanmasına olanak tanıyan bir teknoloji olan Veri Kullanılabilirliği (DA) Adaptörünü açık kaynak olarak kullandığını duyurdu. Sovereign, geliştiricilere farklı türde Toplamalar oluşturmaları için paket bir hizmet sunarken, Chainway'in lansmanı Bitcoin'in ilk ZK Toplamasını etkinleştirmeyi amaçlıyor.
Kasar Labs, Taproot Wizards ile ortaklaşa tesadüfen aynı zamanda Bitcoin için bir DA adaptörünü piyasaya sürdü. Adaptör, geliştiricilerin StarkWare tarafından oluşturulan Kahire programlama dilini temel alan Starknet Rollup'larını çalıştırmak için Madara yığınını Bitcoin'e takmalarına olanak tanır.
ZK Toplama nedir?
Toplamalar, standart olmayan Bitcoin işlemlerini (belirli yan zincirlerden gelenler gibi) temel blok zincirindeki (Bitcoin gibi) bloklar halinde toplar ve yayınlar. Bu, bu işlemleri doğrulamanın hesaplama maliyetini büyük ölçüde azaltırken, Katman-1 blok zincirlerinin güvenliğinden de belirli bir ölçüde yararlanır. Bu anlamda Bitcoin üzerinde Rollup işlemleri mevcuttur. Kullanıcılar daha sonra bu yan zincir için, Bitcoin'e gönderilen verileri nasıl yorumlayacağını ve hesap bakiyelerini nasıl oluşturacağını bilen bir düğüm çalıştıracaktı. Ancak bu, herkesin bu diğer protokolü çalıştıran ve ölçeklenebilir olmayan tam bir düğüme ihtiyacı olduğu anlamına gelir. ZK'nin devreye girdiği yer burasıdır.
ZK Rollup, gizlilikten ödün vermeden hesaplama bütünlüğünü sağlayan kriptografik bir kanıt olan sıfır bilgi kanıtlarını kullanır. Kanıtlayıcının, ispatı hesaplamak için kullanılan belirli bilgilerin ayrıntılarını açıklamadan, matematiksel bir kesinlik ile hesaplamalı bir ifadenin doğruluğunu doğrulayıcıya kanıtlamasına olanak tanır. Toplama bağlamında bu çok önemlidir çünkü bu beyanları veya işlemleri doğrulamak için yalnızca gözlemcinin nihai kanıtı bilmesini gerektirir. ZK kanıtlarını kullanmak, Rollup kullanan kişilerin, tam gizliliği korurken Bitcoin'in en son durumuna ilişkin kanıtları matematiksel kesinlikle elde etmelerine olanak tanır.
ZK Rollup'ın faydaları arasında, kullanıcıların ödeme almak için çevrimiçi olmalarına gerek olmaması, mümkün olduğunda yalnızca zincir üzerindeki ödeme verileri, likiditeyi yönetmeye gerek olmaması ve Bitcoin'in temel katmanının düşük ücretlerine güvenmemesi yer alıyor. Ek olarak geliştiriciler, ZK Rollup'ı kullanarak Turing-complete akıllı sözleşmeler gibi istenen herhangi bir programlama ortamını Bitcoin'in üzerine ekleyebilir.
ZK kanıtları iki ana matematiksel teknik kullanır: SNARK'lar ve STARK'lar. Etkileşimli olmayan kısa bilgi argümanlarından ilki, ikincisinden öncesine dayanır ve Zcash gibi kripto para birimlerinde kullanılır ve kullanıcılara yüksek düzeyde gizlilik sağlar. İstenilen gizliliğin yanı sıra daha iyi güvenlik ve ölçeklenebilirlik sağlamak için daha sonra ölçeklenebilir şeffaf bilgi argümanları geliştirildi. Bunun nedeni, SNARK'ın kanıt oluşturmak için güvenilir bir kuruluma güvenmesi, STARK'ın ise tamamen güvenilmez olmayı hedeflemesidir. Son olarak SNARK'lar kuantum bilişime duyarlıdır ancak STARK'lar kuantum açısından güvenlidir.
Bitcoin'in neredeyse başarısızlık geçmişi ve derin yeniden yapılanmalara karşı direnci göz önüne alındığında, kullanıcıların harcaması gereken kritik verilere erişmek için ana zincire dayanan toplu işlemler için en uygun kripto para birimidir. Ana zincir ayrıca Rollup'ın aktif ve kullanılabilir kalmasını sağlar.
ZK Rollup'ı Bitcoin'de düzgün bir şekilde uygulamak ve kullanıcıların Bitcoin'lerini Rollup'lar arasında güvenilir bir şekilde köprülemelerine olanak sağlamak için Bitcoin'in yumuşak çatalı gereklidir. Bu yumuşak çatal, en eski kripto para birimine yeni bir işlem kodu ekleyecek ve Bitcoin'in ZK kanıtlarından haberdar olmasını ve bunları doğrulayabilmesini sağlayacaktır. Böyle bir durumda, kullanıcıların belirli bir toplama tarafından yayınlanan kanıtı güvenilir bir şekilde doğrulayabilmek, hesapları ve bakiyeleri hakkında bilgi edinmek ve toplamadan para çekebilmek için yalnızca bir Bitcoin düğümü çalıştırmaları gerekir.
İlk bölümde bahsedilen iki proje, Bitcoin'in fikir birliği değişikliklerine uğrayacağını varsaymıyor. Bunun yerine, yeni işlem kodlarına olan ihtiyacı ortadan kaldırmak için Ordinals protokolünü kullanırlar. Daha spesifik olarak, geliştiricilerin ve kullanıcıların belirli işaretler ve birkaç işlem kodu kullanarak her türlü veriyi kapsüllemelerine olanak tanıyan bir yenilik olan Ordinals tarafından tanıtılan yazılı zarflar konseptinden yararlanırlar. Ordinal kitabesinde bu işaret "ord"dur.
Zarfın başlangıcındaki işaretler ve işlem kodları ikili bir amaca hizmet eder. İlk olarak Bitcoin düğümlerine, Bitcoin ağıyla ilgili olmayan bilgi zarflarını atlayabileceklerini bildirirler. İkincisi, zarfın farkında olan kullanıcılar ve uygulamalar üzerinde ters etki yaparak zarfın kendilerini ilgilendiren içeriği içerdiğini bilmelerini sağlarlar. ZK Rollup durumunda kullanıcılar bu zarflar için Bitcoin bloklarını tarayabilir, toplamanın en son durumunu öğrenebilir ve matematiksel doğrulama için ZK kanıtlarını kullanabilir.
Artık ZK kanıtlarını anladığımıza göre, daha önce bahsedilen iki projeye dönelim ve tasarımlarının benzersiz yönlerini inceleyelim.
EGEMEN
Sovereign SDK'nın kendisinin üç ana hedefi vardır. İlk olarak, Rollup ile DA katmanı arasında iletişim için standart bir arayüz sağlamayı, Rollup'ın yeni DA katmanında konuşlandırılmasını kolaylaştırmayı ve yeni zincirlerin mevcut Rollup'ı desteklemesini sağlamayı amaçlamaktadır. İkincisi, kodun iş mantığını kriptografik olarak doğrulanabilir bir forma dönüştürmek için bir kriptografik derleyiciyle bütünleşir. Son olarak, tokenler, değiştirilemeyen tokenlar ve zincirler arası köprüler gibi yaygın blockchain ilkellerinin varsayılan uygulamalarını sağlar.
Daha önce de belirtildiği gibi, Chainway'in DA adaptörü, Sovereign SDK kullanılarak oluşturulan uygulamaların Bitcoin'e bağlanmasını kolaylaştırmak için tasarlanmıştır. Başka bir deyişle adaptör, Sovereign Rollup'ın daha önce mümkün olmayan şekilde Bitcoin'i DA katmanı olarak kullanmasına olanak tanıyor. Veri kullanılabilirliği, ana zincirin dışında gerçekleştirilen hesaplamaların güvenilir bir şekilde doğrulanmasına izin verdiğinden ve kullanıcıların bakiyelerini doğrulayabilmeleri veya değiştirebilmeleri ve Rollup'tan para çekebilmeleri için bir gereklilik olduğundan, Rollup için kritik öneme sahiptir.
Sovereign Rollup işlemlerinin Bitcoin bloklarına dahil edilebilmesi için kullanıcılar işlemlerini sıralayıcı adı verilen bir şeye aktarırlar. Sıralayıcı, Chainway'in DA adaptör tasarımında vakfın kendisi tarafından çalıştırılır ve yan zincir ile Bitcoin arasındaki bu bağlantıyı kurarak kullanıcılar tarafından iletilen tüm işlemlerin ZK kanıtları şeklinde Bitcoin'e yayınlanmasını sağlamaktan sorumludur.
Bu biraz merkezileştirilmiş gibi görünüyor ve öyle de. Ancak ZK-STARK'lar olarak bilinen geçerlilik kanıtı teknolojisinin varlığı göz önüne alındığında, sıralayıcılar aslında kötü niyetli davranamazlar. Bunun nedeni tasdikin işlemin meşruiyetini özel olarak teyit etmesi ve herkes tarafından doğrulanabilmesidir. Örneğin, sıralayıcılar kullanıcı fonlarını kötüye kullanamaz veya yetkisiz işlemler gerçekleştiremez. Ancak teorik olarak bir kullanıcının işlemlerini Bitcoin bloklarına dahil etmeyerek ve bu verileri saklayarak sansürleyebilirler. Böyle bir durumda kullanıcılar işlem verilerini Bitcoin'e kaydederek bu bilgileri Bitcoin'de yayınlamayı seçebilirler.
Chainway, gelecekte küçük bir grup ayırıcı aracılığıyla merkezi olmayan sıralamayı uygulamayı planladıklarını ve katılımın izinsiz ve stake etmeye dayalı olacağını söyledi.
STARKNET
Sovereign gibi Starknet de Toplamaların oluşturulmasına izin verecek şekilde tasarlanmıştır. Bununla birlikte Starknet, geliştiricilerin birlikte inşa edebileceği Kahire, KahireVM ve Madara gibi net bileşenleri içeren daha düşünceli bir ekosistemdir.
Starknet, şu anda Ethereum üzerinde çalışan bir ZK Rollup'tır; bu, Rollup'ın DA katmanı olarak Vitalik Buterin tarafından oluşturulan blok zincirine dayandığı anlamına gelir. Kullanıcılara gerekli gizlilik ve güvenlik varsayımlarını sağlamak, ayrıca kanıtları ve yeni durumları Katman-1'de yayınlamadan önce işlemleri toplu hale getirerek ölçeklenebilirliği geliştirmek ve işlem maliyetlerini azaltmak için STARK kanıtlarından yararlanır. Kahire, bir tarafın diğer tarafa belirli bir hesaplamanın doğru şekilde yapıldığını, o tarafın aynı programı yeniden çalıştırmasını gerektirmeden kanıtlayabildiği, kanıtlanabilir programlar yazmaya yönelik bir Turing-tam programlama dilidir. Genel bilgi işlem için STARK kanıtları oluşturmaya yönelik ilk üretim sınıfı platformdur.
Kahire sanal makinesi, derleyici tarafından oluşturulan bayt kodunu alır ve bilgisayarda çalıştırır. Çalıştırmanın çıktısı programın bir izidir ve bu daha sonra Kahire kodunda ifade edilen ifadelerin geçerliliğini kanıtlamak için STARK kanıt üretecine gönderilebilir.
Madara, Starknet yığını için bir sıralayıcıdır ve geliştiricilerin Starknet tabanlı ZK Rollup'ı desteklemesine yardımcı olur.
Yakın zamana kadar bu yazılım yığınlarının tümü yalnızca Ethereum'da mevcuttu. Şimdi, Kasar Labs ve Taproot Wizards, geliştiricilerin Starknet'in açık kaynak sürümü kullanılarak oluşturulan Toplamaları orijinal ve en güvenli kripto para birimi ağına bağlamasına olanak sağlamak üzere tasarlanmış Bitcoin için bir DA bağdaştırıcısını piyasaya sürdü.
Bitcoin'in ZK Toplamasına ihtiyacı var mı?
Aslında Bitcoin'in buna ihtiyacı yok. Şu anki haliyle oldukça iyi çalışıyor ve Bitcoin'in büyük değişikliklere ihtiyacı olduğunu düşünmek için fazla bir neden yok. Öte yandan, ölçeklenebilirlik gerçek bir ihtiyaçtır ve Lightning Network gibi teknolojilerin, aksi takdirde Bitcoin ekonomik işlemlerine katılamayacak olan kullanıcıların daha fazla katılımına izin verme konusunda son derece yararlı olduğu kanıtlanmıştır.
ZK Rollup, Bitcoin'e farklı bir perspektiften bakmanın bir yolunu sunar. Yukarıda bahsedilen iki proje, Bitcoin'in kendisinde herhangi bir fiili değişiklik gerektirmiyor, ancak bu teknolojinin tam işlevselliğinin gerçekleştirilmesi için yeni işlem kodlarının tanıtılması yoluyla fikir birliği değişiklikleri gerekli olacaktır. Şu anda, bu sıfır bilgi tabanlı Rollup teknolojisi araştırmasının Bitcoin'in potansiyel sınırlarını zorlamaya çalıştığı görülüyor ki bu, tıpkı Lightning Network gibi Bitcoin kullanıcı tabanını genişletmek için iyi bir şey.
Lightning Network'e benzer şekilde Rollup, birden fazla işlemi bir araya getirerek ve Bitcoin'e tek bir bilgi akışı yayınlayarak çalışır. Elbette ZK Rollup, Lightning Network'ten çok farklı bir yaklaşım benimsiyor ve haklı olarak da öyle. Teknoloji, Bitcoin kullanıcılarının zaten sevdiği, kanıtlanmış ikinci katman ucuz ödemelerle rekabet etmeye çalışmıyor. Bunun yerine Rollup başka sorunlara odaklanır ve başka çözümler sunmaya çalışır.
Bitcoin ile daha fazlasını yapmak isteyenler için, sonunda özel, karmaşık hesaplamalara olanak tanıyan ve matematiksel kanıtlara dayanan bu ölçeklendirme teknolojisi cazip geliyor. Öyle olsa bile, Bitcoin'in Rollup'a girip çıkması arasında tamamen güvensiz bir köprü kurulması bu işlem koduna bağlı olacaktır. Ama yine de fikir ortada.
ZK Rollup'ın Bitcoin üzerinde herhangi bir ilgi kazanıp kazanmayacağı belli değil. Bitcoin'in zaten bir yan zinciri var ve Liquid birkaç yıldır Bitcoin'de aktif ancak işlem hacmi hala mütevazı. Liquid söz konusu olduğunda federasyon modelinin varlığının bir dezavantaj olduğu, ZK Rollup'ın ise bu durumda daha fazla avantaja sahip olduğu söylenebilir. Belki Rollup da Liquid ile aynı kaderi paylaşabilir: Bitcoin kullanıcıları basitçe "Bitcoin'i HODL ve bekle"yi seçmeye devam ettiğinden, düşük işlem hacmi ve düşük faiz. Veya Bitcoin'in geliştirilmesinde ve kullanımında yeni bir sayfa açabilir.
Nihai sonuç ister başarı ister başarısızlık olsun, bu yüksek kaliteli çalışmaların gelişimini araştırmak doğal ve gerekli bir çabadır. Sonuç ne olursa olsun, bundan yeni bir şeyler öğrenebilirsiniz. Ne olursa olsun, kesin olan bir şey var ki; Bitcoin, hash işlemine ve blok oluşturmaya devam edecek ve tüm kullanıcıların, bunların hiçbirini umursamadan, sağlam paranın parasal kesinliğinin tadını çıkarmasına olanak tanıyacak.