BitVM Optimizasyon Planı Araştırması

BitVM, Bitcoin üzerinde Turing tam sözleşmeler gerçekleştiren bir teknik çözüm olarak önemli bir anlam taşımaktadır. Ancak şu anda hala erken aşamalardadır ve verimlilik ile güvenlik açısından bazı sorunlar bulunmaktadır. Bu makale, BitVM'in uygulanabilirliğini artırmak için birkaç optimizasyon fikri önermektedir.

1. ZK'ye dayalı olarak OP etkileşim sayısını azaltma

Mevcut BitVM, meydan okuma yanıtı için ikili arama yöntemini kullanıyor ve en kötü durumda yaklaşık 40 etkileşim turuna ihtiyaç duyuyor, bu süreç altı ay sürebiliyor. Meydan okunan nesneyi orijinal algoritma F'den doğrulama algoritması Verify'e dönüştürmek için sıfır bilgi kanıtı teknolojisinin getirilmesi düşünülebilir, böylece meydan okuma turlarının sayısı önemli ölçüde azaltılabilir ve süre kısaltılabilir.

Ayrıca, ZK Dolandırıcılık Kanıtı oluşturmayı ve Talep Üzerine ZK Kanıtı gerçekleştirmeyi keşfedebilirsiniz. Bu modelde yalnızca bir meydan okuma meydana geldiğinde ZK kanıtı oluşturulması gerekmektedir, bu da her durum değişikliği için kanıt oluşturma yükünü ortadan kaldırırken, optimist rollup'un avantajlarını da korumaktadır.

2. Bitcoin dostu tek seferlik imza

Lamport imzası, BitVM'nin temel bileşenidir, ancak imza ve genel anahtar oldukça uzundur. Winternitz tek seferlik imza şemasını kullanmayı düşünmek mümkündür, d=15 olduğunda imza ve genel anahtar uzunluğunu yaklaşık 4 kat azaltarak işlem ücretlerini en az %50 düşürebilir. Gelecekte daha kompakt bir tek seferlik imza şemasını keşfetmek de mümkündür.

3. Bitcoin Dostu Hash Fonksiyonu

Bitcoin scriptinin sınırlamaları nedeniyle, Bitcoin dostu bir hash fonksiyonu tasarlamak gerekmektedir. BLAKE3 iyi bir seçimdir; sıkıştırma fonksiyonu tur sayısı daha azdır ve 64 baytlık girdi işlenirken yalnızca bir kez sıkıştırma fonksiyonu gerektirir. Şu anda yaklaşık 100KB'lik bir Bitcoin scripti BLAKE3'ü uygulamıştır ve bu, toy versiyonu BitVM'yi inşa etmek için kullanılabilir. Gelecekte bu uygulama daha da optimize edilebilir veya Bitcoin için daha uygun diğer hash fonksiyonları keşfedilebilir.

4. Scriptless Scripts BitVM

Scriptless Scripts teknolojisi, akıllı sözleşme mantığını zincir dışı yürütme imkanı sunarak, işlevsel esneklik, iyi gizlilik ve yüksek verimlilik gibi avantajlar sağlar. Bu teknolojiyi BitVM'ye entegre etmeyi deneyebilir, Schnorr çoklu imza ve adaptör imzası kullanarak mantık kapısı taahhütleri gerçekleştirebilir, böylece script alanından tasarruf sağlayabilir ve verimliliği artırabilirsiniz.

5. İzin Gerektirmeyen Çoklu Zorluk

Mevcut BitVM, lisanslı iki taraflı meydan okuma modelini kullanıyor ve bazı güvenlik açıkları bulunmaktadır. Lisans gerektirmeyen çok taraflı meydan okuma protokolleri araştırılabilir ve güven modelini 1-of-n'den 1-of-N(N'e genişletilebilir. Bu, cadı saldırıları ve gecikme saldırıları gibi sorunların çözülmesini gerektirir; Permissionless Refereed Tournaments ve BoLD algoritması gibi ilgili araştırma sonuçlarına başvurulabilir.

Yukarıdaki optimizasyonlar sayesinde, BitVM'nin performansı ve güvenliğinin daha da artırılması bekleniyor ve bu, Bitcoin ekosisteminin refahına katkıda bulunacaktır.