Bu makale GOAT tarafından sağlanmıştır, Wu'nun görüşlerini temsil etmez.
Doğu Amerika Zamanı ile 7 Mayıs 2025'te, GOAT Network resmi olarak GOAT BitVM2 beyaz kitabını yayımladı ve uygulanabilir ilk Bitcoin yerel zkRollup protokolünü önerdi. Bu protokol, orijinal BitVM2 protokolünün avantajlarını miras alarak, güvenlik, meydan okuma mekanizması ve ekonomik teşvikler gibi kritik sorunları sistematik olarak çözmek için bir dizi yenilik sundu ve Bitcoin ekosisteminin genişlemesi ve programlanabilirliği için bir temel oluşturdu.
BitVM2'nin potansiyeli ve gerçek engelleri
Robin Linus ve ZeroSync ekibi tarafından 2024 yılında önerilen BitVM2 protokolü, Bitcoin ana ağ protokolünü değiştirmeden, zincir üzerinde herhangi bir hesaplamayı doğrulamanın yenilikçi bir yolunu sunmaktadır ve Bitcoin zkRollup ile çapraz zincir köprülerin mümkün olmasını sağlamaktadır. Ancak, gerçek uygulamalara geçişte, BitVM2'nin üretim seviyesindeki çapraz zincir köprülerde kullanılması için hala aşağıdaki kritik sorunlar bulunmaktadır:
● Operatör (Operator) Çift Harcama Saldırısı: Mevcut BitVM2, operatörlerin doğrulanabilir ancak gerçekte sahte olan durumları (örneğin, çatal zincirden gelen) göndermesine izin verir; bu, kullanıcıların para çekme işlemi sırasında çift harcama saldırısı riski yaratabilir.
● Mücadele sürecinin verimsizliği: Mevcut mekanizma, bire bir ( teminat kullanarak, ) ilişkisini sorgulamakta ve mücadele süresi uzundur, bu da hesaplama ve koordine etme maliyetlerini artırmaktadır. Aynı zamanda, esnek para çekme miktarlarını desteklememekte, bu da fon kullanım oranını ve kullanıcı deneyimini düşürmektedir.
● Etkili bir teşvik mekanizmasının eksikliği: Protokol, Rollup ekosistemindeki çeşitli rollerin katılımını sağlamak için etkili teşviklerden yoksundur, özellikle de çoğu durumda meydan okuyanların ödül almadığı için, dürüst ve zamanında meydan okumaya istek azalır. Kitle fonlaması teşviklerine dayanan sistemlerde, ödüllerin yanlış katılımcılara dağıtılması gibi sorunlar da ortaya çıkabilir, bu da teşviklerin doğruluğunu ve etkinliğini daha da zayıflatır.
GOAT BitVM2: Üç Büyük Mekanizma Yeniliği
GOAT Network, mühendislik perspektifinden hareketle, GOAT BitVM2 geliştirme planını tanıttı ve bunu GOAT Network'ün temel yürütme sistemi olarak devreye aldı, Bitcoin zkRollup'ı ilk kez gerçek hayata entegre etti. Bu plan, üç mekanizma etrafında köklü iyileştirmeler yapmaktadır:
Kriptoekonomik Güvenlik Katmanı
Bitcoin'in yerel Script doğrulaması ve GOAT ağının konsensüs katmanının çift ceza mekanizmasını birleştirerek, operatörlerin kötü niyetli davranışlarının maliyetini önemli ölçüde artırır. Bu mekanizma ayrıca makul boyutta bir operatör grubunu korur ve "1-of-n dürüst düğüm" varsayımı altında sistemin yüksek aktivitesini sağlar.
Hızlandırılmış İhtilaf Çözümü Mekanizması
Çoklu tur rakip değiştirme mekanizması kullanarak, meydan okuma işleme süresini büyük ölçüde kısaltmış, nihai etkinlik süresini 1 günün altına indirmiştir.
Teşvik Uyumlu Mücadele Ekonomisi (Incentive-Aligned Challenge Economy)
Başarılı meydan okuyanlar, kötü niyetli önericilerin teminatından oluşan "dolandırıcılık ödülü" alabilirler. Bu mekanizma, meydan okuma katılım oranını artırmakta ve meydan okuma eylemi ile operatörlerin kötü niyetli davranış riski arasındaki ekonomik teşviklerin uyumunu sağlamaktadır.
Genel Operator Modeli: Ekonomi ve mimarinin entegrasyonel yeniden yapılandırılması
Yukarıda belirtilen mekanizmayı gerçekleştirmek için GOAT Network, BitVM2'deki karmaşık ayrılmış rol sistemini birleştirme ve yeniden yapılandırma işlemi gerçekleştirmektedir.
Geleneksel BitVM2 mimarisinde, Rollup sistemi sıralayıcı (Sequencer), meydan okuyan (Challenger), operatör (Operator) ve komite üyeleri (Committee) gibi çeşitli rolleri içerir. Bu rollerin sorumlulukları ve maliyetleri arasında önemli farklılıklar bulunduğundan, adil ve verimli bir Rollup ekonomik modeli ve teşvik mekanizması tasarlamak son derece zorlu bir görev haline gelmiştir.
GOAT Network'ün temel yeniliği, bu rolleri tek bir kimlikte birleştirmekte yatmaktadır - Evrensel Operatör (Universal Operator, kısaca Operatör) ve rol değiştirme mekanizması sayesinde tüm katılımcılar farklı zamanlarda farklı sorumluluklar üstlenmektedir. Tüm operatörlerin L2'de stake yapması gerekmektedir, her turda belirli bir role atanarak aşağıdaki dört büyük avantajı getirmektedir:
● Gelir ve maliyet dengesi: GOAT Ağı, operatörlerin kâr elde eden roller ile yüksek maliyetli roller arasında döngüsel olarak geçiş yapmalarını sağlayarak, uzun vadede gelir ve giderlerin nispeten dengede kalmasını güvence altına alır ve bazı operatörlerin uzun süre yüksek hesaplama maliyetlerini üstlenmesini önler.
● Teşvik mekanizması hizalaması: Farklı roller arasındaki çapraz sübvanse mekanizması, kazanç dalgalanmalarını yumuşatır ve operatörleri her rolde dürüst bir şekilde katılmaya teşvik eder.
● Katılım eşiklerini düşürmek: Küçük ve orta ölçekli düğümler sürekli olarak yüksek maliyetli roller üstlenmek zorunda kalmadan kolayca katılabilir, böylece sistemin merkeziyetsizliği ve açıklığı artırılabilir.
● Sistem dayanıklılığını artırma: Bireysel operatörler çevrimdışı olsa bile, sistem, rolleri esnek bir şekilde dağıtarak çalışmaya devam edebilir ve tek bir noktaya bağımlılığı önleyebilir.
Özetle, GOAT Ağı, sıralayıcılar, hesaplayıcılar, meydan okuyanlar gibi davranış rollerini, staker operatörlerinden oluşan bir rol havuzunda birleştirir. Tüm operatörler, sorumlulukları dönüşümlü olarak üstlenir ve ceza mekanizmasının kısıtlamasına tabi tutulur. Önericiler hileli durumlar sunduklarında ceza alacaklardır; meydan okuyucular sorumluluklarını yerine getirmez veya kötü niyetle meydan okurlarsa da cezalandırılacaklardır. Bu mekanizma, dürüst davranışların ekonomik olarak en iyi şekilde olmasını garanti ederken, belirgin bir dönüşüm mekanizması sayesinde rollerin belirli bireylerde uzun süre yoğunlaşmasını engelleyerek merkezileşme riskini azaltmaktadır.
Protokol Mimarisi Genel Görünümü: Genel Operatör etrafında inşa edilen sistem kapalı döngüsü
Bu yapı, yalnızca varlıkların çapraz zincir giriş ve çıkış süreçlerini (Bridge-In & Bridge-Out) kapsamakla kalmamalı, aynı zamanda sıralayıcı kümesinin güvenilir onayı, meydan okuma sürecinin zincir üzerinde koordinasyonu ve zk kanıtlarının verimli bir şekilde üretilmesi ve doğrulanmasını da sağlamalıdır. Aşağıda GOAT BitVM2 protokol yapısının temel bileşenleri bulunmaktadır:
Evrensel Operatör Modeli
GOAT BitVM2'de her bir genel operatör aynı yazılımı çalıştırır ve katılım hakkı elde etmek için BTC stake eder. Belirleyici döngü veya stake ağırlığına dayalı rastgele mekanizma ile bu operatörler sırayla aşağıdaki rolleri üstlenir: sıralayıcı (Sequencer, blok oluşturma görevini üstlenir), kanıtlayıcı (Prover, zkSNARK kanıtı üretir), yayıncı (Publisher, L1'e durum verilerini gönderir) ve meydan okuyan (Challenger, dolandırıcılık durumunu sorgulamak için kullanılır). Her bir operatör, rol çeşitliliğini artırarak rol yoğunlaşmasını önlemek ve sistemin hata toleransını artırmak için hem kar elde eden hem de maliyet üstlenen rolleri deneyimleyecektir.
Para yatırma ve çekme işlemleri (Bridge-in ve Bridge-out)
● Para Yatırma (Deposit): Kullanıcı BTC'yi kilitler ve L2'de PegBTC alır.
● Çekim (Withdraw/Peg-out): L1'in karmaşık BitVM2 çekim scriptlerini doğrulamasına ihtiyaç duymadan. Aksine, GOAT, çekim sürecini operatörle doğrudan atomik değişim mekanizması (Atomic Swap) ile gerçekleştirirken, güvenlik ve güvenilirliği sağlamak için dolandırıcılığa karşı protokollerle birleştirir.
Sıralayıcı Set Taahhüdü (Sequencer Set Commitment)
● Operatör, Bitcoin ana zincirinin OP_RETURN'ı aracılığıyla kamu anahtarları kümesinin Merkle Kökünü gönderir.
● L2, geçmiş BTC durumunu doğrulamak ve bunu L1'deki bir dizi sıralayıcı ile eşleştirmek için İşlem İç Gözleminden yararlanır. Bu tasarım, BTC'nin yerel durumuyla güçlü bir uyum sağlarken, Bitcoin konsensüs kurallarında değişiklik gerektirmez.
Yüksek verimli ihtilaf çözümü ve zkMIPS performans desteği
Bitcoin'in yerel zkRollup'ı uygulanabilir hale gelmesi için etkili bir dolandırıcılık tespiti ve anlaşmazlık çözüm sistemi olmalıdır. GOAT BitVM2, zorluk modeli ve kanıtlama performansı açısından aşağıdaki tasarımı yapmıştır:
Çok Turlu Rastgele Meydan Okuma Mekanizması (Multi-Round Random Challenger Selection)
Bir rakip gerektiğinde (örneğin operatör geri ödeme sürecinde), sistem, tüm stake edilmiş düğümler arasından rastgele bir rakip seçecektir. Eğer bu rakip zamanında bir meydan okuma başlatmazsa, sistem bir yeni rakip daha rastgele seçecektir. Eğer yeni rakip dolandırıcılığı başarıyla tespit eder ve meydan okuma başlatırsa, daha önce görevini yerine getirmeyen tüm rakipler ceza alacaktır (stake'leri el konulacaktır). Dikkat edilmesi gereken bir nokta, herkesin herhangi bir turda meydan okuma başlatabileceğidir, bu nedenle yine de "1-of-n dürüst katılımcı" varsayımının güvenliği korunmaktadır.
Ayrıca, rastgele karakter dağılımı ve tamamen cezalandırılabilir staking mekanizması, rüşvet saldırılarını, sistem zorbalığını (ransom-style extortion) ve kötü niyetli müdahaleleri (griefing) etkin bir şekilde önlemektedir.
Zincir Üzerinde ve Zincir Dışı Yürütme (On-Chain and Off-Chain Execution)
Çoğu hesaplama mantığı (örneğin ZKP oluşturma, dolandırıcılık doğrulama, BitVM2 etkileşimli senaryolar vb.) L2'de yürütülür, yalnızca nihai sonuçlar (durum gönderimi, meydan okuma işleme, cezai işlemler vb.) L1'e yüklenir. Bu tasarım, zincir üzerindeki gaz maliyetlerini önemli ölçüde azaltırken, tüm sistemin doğrulanabilirliğini de sağlar.
ZKP performans artırımı: kendi geliştirdiğimiz zkMIPS
GOAT'un kendi geliştirdiği zkMIPS, MIPS komut setiyle uyumlu bir zkVM'dir ve STARK/SNARK arka uçları için performans optimizasyonu yapılmıştır. Birden fazla bloğu toplu işleme ve belirli aralıklarla (örneğin, her saat) tek bir birleşik kanıt oluşturma yoluyla, GOAT'un kanıtlayıcısı son derece yüksek maliyet verimliliği sağlamıştır. Zorluklarda, BitVM2'nin "gerçek değer tablosu (truth-table)" yöntemini kullanarak tartışmalı noktaları tespit etmek ve böylece tartışmaları hızlı bir şekilde çözmek mümkündür.
Özet
Orijinal BitVM2 ile karşılaştırıldığında: daha hızlı, daha stabil, daha uygulanabilir
GOAT BitVM2, Bitcoin ağına bir uzlaşma katmanı olarak dayanıyor ve bir hesaplama katmanı olarak merkeziyetsiz bir sıralayıcı ağı inşa ediyor. "1-of-n dürüst katılımcı" varsayımı altında, bu çözüm, BitVM2'deki esnek miktar çekim, meydan okuyucu teşvik eksikliği gibi kritik sorunları başarıyla çözmektedir. Optimist doğrulamayı hızlandırmak için GOAT, dolandırıcılık tespitinin verimliliğini ve etkinliğini önemli ölçüde artıran çok aşamalı meydan okuma mekanizması getirmiştir. Ayrıca, zkMIPS'in ZK kanıtlarını verimli bir şekilde üretme yeteneği ile birleştirildiğinde, GOAT BitVM2, mevcut Bitcoin ekosisteminde en güvenli ve en yüksek performanslı zkRollup protokolü haline gelmektedir ve BitVM2'nin pazardaki gerçek uygulamasını önemli ölçüde hızlandırma potansiyeline sahiptir.
GOAT BitVM2, teknik mimarideki bir atılıma ek olarak, evrensel operatör rotasyonuna dayalı güçlü bir ekonomik sistem oluşturmuştur. Sistem, sıralayıcılar, kanıtlayıcılar, meydan okuyanlar, yayıncılar vb. gibi sorumlulukların tüm stake edenler arasında adil bir şekilde dağıtılmasını sağlar. Protokol, işlem ücreti paylaşımı, dolandırıcılık ödülleri ve cezalar aracılığıyla dürüst davranışı teşvik ederken aynı zamanda kötü niyetli davranışları finansal olarak disipline ederek sürdürülebilir, adil ve esnek bir merkezi olmayan ekosistem yaratır.
GOAT BitVM2, gerçek anlamda hayata geçirilen ilk Bitcoin zkRollup protokolü olarak şunları başarmıştır:
● Yerel güvenlik ve sert çatal gerektirmeyen uyumluluk
● Hızlı Mücadele Mekanizması
● Ekonomik teşvik yeniden yapılandırılması
● Verimli Sıfır Bilgi Kanıtı Motoru
● BitVM2, teorik modelden mühendislik uygulamasına geçiş yaptı.
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
GOAT Network, GOAT BitVM2 White Paper'ı yayınladı, Bitcoin zkRollup'un uygulamaya konulmasını hızlandırıyor.
Bu makale GOAT tarafından sağlanmıştır, Wu'nun görüşlerini temsil etmez.
Doğu Amerika Zamanı ile 7 Mayıs 2025'te, GOAT Network resmi olarak GOAT BitVM2 beyaz kitabını yayımladı ve uygulanabilir ilk Bitcoin yerel zkRollup protokolünü önerdi. Bu protokol, orijinal BitVM2 protokolünün avantajlarını miras alarak, güvenlik, meydan okuma mekanizması ve ekonomik teşvikler gibi kritik sorunları sistematik olarak çözmek için bir dizi yenilik sundu ve Bitcoin ekosisteminin genişlemesi ve programlanabilirliği için bir temel oluşturdu.
BitVM2'nin potansiyeli ve gerçek engelleri
Robin Linus ve ZeroSync ekibi tarafından 2024 yılında önerilen BitVM2 protokolü, Bitcoin ana ağ protokolünü değiştirmeden, zincir üzerinde herhangi bir hesaplamayı doğrulamanın yenilikçi bir yolunu sunmaktadır ve Bitcoin zkRollup ile çapraz zincir köprülerin mümkün olmasını sağlamaktadır. Ancak, gerçek uygulamalara geçişte, BitVM2'nin üretim seviyesindeki çapraz zincir köprülerde kullanılması için hala aşağıdaki kritik sorunlar bulunmaktadır:
● Operatör (Operator) Çift Harcama Saldırısı: Mevcut BitVM2, operatörlerin doğrulanabilir ancak gerçekte sahte olan durumları (örneğin, çatal zincirden gelen) göndermesine izin verir; bu, kullanıcıların para çekme işlemi sırasında çift harcama saldırısı riski yaratabilir.
● Mücadele sürecinin verimsizliği: Mevcut mekanizma, bire bir ( teminat kullanarak, ) ilişkisini sorgulamakta ve mücadele süresi uzundur, bu da hesaplama ve koordine etme maliyetlerini artırmaktadır. Aynı zamanda, esnek para çekme miktarlarını desteklememekte, bu da fon kullanım oranını ve kullanıcı deneyimini düşürmektedir.
● Etkili bir teşvik mekanizmasının eksikliği: Protokol, Rollup ekosistemindeki çeşitli rollerin katılımını sağlamak için etkili teşviklerden yoksundur, özellikle de çoğu durumda meydan okuyanların ödül almadığı için, dürüst ve zamanında meydan okumaya istek azalır. Kitle fonlaması teşviklerine dayanan sistemlerde, ödüllerin yanlış katılımcılara dağıtılması gibi sorunlar da ortaya çıkabilir, bu da teşviklerin doğruluğunu ve etkinliğini daha da zayıflatır.
GOAT BitVM2: Üç Büyük Mekanizma Yeniliği
GOAT Network, mühendislik perspektifinden hareketle, GOAT BitVM2 geliştirme planını tanıttı ve bunu GOAT Network'ün temel yürütme sistemi olarak devreye aldı, Bitcoin zkRollup'ı ilk kez gerçek hayata entegre etti. Bu plan, üç mekanizma etrafında köklü iyileştirmeler yapmaktadır:
Bitcoin'in yerel Script doğrulaması ve GOAT ağının konsensüs katmanının çift ceza mekanizmasını birleştirerek, operatörlerin kötü niyetli davranışlarının maliyetini önemli ölçüde artırır. Bu mekanizma ayrıca makul boyutta bir operatör grubunu korur ve "1-of-n dürüst düğüm" varsayımı altında sistemin yüksek aktivitesini sağlar.
Çoklu tur rakip değiştirme mekanizması kullanarak, meydan okuma işleme süresini büyük ölçüde kısaltmış, nihai etkinlik süresini 1 günün altına indirmiştir.
Başarılı meydan okuyanlar, kötü niyetli önericilerin teminatından oluşan "dolandırıcılık ödülü" alabilirler. Bu mekanizma, meydan okuma katılım oranını artırmakta ve meydan okuma eylemi ile operatörlerin kötü niyetli davranış riski arasındaki ekonomik teşviklerin uyumunu sağlamaktadır.
Genel Operator Modeli: Ekonomi ve mimarinin entegrasyonel yeniden yapılandırılması
Yukarıda belirtilen mekanizmayı gerçekleştirmek için GOAT Network, BitVM2'deki karmaşık ayrılmış rol sistemini birleştirme ve yeniden yapılandırma işlemi gerçekleştirmektedir.
Geleneksel BitVM2 mimarisinde, Rollup sistemi sıralayıcı (Sequencer), meydan okuyan (Challenger), operatör (Operator) ve komite üyeleri (Committee) gibi çeşitli rolleri içerir. Bu rollerin sorumlulukları ve maliyetleri arasında önemli farklılıklar bulunduğundan, adil ve verimli bir Rollup ekonomik modeli ve teşvik mekanizması tasarlamak son derece zorlu bir görev haline gelmiştir.
GOAT Network'ün temel yeniliği, bu rolleri tek bir kimlikte birleştirmekte yatmaktadır - Evrensel Operatör (Universal Operator, kısaca Operatör) ve rol değiştirme mekanizması sayesinde tüm katılımcılar farklı zamanlarda farklı sorumluluklar üstlenmektedir. Tüm operatörlerin L2'de stake yapması gerekmektedir, her turda belirli bir role atanarak aşağıdaki dört büyük avantajı getirmektedir:
● Gelir ve maliyet dengesi: GOAT Ağı, operatörlerin kâr elde eden roller ile yüksek maliyetli roller arasında döngüsel olarak geçiş yapmalarını sağlayarak, uzun vadede gelir ve giderlerin nispeten dengede kalmasını güvence altına alır ve bazı operatörlerin uzun süre yüksek hesaplama maliyetlerini üstlenmesini önler.
● Teşvik mekanizması hizalaması: Farklı roller arasındaki çapraz sübvanse mekanizması, kazanç dalgalanmalarını yumuşatır ve operatörleri her rolde dürüst bir şekilde katılmaya teşvik eder.
● Katılım eşiklerini düşürmek: Küçük ve orta ölçekli düğümler sürekli olarak yüksek maliyetli roller üstlenmek zorunda kalmadan kolayca katılabilir, böylece sistemin merkeziyetsizliği ve açıklığı artırılabilir.
● Sistem dayanıklılığını artırma: Bireysel operatörler çevrimdışı olsa bile, sistem, rolleri esnek bir şekilde dağıtarak çalışmaya devam edebilir ve tek bir noktaya bağımlılığı önleyebilir.
Özetle, GOAT Ağı, sıralayıcılar, hesaplayıcılar, meydan okuyanlar gibi davranış rollerini, staker operatörlerinden oluşan bir rol havuzunda birleştirir. Tüm operatörler, sorumlulukları dönüşümlü olarak üstlenir ve ceza mekanizmasının kısıtlamasına tabi tutulur. Önericiler hileli durumlar sunduklarında ceza alacaklardır; meydan okuyucular sorumluluklarını yerine getirmez veya kötü niyetle meydan okurlarsa da cezalandırılacaklardır. Bu mekanizma, dürüst davranışların ekonomik olarak en iyi şekilde olmasını garanti ederken, belirgin bir dönüşüm mekanizması sayesinde rollerin belirli bireylerde uzun süre yoğunlaşmasını engelleyerek merkezileşme riskini azaltmaktadır.
Protokol Mimarisi Genel Görünümü: Genel Operatör etrafında inşa edilen sistem kapalı döngüsü
Bu yapı, yalnızca varlıkların çapraz zincir giriş ve çıkış süreçlerini (Bridge-In & Bridge-Out) kapsamakla kalmamalı, aynı zamanda sıralayıcı kümesinin güvenilir onayı, meydan okuma sürecinin zincir üzerinde koordinasyonu ve zk kanıtlarının verimli bir şekilde üretilmesi ve doğrulanmasını da sağlamalıdır. Aşağıda GOAT BitVM2 protokol yapısının temel bileşenleri bulunmaktadır:
Evrensel Operatör Modeli
GOAT BitVM2'de her bir genel operatör aynı yazılımı çalıştırır ve katılım hakkı elde etmek için BTC stake eder. Belirleyici döngü veya stake ağırlığına dayalı rastgele mekanizma ile bu operatörler sırayla aşağıdaki rolleri üstlenir: sıralayıcı (Sequencer, blok oluşturma görevini üstlenir), kanıtlayıcı (Prover, zkSNARK kanıtı üretir), yayıncı (Publisher, L1'e durum verilerini gönderir) ve meydan okuyan (Challenger, dolandırıcılık durumunu sorgulamak için kullanılır). Her bir operatör, rol çeşitliliğini artırarak rol yoğunlaşmasını önlemek ve sistemin hata toleransını artırmak için hem kar elde eden hem de maliyet üstlenen rolleri deneyimleyecektir.
Para yatırma ve çekme işlemleri (Bridge-in ve Bridge-out)
● Para Yatırma (Deposit): Kullanıcı BTC'yi kilitler ve L2'de PegBTC alır.
● Çekim (Withdraw/Peg-out): L1'in karmaşık BitVM2 çekim scriptlerini doğrulamasına ihtiyaç duymadan. Aksine, GOAT, çekim sürecini operatörle doğrudan atomik değişim mekanizması (Atomic Swap) ile gerçekleştirirken, güvenlik ve güvenilirliği sağlamak için dolandırıcılığa karşı protokollerle birleştirir.
Sıralayıcı Set Taahhüdü (Sequencer Set Commitment)
● Operatör, Bitcoin ana zincirinin OP_RETURN'ı aracılığıyla kamu anahtarları kümesinin Merkle Kökünü gönderir.
● L2, geçmiş BTC durumunu doğrulamak ve bunu L1'deki bir dizi sıralayıcı ile eşleştirmek için İşlem İç Gözleminden yararlanır. Bu tasarım, BTC'nin yerel durumuyla güçlü bir uyum sağlarken, Bitcoin konsensüs kurallarında değişiklik gerektirmez.
Yüksek verimli ihtilaf çözümü ve zkMIPS performans desteği
Bitcoin'in yerel zkRollup'ı uygulanabilir hale gelmesi için etkili bir dolandırıcılık tespiti ve anlaşmazlık çözüm sistemi olmalıdır. GOAT BitVM2, zorluk modeli ve kanıtlama performansı açısından aşağıdaki tasarımı yapmıştır:
Çok Turlu Rastgele Meydan Okuma Mekanizması (Multi-Round Random Challenger Selection)
Bir rakip gerektiğinde (örneğin operatör geri ödeme sürecinde), sistem, tüm stake edilmiş düğümler arasından rastgele bir rakip seçecektir. Eğer bu rakip zamanında bir meydan okuma başlatmazsa, sistem bir yeni rakip daha rastgele seçecektir. Eğer yeni rakip dolandırıcılığı başarıyla tespit eder ve meydan okuma başlatırsa, daha önce görevini yerine getirmeyen tüm rakipler ceza alacaktır (stake'leri el konulacaktır). Dikkat edilmesi gereken bir nokta, herkesin herhangi bir turda meydan okuma başlatabileceğidir, bu nedenle yine de "1-of-n dürüst katılımcı" varsayımının güvenliği korunmaktadır.
Ayrıca, rastgele karakter dağılımı ve tamamen cezalandırılabilir staking mekanizması, rüşvet saldırılarını, sistem zorbalığını (ransom-style extortion) ve kötü niyetli müdahaleleri (griefing) etkin bir şekilde önlemektedir.
Zincir Üzerinde ve Zincir Dışı Yürütme (On-Chain and Off-Chain Execution)
Çoğu hesaplama mantığı (örneğin ZKP oluşturma, dolandırıcılık doğrulama, BitVM2 etkileşimli senaryolar vb.) L2'de yürütülür, yalnızca nihai sonuçlar (durum gönderimi, meydan okuma işleme, cezai işlemler vb.) L1'e yüklenir. Bu tasarım, zincir üzerindeki gaz maliyetlerini önemli ölçüde azaltırken, tüm sistemin doğrulanabilirliğini de sağlar.
ZKP performans artırımı: kendi geliştirdiğimiz zkMIPS
GOAT'un kendi geliştirdiği zkMIPS, MIPS komut setiyle uyumlu bir zkVM'dir ve STARK/SNARK arka uçları için performans optimizasyonu yapılmıştır. Birden fazla bloğu toplu işleme ve belirli aralıklarla (örneğin, her saat) tek bir birleşik kanıt oluşturma yoluyla, GOAT'un kanıtlayıcısı son derece yüksek maliyet verimliliği sağlamıştır. Zorluklarda, BitVM2'nin "gerçek değer tablosu (truth-table)" yöntemini kullanarak tartışmalı noktaları tespit etmek ve böylece tartışmaları hızlı bir şekilde çözmek mümkündür.
Özet
Orijinal BitVM2 ile karşılaştırıldığında: daha hızlı, daha stabil, daha uygulanabilir
GOAT BitVM2, Bitcoin ağına bir uzlaşma katmanı olarak dayanıyor ve bir hesaplama katmanı olarak merkeziyetsiz bir sıralayıcı ağı inşa ediyor. "1-of-n dürüst katılımcı" varsayımı altında, bu çözüm, BitVM2'deki esnek miktar çekim, meydan okuyucu teşvik eksikliği gibi kritik sorunları başarıyla çözmektedir. Optimist doğrulamayı hızlandırmak için GOAT, dolandırıcılık tespitinin verimliliğini ve etkinliğini önemli ölçüde artıran çok aşamalı meydan okuma mekanizması getirmiştir. Ayrıca, zkMIPS'in ZK kanıtlarını verimli bir şekilde üretme yeteneği ile birleştirildiğinde, GOAT BitVM2, mevcut Bitcoin ekosisteminde en güvenli ve en yüksek performanslı zkRollup protokolü haline gelmektedir ve BitVM2'nin pazardaki gerçek uygulamasını önemli ölçüde hızlandırma potansiyeline sahiptir.
GOAT BitVM2, teknik mimarideki bir atılıma ek olarak, evrensel operatör rotasyonuna dayalı güçlü bir ekonomik sistem oluşturmuştur. Sistem, sıralayıcılar, kanıtlayıcılar, meydan okuyanlar, yayıncılar vb. gibi sorumlulukların tüm stake edenler arasında adil bir şekilde dağıtılmasını sağlar. Protokol, işlem ücreti paylaşımı, dolandırıcılık ödülleri ve cezalar aracılığıyla dürüst davranışı teşvik ederken aynı zamanda kötü niyetli davranışları finansal olarak disipline ederek sürdürülebilir, adil ve esnek bir merkezi olmayan ekosistem yaratır.
GOAT BitVM2, gerçek anlamda hayata geçirilen ilk Bitcoin zkRollup protokolü olarak şunları başarmıştır:
● Yerel güvenlik ve sert çatal gerektirmeyen uyumluluk
● Hızlı Mücadele Mekanizması
● Ekonomik teşvik yeniden yapılandırılması
● Verimli Sıfır Bilgi Kanıtı Motoru
● BitVM2, teorik modelden mühendislik uygulamasına geçiş yaptı.
Beyaz kitabın tam metni için lütfen ziyaret edin: