欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

當(dāng)前位置:主頁 > 區(qū)塊鏈 > 區(qū)塊鏈技術(shù) > BitVM分析

BitVM詳解:比特幣可編程性的希望

2024-04-09 11:39:42 | 來源: | 作者:佚名
BitVM比特幣可編程性的重要性!盡管 BitVM 還處于初期階段,本質(zhì)上是一個(gè)未落地的虛擬計(jì)算機(jī)概念,但它已經(jīng)激發(fā)了來自各個(gè)項(xiàng)目的大量興趣,許多與 BitVM 團(tuán)隊(duì)無關(guān)的項(xiàng)目都在爭相做出宏大的公告,希望在他們看來是比特幣的一個(gè)有前途的新領(lǐng)域中占據(jù)一席之地

BitVM比特幣可編程性意味什么?BitVM 是一種計(jì)算范式,它利用 Taproot 升級(jí)在不改變網(wǎng)絡(luò)共識(shí)規(guī)則的情況下,促進(jìn)在比特幣上實(shí)現(xiàn)圖靈完備合約。它允許對(duì)計(jì)算進(jìn)行驗(yàn)證(而不是執(zhí)行),類似于樂觀卷積(Optimistic Rollups)。下面腳本之家小編就給大家?guī)砹嗽斀釨itVM,比特幣可編程性的希望的詳細(xì)分析,希望大家喜歡!

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

TL;DR

  • 比特幣核心的變化通常會(huì)遭到抵制,原因包括:a) 相比作為一種貨幣,人們更偏好將比特幣作為價(jià)值儲(chǔ)存。b) 重視穩(wěn)定性和可預(yù)測(cè)性,而不是快速創(chuàng)新。c) 在一個(gè)多元化的社區(qū)內(nèi)達(dá)成共識(shí)很困難。

  • 許多項(xiàng)目聲稱有方法解決比特幣的可擴(kuò)展性問題,并且無需對(duì)比特幣鏈本身進(jìn)行更改。最近我們目睹了比特幣「L2s」的超級(jí)通貨膨脹。

  • 雖然許多聲稱僅僅是誤導(dǎo)性的營銷,但我們也認(rèn)識(shí)到了一種新的計(jì)算范式,這種范式可以為比特幣帶來可編程性——BitVM。

  • BitVM 能夠支持的最佳擴(kuò)展解決方案接近于 OP-Rollup 類型的安全假設(shè)(盡管有一些額外的注意事項(xiàng))。

  • BitVM 及類似倡議的成功取決于技術(shù)的可行性、社區(qū)的支持,以及與其他「過度營銷」項(xiàng)目的區(qū)分。

比特幣被構(gòu)建為一個(gè)交易區(qū)塊鏈,其腳本語言有意限制為無狀態(tài)(Stateless),以最小化攻擊面并確保網(wǎng)絡(luò)安全。由于缺乏圖靈完備性(Turing-completeness),沒有可能直接在區(qū)塊鏈上引入智能合約,除非通過分叉并升級(jí)比特幣核心。

傳統(tǒng)的比特幣社區(qū)對(duì)變更持抵制態(tài)度,原因如下:

敘事上更注重價(jià)值儲(chǔ)存而非流通貨幣:比特幣社區(qū)有意專注于維護(hù)網(wǎng)絡(luò)作為一個(gè)點(diǎn)對(duì)點(diǎn)支付系統(tǒng),將安全性和去中心化放在快速發(fā)展之上。正如著名的比特幣持有者 Michael Saylor 說:「沒有人試圖用他們?cè)诘谖宕蟮郎弦粭澊髽堑囊恍〔糠秩ベI一杯咖啡?!惯@句話反映了社區(qū)對(duì)于比特幣作為一種價(jià)值儲(chǔ)存工具而非日常貨幣的使用偏好。

  • 系統(tǒng)的穩(wěn)定性勝于創(chuàng)新:對(duì)于被視為優(yōu)秀價(jià)值儲(chǔ)存的資產(chǎn)來說,可預(yù)測(cè)性至關(guān)重要。例如,即使網(wǎng)絡(luò)只有 10 次重大升級(jí),而每次升級(jí)的成功率為 90% ,一個(gè)失敗發(fā)生的概率大約為 65% !根據(jù)正常事故理論:「在復(fù)雜系統(tǒng)中,我們應(yīng)該預(yù)期通??梢院雎缘男∫蛩嘏紶枙?huì)偶然導(dǎo)致重大 事件」,因此比特幣社區(qū)的目標(biāo)一直是減少潛在錯(cuò)誤的途徑。

