在整個(gè)加密貨幣研發(fā)歷程中，一個(gè)未被充分意識(shí)到的事實(shí)是，它為該行業(yè)的組件技術(shù)發(fā)展也帶來(lái)了進(jìn)步。

最重要的進(jìn)步發(fā)生在由 “加密貨幣” 一詞衍生出來(lái)的領(lǐng)域。密碼學(xué)，本質(zhì)上是對(duì)數(shù)學(xué)奧秘的研究，它和古代對(duì)暗號(hào)的探索一樣古老。但在過(guò)去 10 年里，由于比特幣的發(fā)明和反審查貨幣的出現(xiàn)，加密貨幣相關(guān)活動(dòng)的數(shù)量激增。

尤其是在零知識(shí)證明這個(gè)子領(lǐng)域，它能對(duì)從驗(yàn)證者不能訪問(wèn)的秘密中得到的事實(shí)進(jìn)行驗(yàn)證。這些進(jìn)步之所以重要，是因?yàn)榱阒R(shí)證明為人們提供了一個(gè)誘人的前景，即人們?cè)诒Ｃ芙灰走^(guò)程中不會(huì)獲取對(duì)彼此存在潛在損害的信息。它的潛力超越了加密貨幣涉及的狹窄領(lǐng)域，直面了互聯(lián)網(wǎng)時(shí)代的終極挑戰(zhàn)：用隱私方法實(shí)現(xiàn)安全。

這就是為什么 Zcash 背后的初創(chuàng)企業(yè) Electric Coin Company（ECC）的技術(shù)突破充滿應(yīng)用潛力的原因。ECC 已經(jīng)成為密碼學(xué)進(jìn)步的引擎，它推動(dòng)了 zk-SNARKS 的使用，Zcash 可以在不泄露用戶錢包地址的情況下，生成一個(gè)可驗(yàn)證、可審計(jì)的區(qū)塊鏈。

該公司最近宣布推出的 Halo 是一個(gè) “無(wú)需信任遞歸” 版本的零知識(shí)證明，為該領(lǐng)域的 “可信設(shè)置” 提供了一個(gè)可以實(shí)現(xiàn)大規(guī)模擴(kuò)展的解決方案，其影響必將深遠(yuǎn)。如果 ECC 研究人員肖恩·鮑伊（Sean Bowe）的這一發(fā)現(xiàn)經(jīng)得起科學(xué)審查，那么有朝一日，它可能會(huì)為數(shù)字時(shí)代帶來(lái)一系列強(qiáng)大的、現(xiàn)實(shí)世界的應(yīng)用，這些應(yīng)用將遠(yuǎn)遠(yuǎn)超出加密貨幣的范疇。

甚至可能實(shí)現(xiàn)不可能的目標(biāo)：降低 Zcash 首席執(zhí)行官佐科·威爾科克斯（Zooko Wilcox）及其聯(lián)合創(chuàng)始人不斷從加密貨幣協(xié)議中收取 20% 創(chuàng)始人費(fèi)用的熱情，自 Zcash 2016 年被推出以來(lái)，這種做法已經(jīng)為他們提供了價(jià)值數(shù)百萬(wàn)美元的代幣。創(chuàng)始人認(rèn)為這筆費(fèi)用是合理的，理由是它既支付維護(hù)費(fèi)用，又可以激勵(lì)加強(qiáng)協(xié)議的研究和開(kāi)發(fā)。

至少現(xiàn)在，這看起來(lái)像是一個(gè)發(fā)現(xiàn)，ECC 可以讓你認(rèn)為這錢花得很值，不僅對(duì) Zcash，而且對(duì)整個(gè)加密生態(tài)系統(tǒng)。

A proof of proofs

Halo 允許用戶證明，在初期建立一個(gè)大規(guī)模零知識(shí)證明系統(tǒng)時(shí)，沒(méi)有人會(huì)提前創(chuàng)建了一個(gè)秘密后門(mén)以便在后期修改代碼，并且正系統(tǒng)更新和更改的過(guò)程中已經(jīng)存在安全狀態(tài)。到目前為止，安裝程序中的欺詐風(fēng)險(xiǎn)，意味著零知識(shí)證明通常需要在一開(kāi)始就制定詳細(xì)、高成本的程序，以增強(qiáng)用戶的信任。

