十多年前，零知識證明(ZKP) 的概念首次被引入比特幣世界，甚至引起了中本聰的興趣。長期以來，這些加密貨幣證明一直被認為是區塊鏈的潛在遊戲規則改變者，允許用戶在不透露任何額外信息的情況下證明聲明的有效性。
比特幣領域的教育家Shinobi 提出了一項新提案，試圖引入ZeroSync，這是一種基於比特幣區塊鏈的零知識證明（zk 和/或ZKPs）堆棧的隱私實現。
ZeroSync項目旨在創建ZKP 與比特幣的集成，開啟和探索這一突破性發展的潛在好處和影響。
ZeroSync 的項目
ZeroSync項目專注於將ZKP 引入比特幣，但不是傳統意義上的。 ZeroSync 不是使用ZKP 來鎖定或花費硬幣，而是應用它們來幫助全節點實現更快的初始同步。
該項目正在構建三個不同的證明，以提供對歷史區塊鏈的完整驗證，而無需用戶下載和處理它。也許值得注意的是，此過程不需要對比特幣協議進行任何共識更改。根據Shinobi 的說法，在比特幣的原始區塊鏈上實施ZKP 有四個主要組成部分。我們在這裡列出它們以供參考。
塊頭證明
現在應該已經發布的第一個證明涵蓋了區塊頭的有效性。它確保鏈中的每個區塊都滿足難度要求並跟踪每個難度變化。該證明不僅有利於全節點，而且顯著改進了簡化支付驗證（SPV）錢包架構。
阻止內容驗證
該證明側重於驗證塊的實際內容，儘管沒有證明見證數據的有效性。通過合併UTXO（未花費的交易輸出），該證明允許用戶僅使用設置在該區塊高度的UTXO 和一個小證明來同步到比特幣核心的默認假設有效高度。這與直接下載和驗證完整塊具有相同的信任模型。
聚合見證數據驗證
最終證明的目的是將ZKP 用於塊頭，並在ZKP 之上構建用於假設有效。這將包括證明歷史鏈中每條見證數據的有效性。使用最終ZeroSync 證明系統的節點將能夠使用單一證明和UTXO 集進行引導，默認情況下提供比比特幣核心更強大的驗證模型。主要挑戰在於優化此證明的構造，因為它在計算上很昂貴。
ZeroSync 的核心主張在於它有可能顯著降低比特幣的計算成本，這通常與引導完全驗證的比特幣客戶端相關聯（或相互關聯）。
迄今為止，BTC區塊鏈的規模和處理它所需的硬件對許多用戶構成了巨大的進入障礙。 ZeroSync 可以將UTXO 集的這些成本降低到幾千兆字節，並且ZKP 證明足夠小以適合最小的硬件。
有趣的是，Shinobi 分享說ZeroSync 是使用Starkware 開發的Cairo 語言構建的，Starkware 是一家專注於為以太坊生態系統開發ZKP 的公司。項目之間的這種合作可能代表了山寨幣生態系統的發展第一次使比特幣受益，儘管這種好處是間接的。
ZKP 對比特幣的未來有著巨大的希望，即使沒有將它們直接納入共識層。如果ZeroSync項目實現了其路線圖目標並成功創建了一個快速同步客戶端，它可以為比特幣生態系統中的其他ZKP 部署鋪平道路。潛在的應用是巨大的，對區塊鏈技術的影響可以說是革命性的。免責聲明：本文僅供參考。它不提供或旨在用作法律、稅務、投資、財務或其他建議。
資訊來源：由0x資訊編譯自CRYPTODAILY。版權歸作者所有，未經許可，不得轉載