多元化的社區(qū):許多比特幣持有者從不同的角度理解比特幣,并因不同的原因珍視它。在一個(gè)多元化和去中心化的社區(qū)中達(dá)成共識(shí)本身就充滿挑戰(zhàn),這進(jìn)一步減緩了創(chuàng)新的步伐。要說明比特幣社區(qū)的多樣性,可以觀察社區(qū)對(duì)銘文和 Ordinals 的反應(yīng)。當(dāng)比特幣社區(qū)的一部分人慶祝序數(shù)的成功,將其視為比特幣的謎戀貓(CryptoKitties)時(shí)刻時(shí),另一部分人則認(rèn)為這是一個(gè)應(yīng)該被修補(bǔ)的漏洞。

1. 比特幣擴(kuò)容方案的快速膨脹

鑒于上述情況,為何突然之間出現(xiàn)了大量新的比特幣「L2」解決方案呢?

最近,我們觀察到比特幣「L2」解決方案的激增(根據(jù) https://l2.watch/,已經(jīng)有超過 50 個(gè)?。欢?,社區(qū)多年來一直在探索不同的可擴(kuò)展性方法:

  • 像 Stacks 這樣的側(cè)鏈提供了智能合約能力和廣泛的應(yīng)用范圍,盡管它們擁有獨(dú)立的共識(shí)機(jī)制,但這些機(jī)制很難獲得廣泛接受。

  • 像 RGB 這樣的客戶端驗(yàn)證項(xiàng)目利用主網(wǎng)的 UTXO 模型進(jìn)行鏈下的更復(fù)雜交易,但它們與比特幣主網(wǎng)的互動(dòng)缺乏穩(wěn)定性。

  • 像閃電網(wǎng)絡(luò)(Lightning Network)這樣的狀態(tài)通道,與核心比特幣開發(fā)者密切相關(guān),被視為一種更正統(tǒng)的擴(kuò)容方法。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

第一代 BTC 擴(kuò)容解決方案

相較于現(xiàn)有解決方案,最近的擴(kuò)容方法帶來了哪些新穎之處?在我們看來,最令人興奮的創(chuàng)新來自于在比特幣上編碼程序(通過 BitVM)和無需信任地質(zhì)押 BTC(例如 Babylon)。本文將主要關(guān)注前者。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

2. BitVM - 概覽

要解釋什么是 BitVM,我們首先應(yīng)該介紹賦能并激發(fā)了它的 Primitive——比特幣 Taproot 升級(jí)。

Taproot 是對(duì)比特幣協(xié)議的一次重大升級(jí),于 2021 年 11 月激活。通過 Taproot,腳本的哈希默認(rèn)需要在鏈上提交。當(dāng)執(zhí)行腳本的某個(gè)路徑時(shí),只需將該路徑上的腳本提交到鏈上。這樣不僅提高了效率(交易的大小不會(huì)隨腳本的大小增長),也增強(qiáng)了隱私性(只會(huì)揭露作為交易的路徑,而不是整個(gè)腳本)。

認(rèn)識(shí)到 Taproot 升級(jí)解鎖的巨大機(jī)遇,Robin Linus 率先推出了 BitVM,這是比特幣生態(tài)系統(tǒng)中的一項(xiàng)突破性創(chuàng)新。

BitVM 是一種計(jì)算范式,它利用 Taproot 升級(jí)在不改變網(wǎng)絡(luò)共識(shí)規(guī)則的情況下,促進(jìn)在比特幣上實(shí)現(xiàn)圖靈完備合約。它允許對(duì)計(jì)算進(jìn)行驗(yàn)證(而不是執(zhí)行),類似于樂觀卷積(Optimistic Rollups)。

BitVM 通過將程序提交到 Taproot 地址,同時(shí)通過啟用復(fù)雜的鏈下計(jì)算(僅在出現(xiàn)爭議時(shí)需要鏈上執(zhí)行)來最小化鏈上足跡。

這個(gè)過程涉及到在 Taproot 地址中提交程序的二進(jìn)制電路,并使用挑戰(zhàn) - 響應(yīng)機(jī)制進(jìn)行驗(yàn)證。概括地說,BitVM 實(shí)現(xiàn)了圖靈完備的比特幣合約,最重要的是:

  • BitVM 不需要分叉或任何比特幣協(xié)議的改變。

  • BitVM 不會(huì)使比特幣區(qū)塊鏈擁堵,因?yàn)橛?jì)算不是在比特幣上執(zhí)行的,而只是在出現(xiàn)爭議(Dispute)時(shí)使用比特幣網(wǎng)絡(luò)進(jìn)行驗(yàn)證。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

