Bob Bodily tarafından yazılmıştır; Bioniq Market CEO'su; Çeviri: Altın Finans Cryptonaitive
BitVM, ZeroSync'ten Robin Linus tarafından tasarlanan yeni bir iyimser toplama + sahtekarlık kanıtı + Taproot Leaf + Bitcoin Script hesaplama paradigmasıdır. 9 Ekim sabahı, Super Testnet ve Sam Parker tarafından hakem değerlendirmesinden geçen mükemmel bir teknik inceleme yayınladılar (makale şu anda 1,5 milyon kez görüntülendi).
Okumak için çok uzun:
BitVM, sorunları çözmek için her derde deva değil
BitVM, EVM kadar iyi değildir, BitVM daha yavaş, daha pahalı ve daha karmaşıktır
BitVM'nin temel faydası, yükseltmeye gerek kalmadan Bitcoin üzerinde hemen ek programlanabilirlik elde etmemizdir. Yeni işlem kodu gerekmez. Soft fork gerekmez. Artık kullanıma hazır.
Basit potansiyel kullanım durumları, şu anda merkezi servislere dayanan merkezi olmayan uygulamaların bölümlerini içerir (DLC için oracle'lar, tıkanıklık kontrolü/coinjoin toplayıcıları, yan zincir derecelendirmeleri)
5, BitVM, yan zincirlerin güvene dayalı olmayan köprüleme sorununu çözmez (sözleşme gerekebilir — Sözleşme)
Evet, BitVM kesinlikle Greg Maxwell'in 2016 ZKP koşullu ödeme örneğinden daha iyi
BitVM çok karmaşıktır ve anlaşılması ve uygulanması zordur. Bitcoin'i tek bir işlem koduyla yükseltmek de aynı etkiyi sağlayabilir.
Teknik kazı
Şimdi işin teknik yönüne geçelim. Tartışmalarımda, diğer insanlardan büyük ölçüde alıntı yapıyorum çünkü söylediklerine sadık kalmanın ve yanlış alıntılardan kaçınmanın en güvenli yolu bu.
BitVM'nin amacı, "herhangi bir hesaplanabilir işlevin Bitcoin'de doğrulanabilmesidir". —BitVM teknik incelemesi
Bu, "Bitcoin'in artık diğer zincirler gibi Turing'i tamamladığı ve bunun Bitcoin'de herhangi bir değişiklik gerektirmediği" anlamına gelir. " ——Sam Parker
Bazı sınırlamalar vardır (daha sonra tartışacağız), ancak temel olarak bu, aşağıdakileri yaptığınız sürece şu anlama gelir:
(1) Zincir dışı hesaplamaları/ispatları ödemek için yeterli fon var,
(2) Gerekli verileri (muhtemelen yüzlerce megabayt) almak ve göndermek için yeterli bant genişliği vardır
(3) gerekli sayıda bitcoin işlemini gerçekleştirebilir,
Sonra ne istersen hesaplayabilirsin.
"BitVM'nin yaptığı tek şey, belirli mantıksal çalışma zamanlarını tek bir işlemin kapsamından birden fazla işleme bölmemize izin vermektir. Bu kadar. " ——Sam Parker
Bu yüzden uzun zaman alabilir. Çok pahalı olabilir. Yüzlerce işlem alabilir. Ama ne istersen yapabilirsin.
Sam'in kendisi yineledi: "Bu nedenle, ** teknik olarak Bitcoin eskisinden daha fazla Turing-complete haline gelmedi, sadece makul bir şekilde, gerçekten yürütmek isteyebileceğimiz herhangi bir program için yeterince 'Turing-complete' olduğunu söyleyebiliriz." **"
En önemli avantajlardan biri, yükseltme gerekmemesidir. Bunların hepsini hemen şimdi yapabilirsiniz.
Kullanmak istemiyorsanız, şunları yapmamayı da seçebilirsiniz: "Bu isteğe bağlıdır. Bitcoin'leri Turing-tam akıllı sözleşmeye (tamamen makul) kilitlemeye güvenmiyorsanız, onları Turing-tam akıllı sözleşmeye kilitlemeyin. "——Sam Parker
Bazı hesaplama sınırlamalarına tabi olabileceğiniz için, BitVM için minimum sonucun şu anda birçok kişinin kullandığı merkezi "Bitcoin Edge" hizmetinin yerini alacağını düşünüyorum.
Örneğin, "şu anda ihtiyaç duyduğumuz tüm güvenilir veya yarı güvenilir barındırma hizmetlerinden kurtulabiliriz". Tıkanıklık kontrolü/coinjoin toplayıcıları, yan zincir nisapları ve belirli türdeki DLC oracle'ları güvenilir/yarı güvenilmezden %100 güvenilmeze kadar değişebilir. Bitcoin'in güvenilmezliği, yalnızca etkileşimde bulunduğunuz bağlantıdaki en zayıf halka kadar güçlüdür. " - Sam Parker
Şimdi Eric Wall'un bu konuda ne söyleyeceğini görelim:
"Az önce teknik incelemeyi okudum ve tüm kavramlar benim için doğru. Kuruluş aşamasında çok büyük önceden imzalanmış işlemler gerektiren senaryolara karşı doğal bir nefretim var. Bu tür senaryolarda ne gibi sorunların ortaya çıkabileceğini bilmiyorum. Ek yük ve izinler iki önemli sorundur.
Şimdilik, gerçek dünya deneyinin ne gibi sonuçlar üreteceğini görmek için ihtiyatlı bir şekilde heyecanlıyım. Belki de bu planın her iki sınırlamasını da ele alan zarif, ince çözümler vardır. Belki de ek yük, sıfır bilgi ispatları gibi belirli bir hesaplama türü için yönetilebilir.
BitVM'nin zkwasm katmanının içinde iyi çalıştığını doğrulaması ilginç olurdu - BitVM, daha önce tartıştığım zkwasm katmanının rolünü yerine getirecekti. "
Daha sonra BitVM'nin muhtemelen en özlü özetinin ne olduğunu söylemeye devam etti:
"BitVM, yalnızca bir doğrulayıcının Turing-complete hesaplamalarının sonuçlarına dayanarak bir kanıtlayıcıdan bir marjı nasıl çalabileceğini açıklar, ancak harici katılımcılar için peg-in/out mimarisini gerçekten tanımlamaz, bu doğru olabilir."
Evet, BitVM tam da bu.
Adam Back daha eleştirel bir yorumla (birçok noktayla) katılıyor: "(Aşırı) heyecanlanan insanlar için harika, ama bu gerçekten sadece iki yönlü bir oyunun genellemesi - özette açıkça belirtildi - bu yüzden biraz Greg Maxwell'in 2016 ZKP koşullu ödeme uygulaması örneğine benziyor." "
Adam'ın teknik incelemenin bir kısmını fark etmemiş olmasının yanı sıra, bu BitVM aslında Greg Maxwell'in 2016 ZKP örneğinden daha iyi. Robin'den alıntı yapmak gerekirse: "ZKCP'de [Greg Maxwell'in 2016 ZKP örneğine kıyasla] kesinlikle üstündür, çünkü ZKCP'de kanıtlayıcı çözümü önceden bilmelidir." "
Makalenin yorumcularından biri olan Super Testnet görüşünü sundu: "Bu muhtemelen Bitcoin Script tarihindeki en heyecan verici keşif. Neredeyse tüm sorunları çözüyor gibi görünüyor ve Covenants'a, yan zincirlere ve Liquid veya EVM gibi özelliklere çatal olmadan erişmemizi sağlıyor. Demomu yayınlamak için sabırsızlanıyorum. "
Eric Wall'un 1'den N'ye şema kurulumuyla ilgili sorusuna yanıt olarak, Super Testnet şunları yayınladı: "Ayrıca, rollup'lara benzer şekilde 1-N şemasını da destekliyor. Bir grup için hesaplamalar yapmak üzere ücret alan merkezi bir tarafa sahip olabilirsiniz. Gruptaki herkes, merkez partinin yalan söyleyemeyeceğini bilir, aksi takdirde grup büyük bir marj elde edebilir ve üyeleri arasında bölüşebilir. "
BitVM'nin en büyük dezavantajı karmaşıklıktır. **BitVM'nin çalışması için çok fazla ön imza gereklidir.
Rijndael, "Görünüşe göre CTV ön imzaları azaltacak. Mevcut Bitcoin ile inşa etmek ve ardından CTV ile etkileşimin ne kadar azaltılabileceğini ve bunun iyi bir şey mi yoksa bir gereklilik mi olduğunu anlamak harika bir çözüm olacaktır. "
Henüz bilmiyorsanız, CTV = BIP-119 = Basit Sözleşme. Bu nedenle, CTV'yi etkinleştirmek için Bitcoin'i yükseltirsek, BitVM çok daha iyi ve daha verimli olacaktır. **
Post Capone, Bitcoin ekosistemindeki mevcut pozitifliği tartışırken kendi bakış açısını ekledi: "BitVM, Bitcoin içindeki 8 farklı gruptan, tipik olarak birbirlerini yıkım noktasına kadar karalayan net olumlu yorumlar üretti. Büyük şey, dostum. Kısa bir süre içinde çok sayıda analiz/geri bildirim aktarılıyor, ki bu çok havalı. Ordinals büyülü bir andı. Ekstra yol kat etmek için yeterince motive olmuş gibi geliyor. Onu çalışır hale getirmek için hepimiz bir araya toplandık. "
BitVM, Lightning Network'e çok benzer ve makalede en az bir 2:2 çoklu imza gereksinimi vardır.
Dylan LeClair şu yorumu yaptı: "Yanılıyorsam beni düzeltin: teknik olarak çok farklı olmasına rağmen, TX'lerin/uygulamaların/sözleşmelerin Bitcoin üzerine inşa edilebildiği, ancak doğrulama ve uzlaşmanın zincir üzerinde gerçekleştiği 2:2 multisig olması bakımından LN'ye benziyor. Anladığım kadarıyla bu, güvene dayalı olmayan BTC sabitlemelerini mümkün kılacaktır(?) ）"。
Sam, "Güvene dayalı olmayan mandallar da dahil olmak üzere istediğiniz her şeyi yapabilir" diye yanıtladı. Bu yönüyle Lightning Network'e çok benzer. Bu protokolü Lightning Channel'da çalıştırmanın gerçek bir stratejik hamle olacağını düşünüyorum. Lightning'in Adalet işlemlerini çok sinerjik bir şekilde sürdürmenin bir yolu olduğundan şüpheleniyorum. "
Makaledeki açıklama bir devlet kanalına benzediği için BitVM'nin küresel durumu destekleyebileceğine dair şüpheler vardı, ancak Super Testnet yanıt verdi: "Küresel durumu destekliyor." A Tarafı, B Tarafına küresel defter (Bitcoin veya yan zincirler ve hatta diğer zincirler gibi) hakkındaki ifadeleri kanıtlayabilir. "
Genel olarak, BitVM "Bitcoin sözleşmelerini daha etkileyici hale getiriyor." Özellikle, başlangıçta bir soft fork'a ihtiyaç duyduğunu düşündüğümüz özellikleri mümkün kılar. Güvene dayalı olmayan yan zincirler uygulayabilir, ancak bu henüz tam olarak çözülmedi. "——Süper Test Ağı
Rijndale, güvene dayalı olmayan yan zincirleri uygulamak için hala sözleşmelere ihtiyacımız olabileceğini söyledi: "BitVM, akıllı sözleşmeler içeren tüm UTXO miktarlarını harcamanıza izin veriyor. Güvene dayalı olmayan yan zincirler için, UTXO'nun akıllı sözleşmeyi içeren kısmını harcayabilmemiz gerekir. "
Benim fikrim
Başka bir teknik inceleme, başka bir podcast turu. BitVM çok ilginç, ancak hala araştırma aşamasında ve hala araştırılması gereken birçok soru var, bu nedenle BitVM'nin kaç sorunu çözebileceği henüz belirlenmedi.
Güven varsayımlarını azaltmak için BitVM'den hemen yararlanmaya başlamak için bazı basit temel kullanım durumları olabilir (örneğin, DLC oracle'ları).
Bitcoin için daha fazla programlanabilirlik sağlamak için çeşitli farklı yollara ihtiyacımız var, bu yüzden bu alanda çalışan herkesi alkışlıyorum (BitVM dahil). Umarım insanların önemli sorunlarını çözen gerçekten harika demolar oluşturmak için kullanan birçok geliştirici vardır.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
BitVM hakkında bilmeniz gereken her şey
Bob Bodily tarafından yazılmıştır; Bioniq Market CEO'su; Çeviri: Altın Finans Cryptonaitive
BitVM, ZeroSync'ten Robin Linus tarafından tasarlanan yeni bir iyimser toplama + sahtekarlık kanıtı + Taproot Leaf + Bitcoin Script hesaplama paradigmasıdır. 9 Ekim sabahı, Super Testnet ve Sam Parker tarafından hakem değerlendirmesinden geçen mükemmel bir teknik inceleme yayınladılar (makale şu anda 1,5 milyon kez görüntülendi).
Okumak için çok uzun:
BitVM, sorunları çözmek için her derde deva değil
BitVM, EVM kadar iyi değildir, BitVM daha yavaş, daha pahalı ve daha karmaşıktır
BitVM'nin temel faydası, yükseltmeye gerek kalmadan Bitcoin üzerinde hemen ek programlanabilirlik elde etmemizdir. Yeni işlem kodu gerekmez. Soft fork gerekmez. Artık kullanıma hazır.
Basit potansiyel kullanım durumları, şu anda merkezi servislere dayanan merkezi olmayan uygulamaların bölümlerini içerir (DLC için oracle'lar, tıkanıklık kontrolü/coinjoin toplayıcıları, yan zincir derecelendirmeleri)
5, BitVM, yan zincirlerin güvene dayalı olmayan köprüleme sorununu çözmez (sözleşme gerekebilir — Sözleşme)
Teknik kazı
Şimdi işin teknik yönüne geçelim. Tartışmalarımda, diğer insanlardan büyük ölçüde alıntı yapıyorum çünkü söylediklerine sadık kalmanın ve yanlış alıntılardan kaçınmanın en güvenli yolu bu.
BitVM'nin amacı, "herhangi bir hesaplanabilir işlevin Bitcoin'de doğrulanabilmesidir". —BitVM teknik incelemesi
Bu, "Bitcoin'in artık diğer zincirler gibi Turing'i tamamladığı ve bunun Bitcoin'de herhangi bir değişiklik gerektirmediği" anlamına gelir. " ——Sam Parker
Bazı sınırlamalar vardır (daha sonra tartışacağız), ancak temel olarak bu, aşağıdakileri yaptığınız sürece şu anlama gelir:
(1) Zincir dışı hesaplamaları/ispatları ödemek için yeterli fon var,
(2) Gerekli verileri (muhtemelen yüzlerce megabayt) almak ve göndermek için yeterli bant genişliği vardır
(3) gerekli sayıda bitcoin işlemini gerçekleştirebilir,
Sonra ne istersen hesaplayabilirsin.
"BitVM'nin yaptığı tek şey, belirli mantıksal çalışma zamanlarını tek bir işlemin kapsamından birden fazla işleme bölmemize izin vermektir. Bu kadar. " ——Sam Parker
Bu yüzden uzun zaman alabilir. Çok pahalı olabilir. Yüzlerce işlem alabilir. Ama ne istersen yapabilirsin.
Sam'in kendisi yineledi: "Bu nedenle, ** teknik olarak Bitcoin eskisinden daha fazla Turing-complete haline gelmedi, sadece makul bir şekilde, gerçekten yürütmek isteyebileceğimiz herhangi bir program için yeterince 'Turing-complete' olduğunu söyleyebiliriz." **"
En önemli avantajlardan biri, yükseltme gerekmemesidir. Bunların hepsini hemen şimdi yapabilirsiniz.
Kullanmak istemiyorsanız, şunları yapmamayı da seçebilirsiniz: "Bu isteğe bağlıdır. Bitcoin'leri Turing-tam akıllı sözleşmeye (tamamen makul) kilitlemeye güvenmiyorsanız, onları Turing-tam akıllı sözleşmeye kilitlemeyin. "——Sam Parker
Bazı hesaplama sınırlamalarına tabi olabileceğiniz için, BitVM için minimum sonucun şu anda birçok kişinin kullandığı merkezi "Bitcoin Edge" hizmetinin yerini alacağını düşünüyorum.
Örneğin, "şu anda ihtiyaç duyduğumuz tüm güvenilir veya yarı güvenilir barındırma hizmetlerinden kurtulabiliriz". Tıkanıklık kontrolü/coinjoin toplayıcıları, yan zincir nisapları ve belirli türdeki DLC oracle'ları güvenilir/yarı güvenilmezden %100 güvenilmeze kadar değişebilir. Bitcoin'in güvenilmezliği, yalnızca etkileşimde bulunduğunuz bağlantıdaki en zayıf halka kadar güçlüdür. " - Sam Parker
Şimdi Eric Wall'un bu konuda ne söyleyeceğini görelim:
Daha sonra BitVM'nin muhtemelen en özlü özetinin ne olduğunu söylemeye devam etti:
"BitVM, yalnızca bir doğrulayıcının Turing-complete hesaplamalarının sonuçlarına dayanarak bir kanıtlayıcıdan bir marjı nasıl çalabileceğini açıklar, ancak harici katılımcılar için peg-in/out mimarisini gerçekten tanımlamaz, bu doğru olabilir."
Evet, BitVM tam da bu.
Adam Back daha eleştirel bir yorumla (birçok noktayla) katılıyor: "(Aşırı) heyecanlanan insanlar için harika, ama bu gerçekten sadece iki yönlü bir oyunun genellemesi - özette açıkça belirtildi - bu yüzden biraz Greg Maxwell'in 2016 ZKP koşullu ödeme uygulaması örneğine benziyor." "
Adam'ın teknik incelemenin bir kısmını fark etmemiş olmasının yanı sıra, bu BitVM aslında Greg Maxwell'in 2016 ZKP örneğinden daha iyi. Robin'den alıntı yapmak gerekirse: "ZKCP'de [Greg Maxwell'in 2016 ZKP örneğine kıyasla] kesinlikle üstündür, çünkü ZKCP'de kanıtlayıcı çözümü önceden bilmelidir." "
Makalenin yorumcularından biri olan Super Testnet görüşünü sundu: "Bu muhtemelen Bitcoin Script tarihindeki en heyecan verici keşif. Neredeyse tüm sorunları çözüyor gibi görünüyor ve Covenants'a, yan zincirlere ve Liquid veya EVM gibi özelliklere çatal olmadan erişmemizi sağlıyor. Demomu yayınlamak için sabırsızlanıyorum. "
Eric Wall'un 1'den N'ye şema kurulumuyla ilgili sorusuna yanıt olarak, Super Testnet şunları yayınladı: "Ayrıca, rollup'lara benzer şekilde 1-N şemasını da destekliyor. Bir grup için hesaplamalar yapmak üzere ücret alan merkezi bir tarafa sahip olabilirsiniz. Gruptaki herkes, merkez partinin yalan söyleyemeyeceğini bilir, aksi takdirde grup büyük bir marj elde edebilir ve üyeleri arasında bölüşebilir. "
BitVM'nin en büyük dezavantajı karmaşıklıktır. **BitVM'nin çalışması için çok fazla ön imza gereklidir.
Rijndael, "Görünüşe göre CTV ön imzaları azaltacak. Mevcut Bitcoin ile inşa etmek ve ardından CTV ile etkileşimin ne kadar azaltılabileceğini ve bunun iyi bir şey mi yoksa bir gereklilik mi olduğunu anlamak harika bir çözüm olacaktır. "
Henüz bilmiyorsanız, CTV = BIP-119 = Basit Sözleşme. Bu nedenle, CTV'yi etkinleştirmek için Bitcoin'i yükseltirsek, BitVM çok daha iyi ve daha verimli olacaktır. **
Post Capone, Bitcoin ekosistemindeki mevcut pozitifliği tartışırken kendi bakış açısını ekledi: "BitVM, Bitcoin içindeki 8 farklı gruptan, tipik olarak birbirlerini yıkım noktasına kadar karalayan net olumlu yorumlar üretti. Büyük şey, dostum. Kısa bir süre içinde çok sayıda analiz/geri bildirim aktarılıyor, ki bu çok havalı. Ordinals büyülü bir andı. Ekstra yol kat etmek için yeterince motive olmuş gibi geliyor. Onu çalışır hale getirmek için hepimiz bir araya toplandık. "
BitVM, Lightning Network'e çok benzer ve makalede en az bir 2:2 çoklu imza gereksinimi vardır.
Dylan LeClair şu yorumu yaptı: "Yanılıyorsam beni düzeltin: teknik olarak çok farklı olmasına rağmen, TX'lerin/uygulamaların/sözleşmelerin Bitcoin üzerine inşa edilebildiği, ancak doğrulama ve uzlaşmanın zincir üzerinde gerçekleştiği 2:2 multisig olması bakımından LN'ye benziyor. Anladığım kadarıyla bu, güvene dayalı olmayan BTC sabitlemelerini mümkün kılacaktır(?) ）"。
Sam, "Güvene dayalı olmayan mandallar da dahil olmak üzere istediğiniz her şeyi yapabilir" diye yanıtladı. Bu yönüyle Lightning Network'e çok benzer. Bu protokolü Lightning Channel'da çalıştırmanın gerçek bir stratejik hamle olacağını düşünüyorum. Lightning'in Adalet işlemlerini çok sinerjik bir şekilde sürdürmenin bir yolu olduğundan şüpheleniyorum. "
Makaledeki açıklama bir devlet kanalına benzediği için BitVM'nin küresel durumu destekleyebileceğine dair şüpheler vardı, ancak Super Testnet yanıt verdi: "Küresel durumu destekliyor." A Tarafı, B Tarafına küresel defter (Bitcoin veya yan zincirler ve hatta diğer zincirler gibi) hakkındaki ifadeleri kanıtlayabilir. "
Genel olarak, BitVM "Bitcoin sözleşmelerini daha etkileyici hale getiriyor." Özellikle, başlangıçta bir soft fork'a ihtiyaç duyduğunu düşündüğümüz özellikleri mümkün kılar. Güvene dayalı olmayan yan zincirler uygulayabilir, ancak bu henüz tam olarak çözülmedi. "——Süper Test Ağı
Rijndale, güvene dayalı olmayan yan zincirleri uygulamak için hala sözleşmelere ihtiyacımız olabileceğini söyledi: "BitVM, akıllı sözleşmeler içeren tüm UTXO miktarlarını harcamanıza izin veriyor. Güvene dayalı olmayan yan zincirler için, UTXO'nun akıllı sözleşmeyi içeren kısmını harcayabilmemiz gerekir. "
Benim fikrim
Başka bir teknik inceleme, başka bir podcast turu. BitVM çok ilginç, ancak hala araştırma aşamasında ve hala araştırılması gereken birçok soru var, bu nedenle BitVM'nin kaç sorunu çözebileceği henüz belirlenmedi.
Güven varsayımlarını azaltmak için BitVM'den hemen yararlanmaya başlamak için bazı basit temel kullanım durumları olabilir (örneğin, DLC oracle'ları).