Kaynak: Bitcoin Magazine; Derleme: Wuzhu, Gold Finance

Rollup'lar son zamanlarda BTC ölçeklendirmesinin odak noktası haline geldi ve daha geniş ilgi açısından Lighting Ağı'ndan gerçekten "şovu çalan" ilk şey oldu. Rollup'lar, Lighting Ağı çekirdek Likidite kısıtlamaları tarafından kısıtlanmayan veya kısıtlanmayan bir zincir dışı katman 2 olacak şekilde tasarlanmıştır, yani son kullanıcının parayı almak için fonları önceden tahsis edecek (veya "ödünç verecek") birine ihtiyacı vardır veya ara yol Düğüm, ödeme tutarının göndericiden alıcıya tam akışını kolaylaştırmak için kanal bakiyesine ihtiyaç duyar.

Bu sistemler başlangıçta Ethereum ve diğer Turing Tamamlandı sistemlerinde çalıştırıldı, ancak son zamanlarda odak, onları UTXO tabanlı blok zincirlerine (örneğin BTC) taşımaya kaydırıldı. Bu makale, şu anda BTC'de uygulanan durumu ele almak yerine, insanların uzun süredir arayışını sürdürdüğü ideal Rollup fonksiyonunu tartışıyor, yani BTC'nin şu anda desteklemediği doğrudan Sıfır Bilgi Kanıtı (ZKP) yeteneğini doğrulamak.

Roll'un temel yapısı aşağıdaki gibidir: Her bir hesap (BTC'de UTXO olarak bilinir), Rollup'taki tüm kullanıcıların bakiyelerini saklar. Bu UTXO, Merkle ağacının kökü olarak var olan bir taahhüt içerir ve Rollup'ta mevcut olan tüm hesapların güncel bakiyelerini taahhüt eder. Tüm bu hesaplar Açık Anahtar/Özel Anahtar çiftini kullanarak yetkilendirilir, bu nedenle off-chain harcamaları yapabilmek için kullanıcıların hala Gizli Anahtar kullanarak belirli içerikleri imzalamaları gerekmektedir. Bu yapının bu bölümü, kullanıcıların izin almadan herhangi bir zamanda ayrılabilmelerini sağlar; hesaplarının bir Merkle ağacının bir parçası olduğunu kanıtlayan bir işlem yapmaları yeterlidir ve böylece operatörün iznine ihtiyaç duymadan Rollup'dan tek taraflı olarak çıkabilirler.

Rollup operatörleri, off-chain işlemleri tamamlarken on-chain hesap bakiyelerini güncellemek için bir ZKP içermesi gerekmektedir. Bu ZKP olmadan işlem geçersiz olacak ve Blok zinciri içinde yer alamayacaktır. Bu kanıt, off-chain hesabının tüm değişikliklerinin hesap sahibinin uygun izniyle yapıldığını ve operatörün kullanıcıların fonlarını çalmak veya dürüst olmayarak diğer kullanıcılara yeniden dağıtmak için bakiyeyi kötü niyetle güncellemediğini doğrulamak için insanlara izin verir.

Sorun şu ki, yalnızca merkle ağacının kökü on-chain'de yayınlandığında, kullanıcılar ona bakabilir ve erişebilir, bu durumda nasıl kollarını ağaca yerleştirecekler ve istedikleri zaman izinsiz olarak çıkabilecekler?

Uygun Rollup

Her bir doğru Rollup'ta, her yeni off-chain işlemin onaylandığı ve Rollup hesabının durumunun değiştiği her seferinde, bilgiler doğrudan blok zincirine yerleştirilir. Bu, tüm ağacı değil, sadece ağacın yeniden oluşturulması için gerekli olan bilgileri içerir. Basit bir uygulamada, Rollup'taki mevcut tüm hesapların özeti bakiyeyi içerecek ve hesap sadece Rollup'un işlemlerinde güncellendiğinde eklenir.

Daha gelişmiş uygulamalarda, denge varyansları kullanılır. Bu, esasen güncelleme işlemi sırasında hangi HESAP'ın finansmanı artırdığının veya azalttığının bir özetidir. Bu, her toplama güncelleştirmesinin yalnızca gerçekleşen hesap bakiyesi değişikliklerini içermesini sağlar. Kullanıcılar daha sonra zinciri tarayabilir ve hesap bakiyesinin mevcut durumuna ulaşmak için Toplamanın başlangıcından itibaren "hesaplayabilir", bu da mevcut bakiyenin Merkle ağacını yeniden oluşturmalarına olanak tanır.