在比特幣上構(gòu)建二進(jìn)制電路

二進(jìn)制電路的構(gòu)建是一種用二進(jìn)制邏輯門(如 AND、OR、NOT)表示計(jì)算或程序的方法,能夠執(zhí)行任何可計(jì)算的函數(shù)。

BitVM 就像是將電流通過計(jì)算機(jī)芯片的邏輯門(這些微小的結(jié)構(gòu)根據(jù)電流的存在與否,決定信號(hào)是否通過,即開或關(guān),開或閉)的復(fù)雜模擬,轉(zhuǎn)化為比特幣的語言。

從本質(zhì)上講,任何計(jì)算機(jī)程序,從游戲到完整的 Linux 操作系統(tǒng),都是這些邏輯門復(fù)雜排列的結(jié)果,所有的數(shù)字事物基本上都是基于二進(jìn)制數(shù)字—— 0 和 1 。通過將這些二進(jìn)制數(shù)字與邏輯門(如 AND 和 NOT 門)結(jié)合,我們創(chuàng)建了各種電路,包括算術(shù)邏輯單元(ALUs)和內(nèi)存系統(tǒng)。這項(xiàng)基礎(chǔ)技術(shù)使我們能夠編寫和執(zhí)行程序以執(zhí)行廣泛的任務(wù)。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

Source: Stepping Through Logic Gates; 基本邏輯門(F 代表 0 ,T 代表 1)

BitVM 的前提是使用比特幣腳本(Bitcoin Script)來對(duì)鏈下計(jì)算做出承諾(提交一個(gè)計(jì)算的哈希到 Taproot 地址),通過將任何程序解構(gòu)成二進(jìn)制電路的組合,并啟用執(zhí)行驗(yàn)證,這一過程包括了比特幣腳本,但腳本本身不執(zhí)行整個(gè)計(jì)算邏輯。

比特幣腳本可以實(shí)現(xiàn)比特值承諾(bit-value commitments),這對(duì)于能夠展示和懲罰含糊其辭(Equivocation)的行為至關(guān)重要。它實(shí)現(xiàn)了不可變性,因?yàn)樗试S個(gè)人提交其他人無法修改的值。

這種方法涉及使用兩個(gè)哈希來代表每個(gè)輸入位:一個(gè)哈希用于數(shù)字 0 ,另一個(gè)用于數(shù)字 1 。當(dāng)有人希望執(zhí)行程序時(shí),他們揭示一個(gè)原像(pre-images)以指示輸入。值將轉(zhuǎn)換為 0 還是 1 ,是通過將原像的哈希值與代表 0 和 1 的兩個(gè)哈希值進(jìn)行比較來決定的。

如果輸入和輸出不匹配,驗(yàn)證者有權(quán)通過沒收提供者的資金來懲罰提供者。

挑戰(zhàn) - 響應(yīng)機(jī)制

驗(yàn)證通常在鏈下進(jìn)行,樂觀地假設(shè)證明者是誠實(shí)的。在發(fā)生爭議的情況下,過程轉(zhuǎn)移到鏈上,并啟動(dòng)一輪挑戰(zhàn) - 響應(yīng)。這種機(jī)制確保了在大多數(shù)情況下,計(jì)算和驗(yàn)證可以高效且低成本地進(jìn)行,而只有在出現(xiàn)分歧時(shí)才需要利用區(qū)塊鏈的不可篡改性和透明度進(jìn)行最終裁決。

