比特幣的量子困境：擴(kuò)容區(qū)塊 還是采用STARK證明？
StarkWare 聯(lián)合創(chuàng)始人 Eli Ben-Sasson 表示，ZK-STARK 是解決比特幣實(shí)現(xiàn)抗量子安全所衍生各類(lèi)問(wèn)題的最優(yōu)方案，同時(shí)還能推動(dòng)比特幣走向大規(guī)模普及。
除此之外，他稱(chēng) Blockstream 創(chuàng)始人 Adam Back 也認(rèn)同這一觀點(diǎn)。
本周，Eli Ben-Sasson 因在 X 平臺(tái)發(fā)布一條頗具爭(zhēng)議的提議登上新聞，他建議將比特幣年化通脹率提升至 4%。Grok 針對(duì)評(píng)論區(qū)的分析顯示，沒(méi)有任何人明確支持該提議。
但作為 STARK（具備量子安全、基于哈希的零知識(shí)證明體系）的共同發(fā)明者，他在這條技術(shù)路線(xiàn)上的立論扎實(shí)得多，部分比特幣頂尖研究人員也對(duì)該思路表示認(rèn)可。
Eli Ben-Sasson 主導(dǎo)的項(xiàng)目 StarkNet 上周公布三期路線(xiàn)圖，目標(biāo)實(shí)現(xiàn)自身網(wǎng)絡(luò)的抗量子化。
比特幣面臨后量子簽名體積龐大的難題
單純給比特幣引入零知識(shí)證明，并不能直接讓區(qū)塊鏈具備抗量子安全性。引入 ZK 證明，是為了解決比特幣部署體積大得多的后量子（PQ）簽名方案后隨之產(chǎn)生的各類(lèi)痛點(diǎn)。
美國(guó)國(guó)家標(biāo)準(zhǔn)與技術(shù)研究院（NIST）目前選定的一批后量子簽名，數(shù)據(jù)體量是比特幣現(xiàn)有 ECDSA、Schnorr 簽名方案的 10 至 100 倍。
有觀點(diǎn)認(rèn)為，如果直接部署這類(lèi)簽名，比特幣網(wǎng)絡(luò)吞吐量可能降至每秒不足 1 筆交易。但一個(gè)區(qū)塊內(nèi)所有體積龐大的交易簽名，可以被壓縮為一份極小的 ZK-STARK 證明。由于這份證明甚至比現(xiàn)有簽名總體積還要小，區(qū)塊鏈最終的運(yùn)行速度反而有望提升。
Eli Ben-Sasson 指出：“如果不采用 ZK-STARK 簽名聚合方案，那毫無(wú)疑問(wèn)會(huì)是一步糟糕的棋，因?yàn)樗鼰o(wú)法真正解決核心問(wèn)題 —— 普通人究竟能不能順暢使用比特幣。”
“想要達(dá)成目標(biāo)，網(wǎng)絡(luò)必須具備極高擴(kuò)容能力。要實(shí)現(xiàn)這點(diǎn)，簽名聚合這類(lèi)技術(shù)必不可少，單純擴(kuò)大區(qū)塊容量遠(yuǎn)遠(yuǎn)不夠。”
量子時(shí)代的另一條路徑：擴(kuò)容比特幣區(qū)塊大小
PostQuantum.com 撰稿人、Applied Quantum 創(chuàng)始人 Marin Ivezic 向 Cointelegraph 表示，比特幣隔離見(jiàn)證（SegWit）方案最多可將大容量簽名帶來(lái)的占用降幅達(dá)到 75%。但他針對(duì)美國(guó)國(guó)家標(biāo)準(zhǔn)與技術(shù)研究院（NIST）ML-DSA-44 算法開(kāi)展建模測(cè)算：該方案單筆簽名大小高達(dá) 2420 字節(jié)，區(qū)塊承載交易量將從當(dāng)前 2500–3000 筆降至約 500–700 筆，區(qū)塊大小之爭(zhēng)由此浮出水面。
擴(kuò)容比特幣區(qū)塊容量確實(shí)是可行備選方案，但早在 2017 年社區(qū)就曾圍繞區(qū)塊容量翻倍提案產(chǎn)生嚴(yán)重分歧。當(dāng)年諸多反對(duì)理由時(shí)至今日依然成立：區(qū)塊擴(kuò)容屬于粗放式解決方案，會(huì)要求所有節(jié)點(diǎn)傳輸、存儲(chǔ)、驗(yàn)證數(shù)量龐大得多的數(shù)據(jù)。運(yùn)行節(jié)點(diǎn)成本與硬件門(mén)檻隨之抬升，批評(píng)者認(rèn)為這將推動(dòng)網(wǎng)絡(luò)走向中心化。
Blockstream 研究院近數(shù)月一直在研究如何壓縮適用于比特幣、基于哈希的后量子簽名方案，并推出前景可觀的 SHRINCS 與 SHRIMPS 簽名算法。常規(guī)場(chǎng)景下，二者簽名體積約為比特幣現(xiàn)有簽名的 5 倍；但倘若用戶(hù)丟失錢(qián)包、需要恢復(fù)賬戶(hù)時(shí)，簽名體積最高會(huì)膨脹至原有簽名的 40 倍。
盡管 SHRINCS 已經(jīng)在 Liquid 側(cè)鏈上用于真實(shí)交易簽名，但該技術(shù)仍處于早期研發(fā)階段，在實(shí)現(xiàn)復(fù)雜度與使用體驗(yàn)上存在短板。除非同步擴(kuò)大區(qū)塊容量，否則體量激增的簽名依舊會(huì)拖慢整條區(qū)塊鏈。
談及區(qū)塊擴(kuò)容， Marin Ivezic 評(píng)價(jià)道：“原生提升網(wǎng)絡(luò)吞吐量，從工程角度看最簡(jiǎn)單，卻是治理層面最難落地的方案。我們已經(jīng)沒(méi)有充足時(shí)間反復(fù)開(kāi)展這類(lèi)爭(zhēng)論。”
ZK證明聚合具備多重優(yōu)勢(shì)
相較區(qū)塊擴(kuò)容方案，ZK 證明聚合同樣能夠提升網(wǎng)絡(luò)承載能力，并且在維護(hù)去中心化特性的同時(shí)提升比特幣運(yùn)行效率，可以說(shuō)是更優(yōu)選擇。
最簡(jiǎn)單來(lái)講，零知識(shí)（ZK）證明是一種數(shù)學(xué)驗(yàn)證手段：無(wú)需展示全部細(xì)節(jié)，就能證明某一事實(shí)成立。舉個(gè)例子，借助 ZK 證明，你可以證實(shí)自己知曉保險(xiǎn)箱密碼，卻不用向?qū)Ψ酵嘎睹艽a本身。
理論上，單個(gè)區(qū)塊只需生成一份 ZK 證明即可（出于冗余備份考慮，額外多生成幾份會(huì)更加安全）；并且運(yùn)行相關(guān)硬件所需成本，遠(yuǎn)低于商用挖礦設(shè)備。
精簡(jiǎn)以太坊（Lean Ethereum）規(guī)劃的證明生成設(shè)備成本低于 10 萬(wàn)美元，普通家庭環(huán)境便可部署。而驗(yàn)證一份 ZK 證明幾乎不受硬件限制，樹(shù)莓派這類(lèi)小型設(shè)備就能完成。
Eli Ben-Sasson 表示， Greg Maxwell、Mike Hearn 等比特幣早期開(kāi)發(fā)者十分看好 ZK-STARK。該技術(shù)具備抗量子安全特性，且無(wú)需可信初始化設(shè)置。他認(rèn)為，比特幣核心開(kāi)發(fā)者 Luke Dashjr 與 Blockstream 創(chuàng)始人 Adam Back 也逐步接納這條技術(shù)路線(xiàn)。
“我親耳聽(tīng)過(guò)他們的觀點(diǎn)。他們看好各類(lèi)依托 ZK-STARK 構(gòu)建的方案。我相信二人無(wú)論私下還是公開(kāi)場(chǎng)合，都給出過(guò)正面評(píng)價(jià)。Adam Back 與Luke Dashjr 在不少議題上看法相左，但在這件事上，他們應(yīng)當(dāng)達(dá)成共識(shí)：這是一項(xiàng)優(yōu)質(zhì)技術(shù)，只要條件合適，完全有機(jī)會(huì)落地比特幣。”
Cointelegraph 曾聯(lián)系 Adam Back 尋求置評(píng)，但尚未收到回復(fù)。
以太坊研究員 Justin Drake 公開(kāi)發(fā)聲，希望比特幣能夠采用精簡(jiǎn)以太坊的 ZK 證明聚合技術(shù)，推動(dòng)該方案成為全行業(yè)通用標(biāo)準(zhǔn)。不過(guò)受社區(qū)治理分歧影響，這一愿景或許難以落地。
以太坊的目標(biāo)是在 2029 年實(shí)現(xiàn)后量子計(jì)算。來(lái)源：以太坊基金會(huì)
針對(duì)比特幣的零知識(shí)證明相關(guān)提案
考慮到比特幣社區(qū)一貫保守的發(fā)展基調(diào)，在比特幣網(wǎng)絡(luò)中引入零知識(shí)技術(shù)，治理層面最具備可行性的路徑大概率是重新啟用 OP_CAT—— 這是中本聰當(dāng)年編寫(xiě)、僅九行代碼的操作碼。
Eli Ben-Sasson 表示：“中本聰最初加入了 OP_CAT，之后又將其移除。一旦恢復(fù)該操作碼，開(kāi)發(fā)者就能夠?qū)崿F(xiàn) STARK 證明、簽名聚合以及后量子安全相關(guān)功能。”
“我認(rèn)為這是最優(yōu)且最穩(wěn)妥的方案，能夠重新推動(dòng)中本聰開(kāi)啟并期望延續(xù)的技術(shù)發(fā)展路線(xiàn)。”
盡管 12 至 24 個(gè)月前市場(chǎng)曾掀起一輪 OP_CAT 討論熱潮，但近期相關(guān)推進(jìn)勢(shì)頭明顯減弱（不過(guò)比特幣社區(qū)治理走向向來(lái)難以預(yù)判）。
業(yè)內(nèi)還存在一些前瞻性更強(qiáng)的提案，例如 OP_STARK_VERIFY，該方案計(jì)劃新增專(zhuān)用操作碼，讓比特幣可以更高效地驗(yàn)證 STARK 證明。另外，BIP-360 共同作者 Ethan Heilman 提出了 BitZip 方案，旨在將比特幣的多組簽名與公鑰聚合至單份 STARK 證明內(nèi)。
Heilman 今年早些時(shí)候向 Cointelegraph 表示，想要實(shí)現(xiàn)目標(biāo)效果主要有兩條技術(shù)路徑：“第一種方案，在比特幣中新增一系列通用操作碼，依托其上構(gòu)建類(lèi) ZK Rollup 架構(gòu)；或是直接在比特幣共識(shí)層原生支持 STARK。除此之外，CISA（跨輸入簽名聚合）等性能相對(duì)有限的聚合方案也能夠起到一定作用。”
這條路實(shí)現(xiàn)的概率究竟有多大？
Marin Ivezic 認(rèn)為，阻礙不在于技術(shù)能力，比特幣社區(qū)治理才是癥結(jié)所在。
他表示：“Eli Ben-Sasson 提出的密碼學(xué)方案本身無(wú)懈可擊：完全基于哈希假設(shè)、無(wú)需可信初始化設(shè)置，可以把數(shù)千份簽名壓縮為一份短小證明。難題都出在這套密碼學(xué)方案之外的配套環(huán)節(jié)。”
“當(dāng)前比特幣腳本尚不具備驗(yàn)證 STARK 證明的能力。相較于單一精簡(jiǎn)的哈希簽名操作碼，一套可投入生產(chǎn)環(huán)境的 STARK 驗(yàn)證程序會(huì)大幅擴(kuò)大共識(shí)層攻擊面。就連 OP_CAT 這樣簡(jiǎn)單的操作碼都爭(zhēng)論了數(shù)年，底層原生搭載 STARK 驗(yàn)證器，現(xiàn)實(shí)來(lái)看起碼要等到 2030 年代才有可能提上議程。”
與此同時(shí)，以太坊計(jì)劃在 2029 年完成后量子升級(jí)，Solana 也在試驗(yàn)接入后量子簽名。StarkNet 的三期抗量子轉(zhuǎn)型路線(xiàn)則可以依托賬戶(hù)抽象實(shí)現(xiàn)優(yōu)勢(shì)：底層密碼學(xué)體系升級(jí)時(shí)，不需要每位用戶(hù)手動(dòng)將資產(chǎn)遷移至新賬戶(hù)。
Eli Ben-Sasson 據(jù)此評(píng)價(jià)，Solana 與以太坊的后量子升級(jí)之路將會(huì) “異常艱難”。
“StarkNet 擁有一大核心優(yōu)勢(shì)：網(wǎng)絡(luò)原生支持賬戶(hù)抽象與智能錢(qián)包。這意味著相關(guān)機(jī)制并未被固化在底層協(xié)議，我們能夠輕松升級(jí)錢(qián)包與基礎(chǔ)設(shè)施，實(shí)現(xiàn)抗量子改造。”
以上就是比特幣的量子困境：擴(kuò)容區(qū)塊 還是采用STARK證明？的詳細(xì)內(nèi)容，更多關(guān)于比特幣量子困境的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！
你可能感興趣的文章
-
比特幣（BTC）的量子困境：更大區(qū)塊還是STARK驗(yàn)證？
比特幣面臨量子安全升級(jí)的技術(shù)路線(xiàn)之爭(zhēng),一派主張擴(kuò)大區(qū)塊容量，以容納體積更大的后量子簽名算法，但可能犧牲去中心化程度,另一派力推zk-STARK驗(yàn)證方案，將大量計(jì)算移至鏈下…
2026-07-09 -
三成比特幣面臨量子風(fēng)險(xiǎn),它們來(lái)自哪里?一文詳解判定核心標(biāo)準(zhǔn)
交易所由于資金流轉(zhuǎn)頻繁、錢(qián)包架構(gòu)復(fù)雜，量子安全性逐年下滑,近期行業(yè)研究聚焦比特幣一項(xiàng)新型安全隱患，當(dāng)前持倉(cāng)狀態(tài)下，哪些比特幣目前面臨量子風(fēng)險(xiǎn)，判定核心標(biāo)準(zhǔn)為轉(zhuǎn)出…
2026-05-21 -
什么是BIP-361？教你如何保護(hù)比特幣免受量子攻擊
本文介紹比特幣提案 BIP-361，應(yīng)對(duì)量子計(jì)算攻擊,持有易受攻擊的比特幣需遷移到抗量子地址，否則可能被凍結(jié),文章解析三階段遷移機(jī)制、量子風(fēng)險(xiǎn)、易受攻擊地址及持有者應(yīng)對(duì)策…
2026-04-23 -
比特幣vs 量子計(jì)算：一次講透兩者的區(qū)別與關(guān)系
最近的加密貨幣社群對(duì)于量子計(jì)算的討論，大多皆停留在未來(lái)遠(yuǎn)期的威脅，當(dāng)普通電腦需要億萬(wàn)萬(wàn)年才能完成的計(jì)算，量子計(jì)算機(jī)或許只需要幾分鐘，這種顛覆性的能力，究竟會(huì)給比…
2026-04-17 -
凍結(jié)中本聰?shù)谋忍貛?BIP-361提案引爆社區(qū)最激烈量子威脅之爭(zhēng)
比特幣網(wǎng)絡(luò)正面臨一個(gè)決定性的時(shí)刻，開(kāi)發(fā)者們正在討論 BIP-361 提案，該提案可能會(huì)凍結(jié)大約 34% 的流通供應(yīng)量，以防止未來(lái)的量子攻擊,下面小編就和大家簡(jiǎn)單介紹一下吧…
2026-04-17 -
比特幣（BTC）后量子時(shí)代轉(zhuǎn)型，難道要“揪出”真正的中本聰錢(qián)包？
亞當(dāng)·巴克作為密碼學(xué)專(zhuān)家，指出比特幣需升級(jí)至抗量子加密以應(yīng)對(duì)未來(lái)威脅，這一轉(zhuǎn)型可能迫使中本聰移動(dòng)早期挖礦的比特幣，從而暴露其錢(qián)包地址,巴克雖否認(rèn)自己是中本聰，但…
2026-04-16 -
亞當(dāng)·巴克警示：量子計(jì)算雖處實(shí)驗(yàn)室階段，比特幣（BTC）需即刻籌備應(yīng)
亞當(dāng)·巴克作為密碼學(xué)權(quán)威，指出盡管量子計(jì)算尚處實(shí)驗(yàn)室階段，但比特幣需未雨綢繆,他強(qiáng)調(diào)抗量子簽名技術(shù)已存在，比特幣有充足時(shí)間通過(guò)軟分叉升級(jí)，且現(xiàn)有地址短期內(nèi)安全，…
2026-04-16 -
BitMEX提出“金絲雀基金”，為比特幣（BTC）量子幣凍結(jié)問(wèn)題提供替代解
BitMEX推出的'金絲雀基金'旨在通過(guò)設(shè)立專(zhuān)項(xiàng)資金池，為比特幣用戶(hù)提供量子攻擊應(yīng)急遷移服務(wù),該基金通過(guò)提前儲(chǔ)備抗量子地址資源，在量子威脅顯現(xiàn)時(shí)快速協(xié)助用戶(hù)轉(zhuǎn)移資產(chǎn)至量…
2026-04-16 -
比特幣（BTC）領(lǐng)域新動(dòng)向：BIP-361提議凍結(jié)易遭量子攻擊的幣種
比特幣開(kāi)發(fā)者Jameson Lopp等六人提出BIP-361提案，旨在凍結(jié)易受量子攻擊地址中的代幣，包括中本聰持有的約170萬(wàn)枚比特幣,該提案分三階段推進(jìn)：先禁止向舊地址轉(zhuǎn)賬，再五年…
2026-04-15 -
伯恩斯坦稱(chēng)比特幣（BTC）市場(chǎng)已對(duì)量子風(fēng)險(xiǎn)進(jìn)行定價(jià)評(píng)估
伯恩斯坦指出，約170萬(wàn)枚比特幣因公鑰暴露面臨量子攻擊風(fēng)險(xiǎn)，占比總供應(yīng)量6.9%,隨著谷歌降低量子計(jì)算破解門(mén)檻，市場(chǎng)已開(kāi)始將量子威脅納入定價(jià)考量，部分機(jī)構(gòu)投資者調(diào)整配置…
2026-04-13
