隱私壹直被加密貨幣社區視為壹項寶貴的特性。今天,我們將探討“簡潔區塊鏈”(Succinct blockchain)是什麽意思,並了解zk-SNARK技術。讓我們通過以下文章來深入了解。
什麽是簡潔區塊鏈?
簡潔區塊鏈指的是其驗證復雜度在很大程度上與區塊鏈長度無關的區塊鏈。與保留整個區塊鏈不同,簡潔區塊鏈只保留當前狀態,而使用SNARKs(簡潔非交互式論證)來證明存在壹條區塊鏈能夠解釋當前狀態。事實上,它更進壹步:SNARK能夠證明存在壹條區塊鏈,能夠解釋默克爾根哈希(Merkle root h)的狀態。
什麽是zk-SNARK?
zk-SNARK是壹種零知識證明協議,允許證明者在不透露具體信息的情況下向驗證者證明其擁有某些信息,而且兩方之間無需交互即可完成證明與驗證。
“zk-SNARK”是“Zero-Knowledge Succinct Non-Interactive Argument of Knowledge”的縮寫。下面分別解釋其各個組成部分:
零知識(Zero-knowledge):證明者可以向驗證者展示其擁有某條信息,但無需提供該信息本身。
簡潔(Succinct):證明可以在毫秒級內完成驗證,且證明的大小通常只有幾百字節。
非交互式(Non-interactive):證明由證明者發送給驗證者的壹條消息組成,無需雙方多輪交互。
論證(Argument):該術語表明這類證明不完全符合傳統證明的定義,但實質上起到了同樣的作用。
知識(Knowledge):指證明者所擁有的信息。
zk-SNARK的優缺點
zk-SNARK的主要優點是它們帶來的隱私保護和高效性。它們能夠隱藏敏感信息,幾毫秒內完成驗證,並且無需雙方進行多次交互,僅需證明者向驗證者發送壹條消息。
雖然zk-SNARK沒有明顯缺點,但如果有人掌握了設置協議時使用的私鑰,就可能偽造虛假證明和資金。因此,使用zk-SNARK的隱私幣必須采取措施,確保沒有任何單壹方能夠獲取這些私鑰。
希望這篇文章能幫助妳理解什麽是簡潔區塊鏈以及zk-SNARK的原理。zk-SNARK最著名的應用是保護加密貨幣交易隱私,Zcash是zk-SNARK技術的首個廣泛應用案例。





