挑戰(zhàn) - 響應(yīng)機(jī)制在 BitVM 中的動(dòng)態(tài)涉及一個(gè)系統(tǒng),參與者(如 Vicky 和 Paul)通過區(qū)塊鏈上程序的執(zhí)行進(jìn)行驗(yàn)證過程。當(dāng)出現(xiàn)爭議時(shí),Vicky 挑戰(zhàn) Paul 證明他的程序執(zhí)行的正確性。

Vicky 從二進(jìn)制電路中選擇一個(gè)邏輯門,Paul 通過揭示輸入和輸出來打開這個(gè)門。直到確認(rèn)了含糊其辭的情況或 Vicky 耗盡了進(jìn)一步挑戰(zhàn)的可能性,這個(gè)過程就會(huì)重復(fù)進(jìn)行。含糊其辭意味著 Paul 聲稱某個(gè)輸入 X 在一個(gè)邏輯門被打開時(shí)是 0 ,但在另一個(gè)邏輯門被打開時(shí)是 1 。

Paul 需要通過使用預(yù)簽名的交易向響應(yīng)地址存入資金來確保他聲稱的證據(jù)。這些交易創(chuàng)建了一個(gè)鏈,允許基于正在進(jìn)行的互動(dòng),資金在挑戰(zhàn)和響應(yīng)地址之間擺動(dòng)。

響應(yīng)地址中的資金可以根據(jù)挑戰(zhàn)的結(jié)果沿著多條路徑流動(dòng):

  • 如果 Vicky 停止挑戰(zhàn),表明接受了 Paul 的證明,Paul 最終在一定時(shí)間后重新獲得資金。

  • 如果 Vicky 證明 Paul 在執(zhí)行中不一致(發(fā)生了含糊其辭),她可以索取這些資金。

  • 如果 Vicky 懷疑執(zhí)行的另一部分有誤,她可以發(fā)起另一個(gè)挑戰(zhàn),將資金移至下一個(gè)響應(yīng)地址。為此,她必須揭示特定 tapleaf 的一個(gè)原像,Paul 隨后需要使用它來解鎖資金,并在有限的時(shí)間內(nèi)證明他的正確性。

這一系統(tǒng)為在區(qū)塊鏈上解決爭議和驗(yàn)證程序執(zhí)行提供了一個(gè)堅(jiān)固和透明的構(gòu)架。通過結(jié)合財(cái)務(wù)激勵(lì),它促進(jìn)了執(zhí)行和程序結(jié)果記錄的完整性和精確性。最初,該設(shè)計(jì)支持兩方的挑戰(zhàn) - 響應(yīng)機(jī)制。然而,正如我們稍后將展示的,BitVM 的貢獻(xiàn)者已經(jīng)找到了解決方案,允許眾多參與者作為挑戰(zhàn)者參與。

二分法(Bisection):提高爭議解決的效率

為了提高鏈上驗(yàn)證的效率,驗(yàn)證者可以利用二分法(Bisection),這是一種在預(yù)先提交的邏輯門上進(jìn)行高效搜索的方法,以找到應(yīng)該被挑戰(zhàn)的邏輯門,這種方法相比隨機(jī)挑戰(zhàn)過程有顯著的改進(jìn)。通過將問題空間一分為二,分割法允許驗(yàn)證者快速縮小潛在錯(cuò)誤的范圍,從而減少了解決爭議所需的步驟和時(shí)間。這種方法在處理復(fù)雜的驗(yàn)證過程時(shí),尤其是在需要精確確定錯(cuò)誤位置的情況下,提供了一個(gè)更為高效和直接的路徑。

以下,我們通過一個(gè)簡化的例子來說明分割法是如何工作的:

Paul 和 Vicky 正在做數(shù)學(xué)題,題目是計(jì)算 (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8))。

正確完成這個(gè)計(jì)算的過程是 (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8)) = ( 3+ 7)+( 11+ 15) = 10+ 26 = 36 。

