3分鐘了解ZeroSync：在比特幣上引入零知識證明 將發生怎樣的化學反應？_ERO:ERO價格

原文：《將零知識證明引入比特幣，ZeroSync 要做什么？》

作者：Karen，Foresight News

如果在比特幣上引入零知識證明，會發生什么？如果能夠立即驗證鏈的狀態而無需下載區塊數據或依賴第三方，這將如何改變比特幣網絡與用戶的交互方式？最近公開的一個項目 ZeroSync 正在帶頭開發比特幣證明系統，幫助構建具有隱私、互操作性和可擴展性等特性的比特幣未來。

在 了解 ZeroSync 的實施方式和路線圖之前，我們先來看看 ZeroSync 團隊背景情況。ZeroSync 背后是一個名為 ZeroSync 協會（ZeroSync Association）的瑞士非營利組織，核心貢獻者包括 Robin Linus、Lukas George、Tino Steffens、Max Gillett 和 Andrew Milson。

CoinMetrics：減半后48小時比特幣算力下降近30%，1日平均出塊時間上升至13分鐘:金色財經報道，鏈上數據分析公司CoinMetrics發推文稱，在比特幣減半后不到48小時，已經看到了減半對比特幣的巨大影響。隨著算力下降接近30%，效率低下的礦工似乎正在離開。CoinMetrics認為，經過一段時間的混亂之后，隨著高效的礦工取代低效的礦工，網絡算力將有可能恢復。此外，算力的下降使1日平均出塊時間上升至了13分鐘。此前由于礦工急于在比特幣減半之前獲得更多的區塊獎勵，礦工將比特幣1日平均出塊時間縮短至近7.5分鐘。比特幣的通脹率完全符合預期，年化率昨天有史以來首次低于1.5％。[2020/5/15]

2022 年 2 月份，Lukas George 在柏林技術大學發布一篇學士論文，實施了比特幣 headers chain 的第一個基本證明并對其進行了基準測試，7 月份，Robin Linus 作為項目負責人加入，共同創立了 ZeroSync 以實現全部鏈證明，之后，曾開發 Giza 證明（Cairo VM 完全開源證明者和驗證者）的 Max Gillett 加入團隊，幫助用 Cairo 實施 STARK verifier（用于證明遞歸）。

比特幣出塊平均時間超過13分鐘，為2018年后首次:據bitinfochart顯示，比特幣網絡平均出塊時間近期有所增加，平均區塊時間在13分鐘，一度超過了14分鐘。

比特幣的平均出塊時間是10分鐘，一般不會準時出塊，而是在10分鐘上下范圍內波動。但平均出塊時間超過13分鐘在歷史上并不常見。

據bitinfochart數據，從2010年開始，比特幣出塊平均時間超過13分鐘僅在2018年第四季度出現過，當時比特幣價格也出現了大跌現象，可以推測這種現象或由于幣價下跌導致的。此前消息，在3月12日，比特幣短時急跌近30%的時候，比特幣網絡曾出現了1個小時未出塊的情況。[2020/3/21]

今年 2 月份，ZeroSync 完成遞歸鏈證明的基本原型，可驗證除見證數據（數字簽名）之外的所有比特幣共識規則。目前 ZeroSync 已發展成為非營利組織協會 ZeroSync 協會。

行情 | 比特幣價格3分鐘內上漲超過100美元:根據huobipro數據顯示，目前比特幣價格為5910美元，比特幣價格從下午1點40分開始拉漲，由低位的5822美元，突然沖高，3分鐘后最高達到5936美元，3分鐘內上漲超過100美元，漲幅達1.9%。[2018/6/29]

ZeroSync 的開發由深耕零知識隱私技術的 Geometry 和 StarkWare 贊助支持，其中，Geometry 負責人為 Aztec Network 前首席執行官 Tom Walton-Pocock，此前還獲得對沖基金大鱷 Alan Howard 支持的孵化器 WebN Group 的孵化，Geometry 提供了一筆研究經費來贊助 ZeroSync 最初的開發。StarkWare 的開源計劃 OnlyDust 也提供研究資助來贊助開發。

