Editör: Enver Adıgüzel
Cointelegraph Research’ün Bitcoin sözleşmelerine ayırdığı teknik yazı dizisinin beşinci bölümü, MATT (Merkleize All The Things) çerçevesini ele alıyor. Yazıya göre MATT, durum taşıyan akıllı sözleşmeler ve ölçeklenebilir dolandırıcılık kanıtları için tasarlanmış bir yapı. Mevcut Bitcoin betikleri her işlemi geçmişten bağımsız değerlendirdiği için bu tür bir hafıza sağlamıyor.
Durum taşıma sorunu
Her sözleşme önerisi bir ölçüde durum taşıyan UTXO’lara izin veriyor. Sapio gibi betik dilleri, OP_CTV üzerine kurularak adresleri sonlu bir durum makinesini temsil etmek için kullanıyor. Bu yaklaşımda işlemler durum geçişi işlevi görüyor. Ancak sayısal mantığı bu modelde zarif biçimde uygulamanın bir yolu yok. Yazıya göre MATT, bu açığı özellikle OP_CCV üzerinden önerilen uygulamasıyla dolduruyor.
OP_CCV, harcama anında hesaplanan verinin bir sonraki çıktıya yeniden gömülmesine izin veriyor. Böylece her harcama, önceden belirlenmiş bir durum kümesinden seçim yapmak yerine yeni bir durumu dinamik olarak türetebiliyor.
Taproot ile durum taahhüdü
Yazıya göre OP_CCV, bir Taproot çıktısının belirli bir durum verisine taahhüt edildiğini doğrulayabiliyor. İç anahtar, sözleşmenin mevcut durumunun özeti ile değiştiriliyor ve ardından standart taptree değişikliği uygulanıyor. Ortaya çıkan çıktı anahtarı hem harcama koşullarını hem de sözleşmenin güncel durumunu temsil ediyor. Yazar, durum geçişlerinin zincir üzerinde bu mekanizmayla zorunlu kılındığını belirtiyor.
Opkod üç çıktı kontrol modu ve ayrı bir girdi modu sunuyor. Varsayılan modda girdi UTXO’sunun tüm değeri belirtilen çıktıya tahsis ediliyor; düşme modunda yalnızca çıktının tutarına eşit bir kısım ayrılıyor ve kalan kısım sonraki çıktılar için bırakılıyor. Yazıya göre ücretler, değeri koruyan bu modlar nedeniyle ayrı ücret ödeyen girdilerle karşılanmalı.
Birleşik kullanım: kanıtlar ve kasalar
OP_CCV, OP_CAT ile birleştirildiğinde Merkle kanıtlarının zincir üzerinde oluşturulup doğrulanabildiği belirtiliyor. Bu yapı, uzun bir hesaplamanın zincir dışında taahhüt edildiği ve yalnızca tartışmalı adımın zincir üzerinde doğrulandığı kesinti koşullu dolandırıcılık kanıtı sistemlerine olanak tanıyor. Yazar, bu yaklaşımın BitVM’in durum tutarlılığını sağlamak için kullandığı Lamport tek kullanımlık imzalara ve önceden imzalanmış işlem grafiklerine ihtiyaç duymadığını yazıyor.
Yazıya göre OP_CCV tek başına kasa (vault) uygulamalarına da olanak tanıyor; OP_CAT ile birlikte kullanıldığında OP_VAULT önerisinin işlevselliğine denk tam kapsamlı kasalar kurulabiliyor. OP_VAULT’un yazarı James O’Beirne’in de belirttiği gibi OP_CCV, önceki önerisini fiilen geçersiz kılan daha genel bir tasarım.
Serinin devamı
Serinin bir sonraki yazısı, genel sözleşme önerilerinden OP_VAULT, OP_UNVAULT ve OP_EVICT gibi uygulamaya özgü opkodlara geçecek. Bu opkodların her biri geniş programlanabilirlik yerine belirli bir sorunu çözmek üzere tasarlanmış.