而 Paul 給出的答案是 35 ,因?yàn)樗?jì)算的方式是 (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8)) = ( 2+ 7)+( 11+ 15) = 9+ 26 = 35 。

當(dāng) Vicky 挑戰(zhàn) Paul 時(shí),她只需要挑戰(zhàn)涉及計(jì)算的第一部分的計(jì)算(即打開邏輯門),因?yàn)樗麄兺獾诙糠值挠?jì)算是準(zhǔn)確的 (( 5+ 6)+( 7+ 8)) = 26 。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

3. 使用 BitVM 構(gòu)建一個(gè)最小信任橋 (Trust-Minimized Bridge)

BitVM 的第一個(gè)實(shí)際實(shí)現(xiàn)很可能是代表最小信任比特幣橋的程序。通過分析橋的實(shí)現(xiàn)細(xì)節(jié),我們可以更好地理解實(shí)現(xiàn) BitVM 程序的額外復(fù)雜性。以下,我們總結(jié)了 BoB 共同創(chuàng)始人 Alexei Zamyatin 的提案。

首先,需要?jiǎng)?chuàng)建一種讓比特幣全節(jié)點(diǎn)只用比特幣腳本就能操作一個(gè)側(cè)鏈橋程序的方法,包括一個(gè)側(cè)鏈輕客戶端。

然后,還需要建立一個(gè)聯(lián)盟 / 多簽名(federation/multi-sig)網(wǎng)絡(luò),以便于 BTC 的轉(zhuǎn)移并運(yùn)行挑戰(zhàn) - 響應(yīng)游戲。聯(lián)盟必須承諾運(yùn)行橋程序作為 BitVM 設(shè)置的一部分。

聯(lián)盟初始設(shè)置的復(fù)雜性隨著成員數(shù)量的增加而呈二次方增長,因?yàn)槁?lián)盟的每個(gè)成員都必須與其他每個(gè)成員互動(dòng),因此聯(lián)盟的規(guī)模有一定的上限,研究人員推測(cè) N= 100 是可行的。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

與 OP Rollup 不同,后者對(duì) N 的大小沒有限制,這種方案提供的安全保證較弱。然而,這個(gè)提議的工作解決方案很可能會(huì)包括聯(lián)盟成員的輪換,這樣在一個(gè)較長的時(shí)間范圍內(nèi),N 會(huì)遠(yuǎn)大于 100 。任何時(shí)候,只要這 100 名成員中有一個(gè)是誠實(shí)的,存款就會(huì)保持安全。假設(shè)有惡意行為者,他們可以在鏈上隨時(shí)被挑戰(zhàn),如果被證明作弊,他們可以被聯(lián)盟禁止。

聯(lián)盟在任何時(shí)候都有一個(gè)負(fù)責(zé)管理存款和提款以及驗(yàn)證側(cè)鏈狀態(tài)的操作員(Operators)。操作員和監(jiān)視塔(Watchtowers)都需要提交抵押品,以激勵(lì)正確行為并阻止虛假挑戰(zhàn)。

這種方案不符合卷積最嚴(yán)格定義的另一個(gè)原因是,用戶不能單方面退出側(cè)鏈,而必須向基于 1/N 安全假設(shè)運(yùn)作的聯(lián)盟請(qǐng)求提款。

4. BitVM v2:BitVM 能支持無需許可的驗(yàn)證(Permisionless Verification)嗎?

3 月 25 日,Robin Linus 介紹了 BitVM v2。BitVM v2 提案的關(guān)鍵變化是,證明者需要一次性提交輸出狀態(tài)和所有中間結(jié)果,而不是像 v1 那樣,在挑戰(zhàn) - 驗(yàn)證過程中逐個(gè)打開邏輯門。有了這個(gè)改變,BitVM 確保對(duì)這些承諾的任何挑戰(zhàn)都必須由加密證據(jù)支持。這種機(jī)制過濾掉了無根據(jù)的垃圾挑戰(zhàn),因?yàn)樘魬?zhàn)者必須提供特定的加密證明來爭議證明者。

通過允許無限制地參與驗(yàn)證和挑戰(zhàn)過程,BitVM 2 將其安全保證擴(kuò)展到了多重簽名聯(lián)盟的限制之外,并使 BitVM 更加接近樂觀卷積的安全假設(shè)。