比特幣堪比驚悚劇？！3分鐘突破19000美元，隨后一度回落超3000美元:央視財經微博號發文稱，周四，比特幣再次刷新歷史新高，從14000美元到15000美元，比特幣只用了不到10小時。更夸張的是，僅3分鐘時間，美國平臺比特幣一度漲至19700美元，后大幅回落。根據美國比特幣交易平臺最新數據，比特幣已突破16000美元。對于比特幣如此快速攀升，大部分歐洲分析人士并不看好，認為是投機性行為，并存在巨大的泡沫。而本周末比特幣期貨交易即將在美國登場，即將成為合法貨幣。但從另一方面看，比特幣在本年度的火爆進一步推進了數字貨幣的發展。眼下英國央行就正在商討推出數字貨幣。[2017/12/8]

ZeroSync 的貢獻合作伙伴還包括比特幣閃電網絡研發商 Lighting Labs 和擴展技術研發團隊 LambdaClass。

ZeroSync 致力于在比特幣區塊鏈上實現簡潔的 ZK 證明，使用 StarkWare 專有的零知識可擴展透明知識論證 (zk-STARK) 有效性證明來為比特幣網絡生成 ZK 證明（ZK-proofs），并能夠即時驗證區塊鏈的最新狀態，而無需下載區塊數據或依賴第三方。為了實現比特幣證明，ZeroSync 也使用由 StarkWare 創建的 Cairo 語言。

ZeroSync 認為，目前證明數百 GB 的區塊鏈歷史數據在計算上非常昂貴，而壓縮后產生的生成證明允許網絡中任意數量的節點都可以使用它立即與網絡同步。

ZeroSync 表示可以將 UTXO 集的成本降低到幾千兆字節，并且 ZKP 證明非常小，不需要任何共識改變或分叉來實現。比特幣固有的 UTXO 模型可以讓所有比特幣節點在任意時刻就比特幣的存在情況達成共識。

ZeroSync 分三個階段實施鏈證明，包括區塊頭鏈證明（headers chain proof）、假設有效鏈證明、全部鏈證明，其中 ZeroSync 已經完成了前兩個原型。

區塊頭鏈證明僅驗證區塊頭、工作量證明和難度調整，在所有區塊塊頭上使用 Merkle 樹擴充區塊頭鏈，從而為所有塊和交易提供簡潔的包含證明。特點為輕量級且計算成本低。

假設有效鏈證明驗證除交易簽名之外的所有比特幣共識規則（假設所有見證數據「Witness Data，數字簽名」都是有效的）。該證明使用 Utreexo 通過 UTXO 集承諾來擴充鏈。

全部鏈證明（Full Chain Proof）驗證所有比特幣共識規則，包括簽名信息。對應的，證明會相對昂貴一些。

更重要的是，ZeroSync 還將發布開發者工具包，幫助開發者將零知識證明應用至他們的產品或服務中，具體的應用場景包括但不限于，比特幣交易所可以可以向其客戶披露償付能力，而無需透露具體余額或交易歷史信息等內容；證明可以轉換或過濾區塊鏈數據，并創建索引以高效查詢；由于證明的可組合性可以更方便地擴展和定制；無信任或少信任跨鏈互操作性等；使用 Zero-Knowledge Contingent Payments 出售證明數據。

綜上，ZeroSync 不僅能夠允許立即驗證鏈的狀態，還將有希望比特幣在可擴展性、互操作性、隱私方面實現范式轉變。當然，要想打造一個生產級比特幣證明，也面臨著安全強化以及證明性能等方面的挑戰。

Foresight News

企業專欄

閱讀更多

金色財經 善歐巴

金色早8點

白話區塊鏈

歐科云鏈

Odaily星球日報

Arcane Labs

MarsBit

深潮TechFlow

BTCStudy

鏈得得

Tags：比特幣ZEROEROZER比特幣行情圖AZEROERO價格

比特幣價格今日行情