Mutsuz Yolu Mühendislik: BitVM2 Mimarisini Anlamak İkinci Bölüm: BitVM2'nin Pratik Engelleyicileri BitVM2 güçlü bir köprü çerçevesidir, ancak "teoride işe yarar" Bitcoin için sınır değildir. Sorun, mutsuz yolun ucuz, net ve teşvik uyumlu olup olmadığıdır. zkRollup tarzı BitVM2 dağıtımında, üç pratik engelleyici hızlıca ortaya çıkar: 1. Yanlış durumu kanıtlamak İtirazlı bir peg-out sırasında, operatör yanlış/çatallanmış L2 geçmişi üzerinde geçerli bir ispat kullanmaya çalışabilir. "Son durum" objektif olarak belirlenmezse, kanıt içsel olarak doğru olabilir ama ekonomik olarak sahtekarlıktır. 2. Kullanıcılar keyfi olarak çekemez Klasik BitVM2 peg-out'ları, sabit L1 peg-in miktarlarına ve operatör tarzı akışlara bağlıdır. Son kullanıcılardan sadece "x BTC" çekmek için operatör iş akışı çalıştırmaları beklenemez. 3. Teşvikler dürüst oyuncuya güvenilir şekilde ödeme yapmaz Rakipler tutarlı şekilde ödeme almazsa, izlemeyi bırakırlar. Belirli bir başarısızlık modu: bir meydan okumayı finanse eden/başlatan varlık, son reddetme adımını gerçekleştiren varlık olmak zorunda değildir, bu yüzden ödüller başkaları tarafından ele geçirilebilir. GOAT BitVM2 tasarımı, bunları doğrudan üç mimari hamleyle hedefliyor: • Sequencer setini Bitcoin üzerinde commit edin ki "kanonik L2 durumu" dışarıdan sabitlensin. • Operatör/rakip teminatını L2'ye taşımak + Atomik takas çekme akışını kullanmak için kullanıcılar keyfi tutarlı çekerler, operatörler ise L2 ispatlarıyla kendilerini geri alır. • Sorun yolunun operasyonel olarak uygulanabilir olması için dengesiz devrelerle anlaşmazlık yükünü azaltın + DV-SNARK. Üçüncü Bölümde sırada: Bitcoin'in kanonik L2 görüşünü sequencer setini bağlayarak sabitlemek ne anlama geliyor ve bunun neden "yanlış durumu kanıtla" çıkışını kapattığı.