Mutsuz Yolu Mühendislik: BitVM2 Mimarisini Anlamak Üçüncü Bölüm: Kanonik Durum Zincir Bağlamı Gerektirir BitVM2 çıkış kanıtı, kanıtladığı durum kadar iyidir. Bir operatör bir itiraz sırasında halka açık girdileri seçebiliyorsa, yanlış/çatallanmış L2 geçmişi üzerinden geçerli bir kanıt oluşturabilir ve yine de çıkış denemesi yapabilir. Kriptografi doğru; Bağlam yanlış. GOAT Network'ün çözümü, aktif sequencer setini Bitcoin üzerinde bağlayarak hangi L2 tarihinin kanonik olduğunu sabitlemektir. Nasıl çalışır (kavramsal olarak): • L2, merkeziyetsiz bir sequencer ağı çalıştırır ve sequencerlerin açık anahtarları (veya onlara bağlılıkları) Bitcoin üzerine sabitlenir. • Sequencer kümesi güncellemeleri, mevcut kümenin yeterli bir eşik (örneğin 2/3) tarafından onaylanması halinde geçerli olduğu önceden imzalanmış bir işlem akışı aracılığıyla yürütülür. • Güncelleme akışı, bir sonraki turun sequencer seti hash'ını Bitcoin üzerinde yapar (daha kolay doğrulama için OP_RETURN taahhüdü dahil). Sonra, peg-out doğrulaması sırasında, sistem "operatörün en son durumuna güvenmez". Operatörü şu kanıtlamaya zorlar: • ilgili sequencer kümesi güncelleme işlemleri en uzun geçerli Bitcoin zincirinde (zincir bağlamı) doğrulanır ve • referans verilen L2 durumu, o en son bağlanmış ardıcıl kümesinden (kanoniklik) türetilmiştir ve • varlık yakma bu kanonik L2 durumuna dahildir. 'Gözetleme kuleleri' özellikle zorluklarda kullanılan Bitcoin zincir bağlamını (en uzun zincir başlıkları/kanıtları) sağlamak ve doğrulamak için var, böylece anlaşmazlıklar operatör seçimi yerine Bitcoin gerçekliğine "en yenisi" bağlanabilir. Net etki: Bir operatör, özel çatal üzerinden bir proof kullanarak güvenli bir şekilde çıkış yapamaz, çünkü ispat, Bitcoin'e bağlı sequencer kümesi geçmişiyle tutarlı olmalıdır. Sırada: rastgele kullanıcı çekimleri - kullanıcının "çek x BTC" akışını operatörün geri ödeme kanıtı akışından ayırmak.