然而,橋的搭建仍然需要聯(lián)盟多重簽名來促進(jìn),這意味著聯(lián)盟成員可能會(huì)引起活性問題,在最壞的情況下,他們?cè)噲D向用戶勒索贖金以解凍他們的資金。這是一個(gè)額外對(duì)于樂觀卷積來說不存在的安全假設(shè),因?yàn)樵跇酚^卷積中,用戶可以在不獲得任何中介批準(zhǔn)的情況下退出到 L1。

IOSG Ventures:詳解BitVM,比特幣可編程性的曙光

在基礎(chǔ)鏈上的額外安全假設(shè)

5. BitVM 的限制

正如我們上面討論的,BitVM 能提供的最佳方案是接近樂觀卷積的安全假設(shè)。除了管理負(fù)責(zé)保險(xiǎn)存款的聯(lián)盟及其活性問題的復(fù)雜性外,BitVM 特有的一些額外復(fù)雜性包括:

雖然 BitVM 理論上能夠執(zhí)行復(fù)雜的鏈下程序,但實(shí)際上,隨著這些鏈下程序復(fù)雜性的增加,執(zhí)行欺詐證明在比特幣上的相關(guān)費(fèi)用迅速增加。過大的程序可能需要多個(gè)區(qū)塊來執(zhí)行,進(jìn)一步復(fù)雜化了這個(gè)過程。

擁有算力多數(shù)的礦池可以從 BitVM 中竊?。愃朴陂W電網(wǎng)絡(luò)的問題),因?yàn)樗麄兛梢院现\審查挑戰(zhàn)者的證明,或者惡意行為者可以賄賂他們忽略挑戰(zhàn)者。

由于 BitVM 證明的互動(dòng)性質(zhì),惡意證明者可能會(huì)操縱系統(tǒng)并從驗(yàn)證者那里進(jìn)行竊取。攻擊可以按如下的假設(shè)構(gòu)建:

  • 證明者通過啟動(dòng)交易開始驗(yàn)證序列

  • 懷疑證明者行為有效性的驗(yàn)證者啟動(dòng)一個(gè)挑戰(zhàn),挑戰(zhàn)中包含支付給證明者的回應(yīng)費(fèi)用

  • 證明者選擇收集費(fèi)用,同時(shí)忽略挑戰(zhàn),不履行他們?cè)隍?yàn)證過程中的部分責(zé)任

最后,BitVM 目前還是一個(gè)概念框架和一個(gè)幾乎無法執(zhí)行任何操作的虛擬計(jì)算機(jī)概念。BitVM 的「卷積」距離應(yīng)用層面還遠(yuǎn),樂觀估計(jì)是我們最早可能在 2025 年看到一些 BitVM 程序投入使用。執(zhí)行 BitVM 的技術(shù)風(fēng)險(xiǎn)也不容低估。

6. 結(jié)論

考慮到以太坊擴(kuò)展解決方案的估值,目前大約占以太坊市值的 15-20% ——比特幣第二層解決方案的潛在市值可能是巨大的。

盡管 BitVM 還處于初期階段——本質(zhì)上是一個(gè)未落地的虛擬計(jì)算機(jī)概念——但它已經(jīng)激發(fā)了來自各個(gè)項(xiàng)目的大量興趣和聲明,這些項(xiàng)目急于利用其潛力。許多與 BitVM 團(tuán)隊(duì)無關(guān)的項(xiàng)目都在爭相做出宏大的公告,希望在他們看來是比特幣的一個(gè)有前途的新領(lǐng)域中占據(jù)一席之地。然而,更仔細(xì)的審查揭示了一個(gè)更加清醒的現(xiàn)實(shí):BitVM 的 GitHub 賬戶只有少數(shù)貢獻(xiàn)者,而 BitVM Builders Telegram 群中真正參與的只有少數(shù)幾個(gè)比特幣「L2」項(xiàng)目。

比特幣任何可擴(kuò)展性解決方案必須遵守的一個(gè)關(guān)鍵原則是,比特幣的核心架構(gòu)應(yīng)保持不變(根據(jù)可預(yù)測(cè)性原則)。BitVM 秉承這一原則,成為首個(gè)在不改變其核心的情況下,在比特幣之上提供可編程層的先驅(qū)解決方案。

