Autor: Haotian
Bílá kniha s názvem „BitVM: Compute Anything On Bitcoin“ rozpoutala vášnivé diskuse mezi vývojáři. Zdá se, že to znamená, že bitcoinová síť implementovala Turingovu kompletní smlouvu a může provádět jakoukoli vypočítatelnou funkci?
Znamená to, že bitcoinová síť může reprodukovat všechny narativy ekosystémů, jako je Ethereum? A není třeba měnit stávající bitcoinový konsensus, nebo dokonce nějaké upgrady.Pouhé spoléhání se na aktuální základní op_code bitcoinu může dát bitcoinové síti „komplexní“ programovatelnost, takže bitcoinová síť dokáže vše spočítat s Turingovou úplností?
Počkejte, nezačínejte teď snít, pojďme nejprve probrat myšlenkovou cestu BitVM. Jak prostor skriptů provádí složité programování? Co znamená souhrnné myšlení optimismu? Jaký je princip Fraud Proof? Jaké jsou překážky implementace BitVM? Dále vás provedu podrobnou analýzou jeho obecného logického rámce, abyste mohli snadno porozumět. (Ale nemluvte o konkrétnějších podrobnostech technické implementace.
Jak implementovat složité programovatelné funkce?
Vzhledem k tomu, že programovací možnosti bitcoinu jsou velmi omezené a podporují pouze jednoduchou logiku a omezené operační kódy ve skriptech, nelze v síti bitcoinů vyvíjet složité chytré smlouvy. Stěžejním bodem návrhu BitVM je, že implementuje různé programové instrukce podobné binárním obvodům prostřednictvím matice hlavních adres nebo taptree a tato kombinace je ekvivalentní úplnému provedení smlouvy.
Konkrétně můžeme považovat podmíněnou instrukci UTXO v každém skriptu za nejmenší jednotku programu Spuštění skriptu má dva výsledky: true a false Pokud zadáte určitý kód do kořenové adresy, můžete získat deterministický výsledek 0 nebo 1, pokud je do matice vytvořeno velké množství hlavních adres, může být vytvořen uspořádaný taptree a výsledek provedení bude mít velký počet binárních textových efektů, jako je 011001, které lze považovat za spustitelný binární program. Složitost programu závisí na počtu kombinovaných hlavních adres Čím více adres je, tím bohatší jsou přednastavené instrukce každého skriptu v rámci bitcoinového rámce a tím složitější je program, který může celý taptree spustit. Dávat smysl?
Tento nápad je opravdu dostatečně velký. Podle této logiky je však instrukce nejmenší jednotky skutečně dokončena úplným uzlem bitcoinu a hlavní adresa je nekonečně superponována Možnost nekonečných kombinací může překrývat mnoho složitých výpočtů. Do jisté míry není přehnané říci, že jde o Turingův kompletní stroj. Nekonečná superpozice hlavních adres však pouze zvýší spotřebu nákladů Teoreticky lze vše realizovat s Turingovou úplností, ale je to nereálné.
Turingova úplnost zmíněná v white paperu je tedy pouze krajní ideální stav, který tak trochu „krade koncept“ Ani takzvaný superpočítač Etherea nedokáže plně realizovat Turingovu úplnost, natož bitcoinovou síť, která se spoléhá pouze na skripty. ?
Stručný rozbor některých složitých pojmů
Na základě výše uvedeného pochopení základního rámce se podívejme na Optimism Rollup, Fraud Proof a Bit závazek zmíněný v bílé knize Co je Logic Gate? Vzhledem k tomu, že jediný hlavní kořenový prostor a logika spustitelného kódu jsou omezené, spouštění složitých programů mimo řetězec a pouze vkládání klíčových ověřovacích článků do řetězce je druh nápadu Rollup, ne?
Fraud Proof lze chápat tímto způsobem, jak Prover, tak ověřovatel nejprve zkompilují obrovský binární okruh, když bitcoinová síť spustí okruh, existuje předpoklad, že Prover musí předem podepsat a zaručit určité množství bitcoinových aktiv Prover má Pokud jste podezřelí z páchání zla, můžete do řetězce poslat transakci, která spustí podmínku odblokování UTXO "programu" taptree na řetězu V případě úspěchu může ověřovatel zabavit hypoteční aktiva dokazovatele, což je ekvivalent proces proti podvodům.
V této logice pro nás není těžké pochopit, proč je BitVM použitelný pouze pro dvě strany s dohodnutým konsensem, to znamená, že celkové schéma zapojení musí být sdíleno před provedením, program certifikace podvodníků musí být proveden v době platnosti, a určitá aktiva musí být zastavena a předem podepsána. Pokud obě strany nespolupracují při vytváření souboru dohodnutého konsensu mimo řetězec, bude obtížné prosazovat skutečné provedení „smluv“ pouze spoléháním se na omezené prostředí pro provádění on-chain sítě bitcoinů.
Jaké překážky budou existovat při implementaci BitVM?
1) BitVM je v současnosti vhodný pouze pro on-chain operace mezi dvěma Stranami, které se dohodly na konsensu. On-chain prostředí je pouze otevřený a transparentní proces plnění smlouvy. V současné době může být implementován pouze mezi dvěma dohodnutými stranami Pokud je implementován N-N, je vyžadován složitější návrh technické logiky.
2) Jak BitVM aplikuje skript jediné hlavní adresy k implementaci minimální programovací jednotky, která nemůže překročit rámec logiky provádění bitcoinu, jako je hashlock a timelock, a nemůže překročit omezené podmínky úložiště Za optimistických okolností jednu hlavní adresu dokáže naprogramovat stovky logických hradel, více bude vyžadovat kombinaci velkého počtu adres pro konstrukci taptree. Problém je v tom, že provedení přednastavených podmínek odblokování hlavní adresy vyžaduje zaplacení poplatků za těžbu. Čím více kombinací adres, tím vyšší jsou náklady. V budoucnu může technologie obousměrných kanálů Lightning Network snížit náklady, ale obecně se na bitcoinovou síť musí spoléhat při provádění obvodů logických hradel, což je nejen pomalé, ale také drahé, když si myslíte. o tom.
3) BitVM ideálně podporuje velmi omezené scénáře a je vhodnější pro náročné mimořetězové výpočty. Pouze některé konsensuální převody a převody aktiv se musí spoléhat na on-chain scénáře, jako je propojení s aktivy ve hrách;
Obecně je BitVM otevřený a velmi kreativní nápad, ale podle jeho technického rámce pro implementaci je známo, že bude s největší pravděpodobností omezen na fázi konceptu white paper v krátkodobém horizontu a implementace stále čelí velkým výzvám. Pro ilustraci použijeme velmi oblíbený příklad: BitVM je jako postavit obří počítač, který je větší než místnost v době, kdy každý může používat mobilní terminál.
Poznámka: Výše uvedená interpretace je použitelná pouze pro pochopení obecného technického rámce BitVM, takže každý může pochopit technickou logiku, která se za tím skrývá. Konkrétní praktické metody mohou být zaujaté, pokud existují techničtí odborníci, kteří mají hloubkový výzkum podrobnosti, můžete opravit a doplnit v komentářích.