Bu, büyük miktarda harcama ve Blok alanı tasarrufu sağlamanın yanı sıra (böylece fonları korurken), kullanıcıların tek taraflı çıkış için gerekli bilgilere erişimini sağlamasına izin verir. rollup kuralları, bu verilerin resmi rollup'ın Blok zinciri kullanılarak kullanıcılara sunulmasını gerektirir; yani hesap özeti veya hesap farklılığı içermeyen işlemler geçersiz olarak kabul edilir.

Geçerlilik süresi

Kullanıcı çekme veri erişilebilirlik sorunlarını ele alma konusunda başka bir yöntem, verileri Blok zinciri dışında başka bir yere koymaktır. Bu, verilerin başka bir yerde kullanılabilir olmasını hala zorunlu kıldığı ince sorunları beraberinde getirir. Geleneksel olarak, rollup gibi sistemlerin veri erişilebilirlik katmanı olarak özel olarak tasarlanmış diğer Blok zincirleri bu amaçla kullanılır.

Bu, güçlü bir güvenlik koruması sağlayan aynı derecede güçlü bir çıkmaz yaratıyor. Veriler doğrudan BTCBlok zincirine yayınlandığında, Konsensüs kuralları onun mutlak doğru olduğunu garanti edebilir. Ancak, dış sistemlere yayınlandığında, en iyi yapabileceği şey, verinin başka bir sisteme yayınlandığını doğrulamak için SPV kanıtını doğrulamaktır.

Bu, verilerin başka bir on-chain kanıtta mevcut olduğunu doğrulamak için bir Oracle Makine sorunu gerektirir. BTC'nin Blok zinciri, kendi Blok zincirinde meydana gelenler dışındaki herhangi bir şeyi tam olarak doğrulayamaz, yapabileceği en iyi şey ZKP'yi doğrulamaktır. Ancak, ZKP, rollup verilerini içeren Blok'un üretildikten sonra gerçekten herkese açık bir şekilde yayınlanıp yayınlanmadığını doğrulayamaz. Dış bilgilerin gerçekten herkese açık olup olmadığını doğrulayamaz.

Bu, veri tutma saldırılarına kapı açtı, yani yayınlanan verilere taahhüt oluşturmak ve bunları rollup'ı ilerletmek için kullanmak, ancak veriler aslında kullanılamaz. Bu, kullanıcıların fonlarını çekememesine neden olur. Tek gerçek çözüm, BTC dışındaki sistemlere tamamen güvenen bir değer ve teşvik yapısına dayanmaktır.

İkilem

Bu, rollup için bir çıkmaz yarattı. Veri kullanılabilirlik sorunu söz konusu olduğunda, temelde verilerin BTC blok zincirine mi yoksa başka bir yere mi yayınlanacağına dair ikili bir seçenek bulunmaktadır. Bu seçenek, rollup'ın güvenliği, egemenliği ve ölçeklenebilirliği üzerinde ciddi bir etkiye sahiptir.

Bir yandan, BTCBlok zinciri veri erişilebilirlik katmanı olarak kullanmak, rollup'ın ölçeklenebilirliğine katı bir üst sınır getirecektir. Blok alanı sınırlıdır, bu da hem bir seferde var olabilecek rollup sayısına hem de off-chain işlemlerin toplam sayısına bir üst sınır getirir. Her rollup güncellemesi, hesapların Blok alanına orantılı olarak değiştiği her bir rollup güncellemesi gerektirir. Bilgi kuramı, verilerin belirli bir dereceye kadar sıkıştırılmasına izin verir, bu noktada daha fazla genişleme potansiyeli yoktur.

Öte yandan, veri kullanılabilirliğini sağlamak için farklı katmanlar kullanmak, ölçeklenebilirlik kazançlarının sert bir üst limitini ortadan kaldıracaktır, ancak yeni güvenlik ve egemenlik sorunları da beraberinde getirecektir. BTC kullanarak Rollup'ta veri kullanılabilirliği sağlandığında, kullanıcıların çıkarmak istediği veriler otomatik olarak blokzincire yayınlanmadığında, Rollup'ın durumu değişemez. Validium'ları kullanırken, bu garanti tamamen aldatmaya ve veri gizlemeye karşı dış sistemlerin kullanma yeteneğine bağlıdır.

Şu anda, dış veri erişilebilirlik sistemi üzerindeki herhangi bir Blok üreticisi, BTCRollup kullanıcılarının fonlarını ele geçirmek için Blok üretimi yapabilir ve Blok'u gerçekten yayınlamak yerine.

Peki, gerçekten ideal bir Rollup uygulamasıyla BTC üzerinde tek yönlü kullanıcı çekimini gerçekleştirirsek, nasıl olacak?