一個(gè)典型的例子是 Zcash 創(chuàng)世 “儀式”，在 YouTube 上直播并記錄在 NPR 的 RadioLab 的一個(gè)有趣的劇集中，當(dāng)時(shí)不同的創(chuàng)始人和在多個(gè)地點(diǎn)的外部參與者，不遺余力、安全地創(chuàng)建了最初的密鑰對(duì)，然后證明他們都無(wú)法訪問(wèn)私鑰。

但是，除了私下證明一些很小的一次性事實(shí)，零知識(shí)證明對(duì)于很多事情來(lái)說(shuō)都太繁瑣了。除了需要一次次進(jìn)行重復(fù)低效、耗時(shí)的可信設(shè)置之外，其花費(fèi)的成本也很高。可以肯定的是，自 2017 年以來(lái)，被稱為 “防彈協(xié)議（bulletproofs）” 的一次性無(wú)需信任解決方案就一直存在，但它們?nèi)狈Ρ匾倪f歸質(zhì)量，無(wú)法在不斷變化的大型數(shù)據(jù)庫(kù)中對(duì)不斷積累的信息進(jìn)行驗(yàn)證。

Halo 通過(guò)建立一個(gè)累積的 “A proof of proofs” 來(lái)解決這個(gè)問(wèn)題，最新的數(shù)學(xué)輸出值中包含了一個(gè)證明，能夠證明所有先前對(duì)相關(guān)秘密知識(shí)的主張，都已經(jīng)通過(guò)類似的過(guò)程得到了充分的證明。在計(jì)算需求被急劇壓縮的情況下，現(xiàn)在驗(yàn)證整個(gè)數(shù)據(jù)庫(kù)當(dāng)前狀態(tài)的準(zhǔn)確性，所需要的只是一個(gè)數(shù)學(xué)證明。這個(gè)過(guò)程聽(tīng)起來(lái)類似于梅克爾樹(shù)結(jié)構(gòu)的效率增益，梅克爾樹(shù)結(jié)構(gòu)將之前的哈希信息聚合為一個(gè)根哈希輸出值。

廉價(jià)的全節(jié)點(diǎn)

EEC 團(tuán)隊(duì)在 9 月中旬使用比特幣區(qū)塊鏈網(wǎng)絡(luò)，演示了這種輕量級(jí)驗(yàn)證系統(tǒng)的擴(kuò)展優(yōu)勢(shì)。他們生成了對(duì)當(dāng)前區(qū)塊的工作量證明的完整性的證明，其中也包含了之前每個(gè)區(qū)塊的完整性證明，一直到 2009 年 1月 3 日中本聰?shù)膭?chuàng)世區(qū)塊。

比特幣社區(qū)對(duì)全節(jié)點(diǎn)、去中心化和區(qū)塊大小等方面存在激烈的爭(zhēng)論，這聽(tīng)起來(lái)像是改變游戲規(guī)則的內(nèi)容。雖然仍需要有讀取完整的區(qū)塊鏈網(wǎng)絡(luò)節(jié)點(diǎn)來(lái)識(shí)別交易，但驗(yàn)證區(qū)塊鏈網(wǎng)絡(luò)完整性的任務(wù)，可能成為耗費(fèi)整個(gè)網(wǎng)絡(luò)成本更低的問(wèn)題。普通用戶雖然可以實(shí)現(xiàn)他們所需的易用性和效率，但需要他們自己驗(yàn)證全部節(jié)點(diǎn)。這就否定了所謂的 SPV 錢包存在的必要性，SPV 錢包依賴于其他人代表用戶進(jìn)行驗(yàn)證，從而產(chǎn)生了信任問(wèn)題。而對(duì)該網(wǎng)絡(luò)而言，其結(jié)果可能是以較低的成本實(shí)現(xiàn)更大程度的去中心化。

