??發(fā)表時間：2023年6月15日

---

2024年7月19日，BSV區(qū)塊鏈主網(wǎng)上成功通過使用零知識證明驗(yàn)證了一筆交易。

零知識證明是一種技術(shù)，它允許一方（證明者）在不透露任何秘密的情況下，向另一方（驗(yàn)證者）證明某個秘密是正確的。由于零知識證明的隱私特性，它在需要保護(hù)隱私的場合非常有用。更重要的是，它還可以作為構(gòu)建更復(fù)雜協(xié)議的基礎(chǔ)。

nChain的研究部門總監(jiān)張偉在Medium上發(fā)表的一篇博客文章中解釋說，BSV網(wǎng)絡(luò)首次成功地通過驗(yàn)證一個交易中的Groth16零知識證明，從而完成了交易有效性的驗(yàn)證。

前往此鏈接閱讀相關(guān)技術(shù)博客：

https://medium.com/@w.zhang/snark-verification-on-a-bitcoin-mainnet-c467991d931c

值得注意的是，在行業(yè)現(xiàn)存的所有區(qū)塊鏈中，這也是一項(xiàng)前所未有的突破，同時也是比特幣節(jié)點(diǎn)一個重要的里程碑，因?yàn)樗鼮殒溕现悄芎霞s的發(fā)展鋪平了道路。

由于比特幣的設(shè)計(jì)初衷是為了確保網(wǎng)絡(luò)的安全性和去中心化，而不是為了處理復(fù)雜的計(jì)算任務(wù)；與此同時，比特幣的腳本語言相對簡單，只能執(zhí)行一些基本的操作，如驗(yàn)證交易簽名，而不支持更復(fù)雜的編程邏輯。由此一來，比特幣系統(tǒng)一直以來都被人們認(rèn)為計(jì)算能力不足。
但現(xiàn)在，通過BSV區(qū)塊鏈的實(shí)現(xiàn)，比特幣網(wǎng)絡(luò)具備了能夠驗(yàn)證計(jì)算是否正確完成的能力。這意味著比特幣網(wǎng)絡(luò)可以處理更復(fù)雜的任務(wù)，如智能合約。這種對智能合約的支持不僅提高了比特幣網(wǎng)絡(luò)的可擴(kuò)展性，允許它處理更多的交易和復(fù)雜的操作，而且還解決了在公共區(qū)塊鏈上進(jìn)行交易時的隱私問題。

張偉對此強(qiáng)調(diào)：“我們選擇實(shí)現(xiàn)Groth16，因?yàn)樗奶匦苑浅＿m合優(yōu)化交易大小，從而降低交易費(fèi)用。在所有SNARKS中，Groth16具有最小的證明大小和非常高效的驗(yàn)證算法。我們迄今為止最小的實(shí)現(xiàn)是針對BLS12-381曲線的Groth16，它實(shí)現(xiàn)了480KB的鎖定腳本大小和40KB的解鎖腳本大小。我們選擇在BSV上實(shí)現(xiàn)它，因?yàn)锽SV支持大數(shù)運(yùn)算，并且在其主網(wǎng)上有500KB的默認(rèn)腳本大小限制。此外，利用BSV上低交易費(fèi)的優(yōu)勢，我們創(chuàng)建和花費(fèi)這筆交易僅支付了大約0.015美元。我和我的團(tuán)隊(duì)現(xiàn)在正在完善和改進(jìn)目前Groth16的實(shí)現(xiàn)方式，以便在鏈上部署遞歸Groth16?！?/p>

請?jiān)贕itHub上關(guān)注這個項(xiàng)目的進(jìn)展：

https://github.com/nchain-innovation/zkscript_package

最近，BitVM和StarkWare這兩家公司也發(fā)布了一些引人注目的新聞。StarkWare展示了一系列的交易，這些交易使用了一種名為STARK的先進(jìn)的零知識證明技術(shù)來驗(yàn)證它們的正確性。與此同時，BitVM則展示了他們驗(yàn)證了一種叫做SNARK的零知識證明。

STARK和SNARK都是零知識證明的一種形式，它們允許一方在不透露任何敏感信息的情況下，向另一方證明某個陳述是正確的。這在區(qū)塊鏈技術(shù)中非常有用，因?yàn)樗梢栽诓粻奚脩綦[私的前提下，驗(yàn)證交易的有效性。
這些交易的主要特點(diǎn)在于，它們都是在比特幣的測試網(wǎng)絡(luò)Signet上發(fā)布的，而不是在比特幣的主網(wǎng)絡(luò)上。測試網(wǎng)絡(luò)是一個模擬環(huán)境，用于在不影響實(shí)際比特幣的情況下測試新技術(shù)和交易。這些交易只有在比特幣網(wǎng)絡(luò)啟用了一個名為OP_CAT的操作碼之后，才能被遷移到主網(wǎng)絡(luò)。OP_CAT是一個特殊的指令，它的作用是將多個輸入連接在一起，這對于某些類型的交易來說是必需的。

sCrypt是第一個在BSV測試網(wǎng)絡(luò)上實(shí)現(xiàn)Groth16驗(yàn)證的。Groth16驗(yàn)證是一種零知識證明技術(shù)，它允許在不透露任何敏感信息的情況下驗(yàn)證交易的正確性。sCrypt的驗(yàn)證腳本最初大小為5MB，但在今年的一個黑客馬拉松活動中，一個名為ZkBaguette的參賽作品對其進(jìn)行了改進(jìn)，將其大小減少到了1.2MB。這種優(yōu)化使得驗(yàn)證過程更加高效，更易于在實(shí)際的區(qū)塊鏈網(wǎng)絡(luò)中得到實(shí)施。

---

目前，全球已有超過400個項(xiàng)目構(gòu)建于BSV區(qū)塊鏈之上。憑借堅(jiān)如磐石的協(xié)議及超高的網(wǎng)絡(luò)性能，BSV生態(tài)系統(tǒng)迅猛發(fā)展，我們期待未來出現(xiàn)更多前所未有的商業(yè)應(yīng)用。

• 對BSV區(qū)塊鏈開發(fā)感興趣的朋友，可以前往我們的中文開發(fā)者專區(qū)：BSV區(qū)塊鏈