Mutsuz Yolu Mühendislik: BitVM2 Mimarisini Anlamak Birinci Bölüm: Güvenlik, Anlaşmazlık Yolunda Yaşıyor Bir Bitcoin L2, mutsuz yolunda yaşar ya da ölür. Bitcoin'de ise "doğrulayıcıyı zincir üzerinde çalıştır ve devam et" seçeneği yok. Kısıtlı bir yürütme ortamı, önceden imzalanmış işlem grafikleri ve her tarafın tam olarak ne zaman harekete geçebileceğini tanımlayan zaman kilitleri elde edersiniz. BitVM2, Bitcoin için iyimser bir uygulama modelidir: zincir dışı çalıştırın, ardından önceden imzalanan işlemlerden oluşturulmuş zincir içi bir anlaşmazlık protokolü ile doğruluğu uygulanabilir hale getirin. Bu da basit bir mühendislik kuralına yol açar: Eğer anlaşmazlıklar pahalıysa veya ücret nedeniyle durabiliyorsa, güvenlik modeli işe yaramıyor. BitVM tabanlı sistemler, operatörlerin zincir dışı çalıştırmasına izin vererek çalışır, ardından herkesin on-chain ile mücadele etme ve protokolü bir dürüstlük varsayımıyla itiraz yolu ile zorlama imkanı verir (geçerlilik için en az bir dürüst itirabir; canlılık için en az bir dürüst operatör). Bu anlaşmazlık yolu mekanizmadır. Önceden imzalanan işlemler ve tek seferlik imzalar (meydan okuma pencereleri, yanıt teslim tarihleri, nihai işlem) köprünün ve çıkışlarının "çalışma zamanı"dır. BitVM2 üzerine inşa etmekten bahsettiğimizde, kuzey yıldızı "güvensiz" gibi pazarlama terimleri değildir. Kuzey yıldızı şudur: • yürütülebilecek kadar ucuz anlaşmazlıklar, • "yanlış durumu kanıtla" çıkışlarını engelleyecek kadar objektif olan zincir bağlamı • gerçek ücret koşulları altında sürekli ilerleyen işlem akışları. Bu seri, GOAT BitVM2 tasarımında bu kısıtlamalara nasıl yaklaştığımızı parça parça detaylandırıyor. İkinci Bölümde değinecek: Bitcoin'de üretime hazır zkRollup uygulamanın pratik engelleri.