本文撰寫于 BitVM 發(fā)展的非常早期階段,考慮到其快速的發(fā)展,這里的信息很快可能會(huì)過時(shí)。例如,直到最近,在比特幣上實(shí)現(xiàn) ZK 卷積的想法看起來就像空中樓閣一樣不切實(shí)際,因?yàn)樗璧幕A(chǔ)能力——比如比特幣驗(yàn)證 ZK 證明的能力——并不存在。然而,最近 BitVM 研究人員分享了比特幣腳本的進(jìn)展,這些進(jìn)展可能導(dǎo)致在比特幣上實(shí)現(xiàn) STARK 驗(yàn)證器。

比特幣擴(kuò)容解決方案的實(shí)現(xiàn)超越了純粹的技術(shù)挑戰(zhàn);它包含了社區(qū)支持、用戶體驗(yàn)和時(shí)機(jī)等因素。雖然當(dāng)前時(shí)刻為這些創(chuàng)新提供了一個(gè)獨(dú)特的機(jī)會(huì)窗口,但是項(xiàng)目數(shù)量的急速通脹以及誤導(dǎo)性聲明和營銷帶來的顯著風(fēng)險(xiǎn),可能會(huì)破壞更合法項(xiàng)目的前景。

隨著生態(tài)系統(tǒng)站在這個(gè)十字路口,關(guān)于比特幣擴(kuò)容解決方案是否能復(fù)制以太坊的成功的問題不僅是技術(shù)性的,而且深深植根于區(qū)塊鏈社區(qū)更廣泛的動(dòng)態(tài)之中。畢竟,核心以太坊社區(qū)已經(jīng)選擇了 L2 作為以太坊擴(kuò)容路線圖的關(guān)鍵部分,而比特幣社區(qū)還不能這么說。

以上就是腳本之家小編給大家分享的BitVM比特幣可編程性的詳細(xì)介紹了,希望大家喜歡!

免責(zé)聲明:本文只為提供市場(chǎng)訊息,所有內(nèi)容及觀點(diǎn)僅供參考,不構(gòu)成投資建議,不代表本站觀點(diǎn)和立場(chǎng)。投資者應(yīng)自行決策與交易,對(duì)投資者交易形成的直接或間接損失,作者及本站將不承擔(dān)任何責(zé)任。!
Tag:BitVM  

你可能感興趣的文章

更多

熱門幣種

  • 幣名
    最新價(jià)格
    24H漲幅
  • bitcoin BTC 比特幣

    BTC

    比特幣

    $ 92643.94¥ 659022.66
    +0.33%
  • ethereum ETH 以太坊

    ETH

    以太坊

    $ 3039.54¥ 21621.76
    -2.09%
  • tether USDT 泰達(dá)幣

    USDT

    泰達(dá)幣

    $ 0.999¥ 7.1063
    -0.02%
  • ripple XRP 瑞波幣

    XRP

    瑞波幣

    $ 2.1289¥ 15.1439
    -3.54%
  • binance-coin BNB 幣安幣

    BNB

    幣安幣

    $ 908.54¥ 6462.89
    -2.84%
  • solana SOL Solana

    SOL

    Solana

    $ 139.31¥ 990.98
    -0.92%
  • usdc USDC USD Coin

    USDC

    USD Coin

    $ 1.0006¥ 7.1177
    +0.02%
  • tron TRX 波場(chǎng)

    TRX

    波場(chǎng)

    $ 0.2875¥ 2.0451
    -0.59%
  • dogecoin DOGE 狗狗幣

    DOGE

    狗狗幣

    $ 0.1562¥ 1.1111
    -3.04%
  • cardano ADA 艾達(dá)幣

    ADA

    艾達(dá)幣

    $ 0.4668¥ 3.3205
    -1.37%

