Yazar: Haotian, Crypto Observer Kaynak: X (Twitter) @tmel0211
"BitVM: Bitcoin'de Her Şeyi Hesapla" teknik incelemesi, 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.
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'nin önerisinin temel noktası, ikili devrelere benzer çeşitli program talimatlarının, tam sözleşme yürütmeye eşdeğer olan taproot adres matrisi veya taptree aracılığıyla uygulanması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. Maker Sense, değil mi?
Bu yeterince büyük. Bununla birlikte, bu mantığa göre, minimum 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 taproot adreslerinin sınırsız üst üste binmesi yalnızca maliyet tüketimini artıracaktır, teorik olarak Turing'de her şeyi başarmak mümkündür, 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ğine varmak için 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" uygulamasını teşvik etmek zordur.
BitVM şu anda yalnızca fikir birliği üzerinde anlaşan iki taraf arasındaki zincir üstü işlemler 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 konusu 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ğı, hashlock, timelock gibi Bitcoin'in yürütme mantığı çerçevesini aşamaz, sınırlı depolama koşullarını aşamaz, iyimser durum Bir taproot adresi, yüzlerce mantık kapısını, daha fazlasını gruplandırabilir
Bir taptree oluşturmak için çok sayıda adres kullanıldı. 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 zincirli bilgi işlem için daha uygun olan sınırlı senaryoları destekler ve 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, derinlemesine teknik detay araştırması yapan teknik ustalar varsa, belirli uygulama yöntemi önyargılı olabilir.
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, Bitcoin'in akıllı sözleşme yeteneklerinde devrim yaratabilecek mi?
Yazar: Haotian, Crypto Observer Kaynak: X (Twitter) @tmel0211
"BitVM: Bitcoin'de Her Şeyi Hesapla" teknik incelemesi, 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.
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'nin önerisinin temel noktası, ikili devrelere benzer çeşitli program talimatlarının, tam sözleşme yürütmeye eşdeğer olan taproot adres matrisi veya taptree aracılığıyla uygulanması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. Maker Sense, değil mi?
Bu yeterince büyük. Bununla birlikte, bu mantığa göre, minimum 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 taproot adreslerinin sınırsız üst üste binmesi yalnızca maliyet tüketimini artıracaktır, teorik olarak Turing'de her şeyi başarmak mümkündür, 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ğine varmak için 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" uygulamasını teşvik etmek zordur.
**BitVM'nin uygulanmasının önündeki engeller nelerdir? **
BitVM şu anda yalnızca fikir birliği üzerinde anlaşan iki taraf arasındaki zincir üstü işlemler 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 konusu 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ğı, hashlock, timelock gibi Bitcoin'in yürütme mantığı çerçevesini aşamaz, sınırlı depolama koşullarını aşamaz, iyimser durum Bir taproot adresi, yüzlerce mantık kapısını, daha fazlasını gruplandırabilir
Bir taptree oluşturmak için çok sayıda adres kullanıldı. 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.
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, derinlemesine teknik detay araştırması yapan teknik ustalar varsa, belirli uygulama yöntemi önyargılı olabilir.