"BitVM: Bitcoin'de Her Şeyi Hesaplayın" başlıklı bir teknik inceleme, geliştiriciler arasında hararetli bir tartışmaya yol açtı, bu da Bitcoin ağının herhangi bir hesaplanabilir işlevi yerine getirebilen Turing-complete sözleşmeleri uyguladığı anlamına geliyor gibi görünüyor.
Bu, Bitcoin ağının Ethereum ve diğer ekosistemlerin tüm anlatılarını kopyalayabileceği anlamına mı geliyor? Ve mevcut Bitcoin konsensüsünü değiştirmeye veya hatta herhangi bir yükseltmeye gerek yoktur, sadece mevcut Bitcoin temel operasyonuna güvenmek _code Bitcoin ağına "karmaşık" programlanabilirlik sağlayabilir, böylece Bitcoin ağı Turing'in her şeyi hesaplamayı tamamlayabilir mi?
Bekleyin, hayal kurmayı bırakalım ve BitVM'nin fikir yolunu keşfedelim. Komut dosyası alanı karmaşık programlamayı nasıl gerçekleştirir? İyimserlik Toplaması fikri neyi ifade eder? Sahtekarlık Kanıtıİspat Yöntemi Nedir? BitVM'nin uygulanmasının önündeki engeller nelerdir? Ardından, herkesin genel olarak anlayabilmesi için genel mantıksal çerçevesini adım adım analiz etmenizi sağlayalım. (Ancak teknik uygulamanın ayrıntılarına girelim.)
Karmaşık programlanabilir özellikleri nasıl uygularım?
Bitcoin'in programlama yetenekleri çok sınırlı olduğundan, komut dosyası komut dosyalarında yalnızca basit mantığı ve sınırlı işlem kodlarını desteklediğinden, Bitcoin ağında karmaşık akıllı sözleşmeler geliştirmek imkansızdır. BitVM teklifinin temel noktası, ***'nin tam sözleşme yürütmeye eşdeğer olan taproot adres matrisi veya taptree aracılığıyla ikili devrelere benzer çeşitli program talimatlarını uygulamasıdır. **
Spesifik olarak, her bir komut dosyası komut dosyasındaki UTXO maliyet koşullu talimatını programın en küçük birimi olarak ele alabiliriz, bir komut dosyası yürütmesi doğru ve yanlış iki sonuçtan başka bir şey değildir, taproot adresine belirli bir kod girerseniz deterministik 0 veya 1 alabilir, bir matrise çok sayıda taproot adresi sıralı bir taptree oluşturabilir ve yürütme sonucu 011001 gibi çok sayıda ikili devre metin efektine sahiptir. Çalıştırılabilir bir ikili program olarak kabul edilebilir. Programın karmaşıklığı, birleşik taproot adreslerinin sayısına bağlıdır, ne kadar çok adres olursa, Bitcoin çerçevesi kapsamındaki her komut dosyası için önceden ayarlanmış talimatlar ne kadar zengin olursa, tüm taptree'nin yürütebileceği program o kadar karmaşık olur. Mantıklı, değil mi?
Bu yeterince büyük. Bununla birlikte, bu mantığa göre, en küçük birim talimatı gerçekten de Bitcoin tam düğümü tarafından tamamlanır ve taproot adresi sonsuz bir şekilde üst üste bindirilir ve sonsuz kombinasyon olasılığı birçok karmaşık hesaplamayı üst üste bindirebilir. Bir bakıma Turing-complete makinesi demek abartı olmaz. Ancak sınırsız bindirme taproot adresleri yalnızca maliyet tüketimini artıracaktır, teorik olarak Turing'de her şeyi başarabilir, ancak pratik değildir.
Bu nedenle, teknik incelemede bahsedilen Turing tamlığı sadece son derece ideal bir ifadedir, biraz "çalma konsepti"dir, Ethereum'un sözde süper bilgisayarı bile sadece komut dosyasına dayanan Bitcoin ağı bir yana, Turing-complete'i tam olarak başaramaz mı?
Bazı karmaşık kavramların analizi
Yukarıdaki temel çerçeve anlayışına dayanarak, teknik incelemede bahsedilen İyimserlik Toplaması ve Dolandırıcılık Kanıtı ve Bit taahhüdüne bakın, Mantık Kapısı nedir? Tek bir taproot alanı ve yürütülebilir kod mantığı sınırlı olduğundan, karmaşık programları zincir dışında yürütmek ve zincire yalnızca anahtar doğrulama bağlantıları koymak bir Rollup fikri değil mi?
Fraud Proof şu şekilde anlaşılabilir, Prover ve doğrulayıcının her ikisi de önce büyük bir ikili devre derler, Bitcoin ağı devreyi yürütür, Prover'ın belirli bir Bitcoin varlığını önceden imzalaması ve rehin vermesi gerektiğine dair bir öncül vardır, eğer Verifier Prover'ın kötü olduğunu doğrularsa, başarılı olursa zincir içi taptree "programının" UTXO kilit açma koşulunu tetiklemek için aynı şekilde zincire işlemler gönderebilir. Doğrulayıcı, sahtekarlığa karşı korumalı bir süreç olan Prover'ın teminatını kaybedebilir.
Bu mantıkta, BitVM'nin neden sadece fikir birliğine varılmış iki taraf için uygun olduğunu anlamak zor değil, yani toplam devre şeması yürütmeden önce paylaşılmalı, sahtekarlığa karşı kanıt prosedürü geçerlilik süresi içinde yürütülmeli ve belirli varlıklar rehin verilmeli ve önceden imzalanmalıdır. **İki taraf, üzerinde anlaşmaya varılan bir dizi zincir dışı fikir birliğinde işbirliği yapmazsa, yalnızca Bitcoin ağının sınırlı zincir içi yürütme ortamına güvenerek gerçek bir "sözleşme" yürütmesini teşvik etmek zordur. **
BitVM uygulamasının önündeki engeller nelerdir?
Şu anda, BitVM yalnızca fikir birliği üzerinde anlaşan iki taraf arasında zincir içi işlemleri uygulamak için uygundur ve **** zincir üstü ortam, sözleşmelerin yürütülmesi için yalnızca açık ve şeffaf bir süreçtir. **Şu anda, yalnızca iki sözleşme kuruluşu arasında uygulanabilir ve N-N'nin uygulanması daha karmaşık teknik mantık tasarımı gerektirir.
**BitVM, minimum programlama birimini uygulamak için tek bir taproot adres komut dosyasının nasıl uygulanacağı, Bitcoin'in yürütme mantığı çerçevesini aşamaz, ** hashlock, timelock gibi, sınırlı depolama koşullarını aşamaz, iyimser durum Bir taproot adresi yüzlerce mantık kapısını programlayabilir, daha fazlasının taptree yapımı için çok sayıda adresi birleştirmesi gerekir. Sorun şu ki, taproot adresinin önceden ayarlanmış kilit açma koşullarının yürütülmesi bir madenci ücreti gerektiriyor ve ne kadar çok adres kombinasyonu olursa, maliyet o kadar yüksek olur. Gelecekte, Lightning Network'ün iki yönlü kanal teknolojisi maliyetleri düşürebilir, ancak genel olarak, mantık kapısı devrelerini yürütmek için Bitcoin ağına güvenmek sadece yavaş değil, aynı zamanda düşünmesi de pahalıdır.
BitVM ideal olarak, ağır zincir dışı bilgi işlem için daha uygun olan sınırlı senaryoları destekler, yalnızca bazı fikir birliği ve varlık transferinin, oyunların varlık elden çıkarılması gibi zincir üstü senaryolara dayanması gerekir;
Genel olarak, BitVM beyin açıcı ve çok yaratıcı bir fikirdir, ancak uygulama teknik çerçevesine göre, kısa vadede white paper konsept aşaması ile sınırlı kalacağı bilinmektedir ve uzun vadeli uygulama senaryosu keşfi ve iniş uygulaması hala büyük zorluklarla karşı karşıyadır. Çok popüler bir örnekle açıklamak gerekirse: BitVM, herkesin mobil terminalleri kullanabildiği çağda bir odadan daha büyük bir süper bilgisayar inşa etmek gibidir.
Not: Yukarıdaki yorum yalnızca BitVM'nin genel teknik çerçevesini anlamak için geçerlidir, böylece herkes arkasındaki teknik mantığı anlayabilir, belirli uygulama önyargılı olabilir, teknik bir patronun çok derinlemesine bir teknik detay araştırması varsa, yorumlarda düzeltebilir ve tamamlayabilirsiniz.
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.
Ethereum ekosisteminin Bitcoin ağına mükemmel bir kopyası mı? Bu makale, BitVM'nin uygulama senaryolarını ve üst sınırlarını araştırıyor
Haotian tarafından yazıldı.
"BitVM: Bitcoin'de Her Şeyi Hesaplayın" başlıklı bir teknik inceleme, geliştiriciler arasında hararetli bir tartışmaya yol açtı, bu da Bitcoin ağının herhangi bir hesaplanabilir işlevi yerine getirebilen Turing-complete sözleşmeleri uyguladığı anlamına geliyor gibi görünüyor.
Bu, Bitcoin ağının Ethereum ve diğer ekosistemlerin tüm anlatılarını kopyalayabileceği anlamına mı geliyor? Ve mevcut Bitcoin konsensüsünü değiştirmeye veya hatta herhangi bir yükseltmeye gerek yoktur, sadece mevcut Bitcoin temel operasyonuna güvenmek _code Bitcoin ağına "karmaşık" programlanabilirlik sağlayabilir, böylece Bitcoin ağı Turing'in her şeyi hesaplamayı tamamlayabilir mi?
Bekleyin, hayal kurmayı bırakalım ve BitVM'nin fikir yolunu keşfedelim. Komut dosyası alanı karmaşık programlamayı nasıl gerçekleştirir? İyimserlik Toplaması fikri neyi ifade eder? Sahtekarlık Kanıtıİspat Yöntemi Nedir? BitVM'nin uygulanmasının önündeki engeller nelerdir? Ardından, herkesin genel olarak anlayabilmesi için genel mantıksal çerçevesini adım adım analiz etmenizi sağlayalım. (Ancak teknik uygulamanın ayrıntılarına girelim.)
Karmaşık programlanabilir özellikleri nasıl uygularım?
Bitcoin'in programlama yetenekleri çok sınırlı olduğundan, komut dosyası komut dosyalarında yalnızca basit mantığı ve sınırlı işlem kodlarını desteklediğinden, Bitcoin ağında karmaşık akıllı sözleşmeler geliştirmek imkansızdır. BitVM teklifinin temel noktası, ***'nin tam sözleşme yürütmeye eşdeğer olan taproot adres matrisi veya taptree aracılığıyla ikili devrelere benzer çeşitli program talimatlarını uygulamasıdır. **
Spesifik olarak, her bir komut dosyası komut dosyasındaki UTXO maliyet koşullu talimatını programın en küçük birimi olarak ele alabiliriz, bir komut dosyası yürütmesi doğru ve yanlış iki sonuçtan başka bir şey değildir, taproot adresine belirli bir kod girerseniz deterministik 0 veya 1 alabilir, bir matrise çok sayıda taproot adresi sıralı bir taptree oluşturabilir ve yürütme sonucu 011001 gibi çok sayıda ikili devre metin efektine sahiptir. Çalıştırılabilir bir ikili program olarak kabul edilebilir. Programın karmaşıklığı, birleşik taproot adreslerinin sayısına bağlıdır, ne kadar çok adres olursa, Bitcoin çerçevesi kapsamındaki her komut dosyası için önceden ayarlanmış talimatlar ne kadar zengin olursa, tüm taptree'nin yürütebileceği program o kadar karmaşık olur. Mantıklı, değil mi?
Bu yeterince büyük. Bununla birlikte, bu mantığa göre, en küçük birim talimatı gerçekten de Bitcoin tam düğümü tarafından tamamlanır ve taproot adresi sonsuz bir şekilde üst üste bindirilir ve sonsuz kombinasyon olasılığı birçok karmaşık hesaplamayı üst üste bindirebilir. Bir bakıma Turing-complete makinesi demek abartı olmaz. Ancak sınırsız bindirme taproot adresleri yalnızca maliyet tüketimini artıracaktır, teorik olarak Turing'de her şeyi başarabilir, ancak pratik değildir.
Bu nedenle, teknik incelemede bahsedilen Turing tamlığı sadece son derece ideal bir ifadedir, biraz "çalma konsepti"dir, Ethereum'un sözde süper bilgisayarı bile sadece komut dosyasına dayanan Bitcoin ağı bir yana, Turing-complete'i tam olarak başaramaz mı?
Bazı karmaşık kavramların analizi
Yukarıdaki temel çerçeve anlayışına dayanarak, teknik incelemede bahsedilen İyimserlik Toplaması ve Dolandırıcılık Kanıtı ve Bit taahhüdüne bakın, Mantık Kapısı nedir? Tek bir taproot alanı ve yürütülebilir kod mantığı sınırlı olduğundan, karmaşık programları zincir dışında yürütmek ve zincire yalnızca anahtar doğrulama bağlantıları koymak bir Rollup fikri değil mi?
Fraud Proof şu şekilde anlaşılabilir, Prover ve doğrulayıcının her ikisi de önce büyük bir ikili devre derler, Bitcoin ağı devreyi yürütür, Prover'ın belirli bir Bitcoin varlığını önceden imzalaması ve rehin vermesi gerektiğine dair bir öncül vardır, eğer Verifier Prover'ın kötü olduğunu doğrularsa, başarılı olursa zincir içi taptree "programının" UTXO kilit açma koşulunu tetiklemek için aynı şekilde zincire işlemler gönderebilir. Doğrulayıcı, sahtekarlığa karşı korumalı bir süreç olan Prover'ın teminatını kaybedebilir.
Bu mantıkta, BitVM'nin neden sadece fikir birliğine varılmış iki taraf için uygun olduğunu anlamak zor değil, yani toplam devre şeması yürütmeden önce paylaşılmalı, sahtekarlığa karşı kanıt prosedürü geçerlilik süresi içinde yürütülmeli ve belirli varlıklar rehin verilmeli ve önceden imzalanmalıdır. **İki taraf, üzerinde anlaşmaya varılan bir dizi zincir dışı fikir birliğinde işbirliği yapmazsa, yalnızca Bitcoin ağının sınırlı zincir içi yürütme ortamına güvenerek gerçek bir "sözleşme" yürütmesini teşvik etmek zordur. **
BitVM uygulamasının önündeki engeller nelerdir?
Şu anda, BitVM yalnızca fikir birliği üzerinde anlaşan iki taraf arasında zincir içi işlemleri uygulamak için uygundur ve **** zincir üstü ortam, sözleşmelerin yürütülmesi için yalnızca açık ve şeffaf bir süreçtir. **Şu anda, yalnızca iki sözleşme kuruluşu arasında uygulanabilir ve N-N'nin uygulanması daha karmaşık teknik mantık tasarımı gerektirir.
**BitVM, minimum programlama birimini uygulamak için tek bir taproot adres komut dosyasının nasıl uygulanacağı, Bitcoin'in yürütme mantığı çerçevesini aşamaz, ** hashlock, timelock gibi, sınırlı depolama koşullarını aşamaz, iyimser durum Bir taproot adresi yüzlerce mantık kapısını programlayabilir, daha fazlasının taptree yapımı için çok sayıda adresi birleştirmesi gerekir. Sorun şu ki, taproot adresinin önceden ayarlanmış kilit açma koşullarının yürütülmesi bir madenci ücreti gerektiriyor ve ne kadar çok adres kombinasyonu olursa, maliyet o kadar yüksek olur. Gelecekte, Lightning Network'ün iki yönlü kanal teknolojisi maliyetleri düşürebilir, ancak genel olarak, mantık kapısı devrelerini yürütmek için Bitcoin ağına güvenmek sadece yavaş değil, aynı zamanda düşünmesi de pahalıdır.
BitVM ideal olarak, ağır zincir dışı bilgi işlem için daha uygun olan sınırlı senaryoları destekler, yalnızca bazı fikir birliği ve varlık transferinin, oyunların varlık elden çıkarılması gibi zincir üstü senaryolara dayanması gerekir;
Genel olarak, BitVM beyin açıcı ve çok yaratıcı bir fikirdir, ancak uygulama teknik çerçevesine göre, kısa vadede white paper konsept aşaması ile sınırlı kalacağı bilinmektedir ve uzun vadeli uygulama senaryosu keşfi ve iniş uygulaması hala büyük zorluklarla karşı karşıyadır. Çok popüler bir örnekle açıklamak gerekirse: BitVM, herkesin mobil terminalleri kullanabildiği çağda bir odadan daha büyük bir süper bilgisayar inşa etmek gibidir.
Not: Yukarıdaki yorum yalnızca BitVM'nin genel teknik çerçevesini anlamak için geçerlidir, böylece herkes arkasındaki teknik mantığı anlayabilir, belirli uygulama önyargılı olabilir, teknik bir patronun çok derinlemesine bir teknik detay araştırması varsa, yorumlarda düzeltebilir ve tamamlayabilirsiniz.