幣圈快訊

  • 谷歌昨夜股價(jià)突破至303.68美元,再創(chuàng)歷史新高

    2025-11-20 09:37
    行情顯示,或受Gemini 3發(fā)布利好影響,谷歌日內(nèi)最高上漲6.9%,股價(jià)突破至303.68美元,再創(chuàng)歷史新高。不過,隨著大盤持續(xù)回落,谷歌股價(jià)在收盤時(shí)漲幅收窄至3%,報(bào)292.81美元,市值3.53萬億美元。
  • 開曼法院支持Core基金會(huì)請(qǐng)求,對(duì)MapleFinance簽發(fā)禁令以制止涉嫌違約行為

    2025-11-20 09:36
    Core基金會(huì)宣布,開曼群島大法院認(rèn)定MapleFinance在雙方合作開發(fā)lstBTC的過程中,涉嫌違反保密義務(wù)與獨(dú)家合作條款“存在需審理的嚴(yán)重問題”Core基金會(huì)表示,自2025年初合作以來,他們?cè)诩夹g(shù)開發(fā)、市場(chǎng)推廣與產(chǎn)品補(bǔ)貼方面投入了大量資源,而MapleFinance此后卻被指利用相關(guān)機(jī)密信息開發(fā)競爭產(chǎn)品,違反雙方的24個(gè)月獨(dú)家合作約定。對(duì)于MapleFinance宣布需對(duì)BitcoinYield產(chǎn)品中的資產(chǎn)進(jìn)行減值,Core基金會(huì)指出,目前仍不清楚MapleFinance無法返還放貸人比特幣的原因,并強(qiáng)調(diào)其行為反映出MapleFinance的商業(yè)操作存在重大疑點(diǎn)。
  • 萬事達(dá)卡攜手Polygon簡化鏈上轉(zhuǎn)賬體驗(yàn),擴(kuò)展加密憑證系統(tǒng)

    2025-11-20 09:32
    據(jù)CCN報(bào)道,萬事達(dá)卡將其加密憑證系統(tǒng)擴(kuò)展至自托管錢包,聯(lián)合PolygonLabs和Mercuryo解決加密貨幣長期痛點(diǎn):冗長易錯(cuò)的錢包地址。 Mercuryo負(fù)責(zé)KYC驗(yàn)證并發(fā)放別名;Polygon提供區(qū)塊鏈基礎(chǔ)設(shè)施,支持快速結(jié)算和低費(fèi)用;萬事達(dá)卡則建立憑證標(biāo)準(zhǔn),確保轉(zhuǎn)賬合規(guī)。 用戶完成驗(yàn)證后,可將MetaMask等自托管錢包綁定至可讀別名,像用戶名一般簡單。萬事達(dá)卡數(shù)字資產(chǎn)執(zhí)行副總裁表示,此舉旨在簡化錢包地址、建立信任,降低新手入場(chǎng)門檻。下階段將增加更多驗(yàn)證供應(yīng)商并擴(kuò)展至其他區(qū)塊鏈網(wǎng)絡(luò),標(biāo)志著傳統(tǒng)金融機(jī)構(gòu)隱形化區(qū)塊鏈技術(shù)的重要嘗試。
  • 過去24小時(shí)全網(wǎng)爆倉6.56億美元,多單爆倉4.81億美元,空單爆倉1.75億美元

    2025-11-20 09:30
    據(jù)Coinglass數(shù)據(jù),過去24小時(shí)全網(wǎng)爆倉6.56億美元,多單爆倉4.81億美元,空單爆倉1.75億美元。其中比特幣多單爆倉1.27億美元,比特幣空單爆倉4,111.41萬美元,以太坊多單爆倉1.94億美元,以太坊空單爆倉2,852.14萬美元。 此外,最近24小時(shí),全球共有175,684人被爆倉,最大單筆爆倉單發(fā)生在Hyperliquid-ETH-USD價(jià)值2422.66萬美元。
  • CZ的公開對(duì)手盤地址做多ETH、XRP、DOGE已浮虧1858萬美元

    2025-11-20 09:26
    據(jù)鏈上分析師 Ai姨 (@ai 9684xtpa) 監(jiān)測(cè),CZ 的公開對(duì)手盤地址做多ETH、XRP、DOGE已浮虧 1858 萬美元。1011 閃崩以來他依靠 7 次做空操作賺取了超 3988 萬美元。
  • 查看更多