ECC 計(jì)劃將 Halo 作為 Layer 1 擴(kuò)展解決方案整合到 Zcash 區(qū)塊鏈網(wǎng)絡(luò)中。如果成功了，Zcash 網(wǎng)絡(luò)處理大量的鏈上數(shù)據(jù)的成本將大大降低。這與比特幣支持者所青睞的使用 Layer 2 模型閃電網(wǎng)絡(luò)來(lái)解決擴(kuò)展問(wèn)題的方法截然不同，后者通過(guò)將交易轉(zhuǎn)移到鏈下從而實(shí)現(xiàn)擴(kuò)展。如果它對(duì) Zcash 有效，人們會(huì)懷疑比特幣現(xiàn)金的開(kāi)發(fā)者，是否會(huì)試圖將其整合到他們的協(xié)議中，以降低維護(hù)他們與比特幣核心團(tuán)隊(duì)（Bitcoin Core）在 2017 年充滿爭(zhēng)議的分叉后采用的較大區(qū)塊所花費(fèi)的成本。

更大的愿景

但非加密貨幣解決方案的潛力使 Halo 擁有一個(gè)特別激動(dòng)人心的前景。威爾科克斯甚至聲稱 Halo “可能成為下一代互聯(lián)網(wǎng)以及其他類似社會(huì)基礎(chǔ)設(shè)施的基石”。

在一次談話中，他指出了充滿變化的大型中心化數(shù)據(jù)庫(kù)的弱點(diǎn)，比如著名的征信公司 Equifax 的數(shù)據(jù)庫(kù)遭到黑客入侵，以及不同州的車輛管理局（DMV）和孤立的病歷保管商的數(shù)據(jù)庫(kù)。所有各方都必須與其他各方分享信息，但都要與這樣做存在的風(fēng)險(xiǎn)作斗爭(zhēng)。威爾科克斯說(shuō)：“現(xiàn)在，他們不需要提供所有數(shù)據(jù)報(bào)告，而是可以保留唯一的一份而提供零知識(shí)證明。”

然而，最理想的做法是完全不需要中心化的記錄管理員。威爾科克斯認(rèn)為，像 Halo 這樣的零知識(shí)證明將為實(shí)現(xiàn)這一做法鋪平道路。他說(shuō)，“如果我不是說(shuō)‘這里有證據(jù)表明 Equifax 在過(guò)去 10 年里沒(méi)有任何違約’，那么我可以說(shuō) ‘這里有 100 個(gè)人在過(guò)去 10 年借錢給我的證據(jù)，他們每個(gè)人都證明我沒(méi)有違約嗎？”

不會(huì)很快到達(dá)這樣一個(gè)烏托邦。監(jiān)管、企業(yè)責(zé)任和行為慣性會(huì)繼續(xù)構(gòu)成阻力。而且，需要明確一點(diǎn)的是，鮑伊的數(shù)學(xué)證明仍然需要經(jīng)過(guò)嚴(yán)格的同行審查。

但即使在當(dāng)前迭代版本中發(fā)現(xiàn)漏洞，它們也會(huì)被修補(bǔ)。然后更好的版本將會(huì)出現(xiàn)。

不可否認(rèn)，這一發(fā)現(xiàn)將在數(shù)字經(jīng)濟(jì)的各個(gè)領(lǐng)域展開(kāi)后續(xù)研究。如果世界還沒(méi)有準(zhǔn)備好對(duì)我們管理敏感信息的方式進(jìn)行這樣的一次徹底重建，那么，最終將通過(guò)易受攻擊的數(shù)據(jù)庫(kù)以及越來(lái)越老練的黑客持續(xù)對(duì)其進(jìn)行攻擊后，來(lái)采取這種改變方式。瞻博網(wǎng)絡(luò)研究（Juniper Research）最近預(yù)測(cè)，隨著這一趨勢(shì)的發(fā)展，到 2024 年，網(wǎng)絡(luò)犯罪將每年給全球經(jīng)濟(jì)造成驚人的 5 萬(wàn)億美元損失。

世界亟需解決這些巨大挑戰(zhàn)。加密貨幣開(kāi)發(fā)者正在盡一切努力尋找它們。

來(lái)源： CoinDesk中文