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

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

作者：Karen，ForesightNews

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

ZeroSync團隊背景和項目起源

在了解ZeroSync的實施方式和路線圖之前，我們先來看看ZeroSync團隊背景情況。ZeroSync背后是一個名為ZeroSync協會的瑞士非營利組織，核心貢獻者包括RobinLinus、LukasGeorge、TinoSteffens、MaxGillett和AndrewMilson。

BKEX Global DeFi挖礦寶第一期3分鐘售罄:據官方消息，BKEX Global于今日16:00開啟DeFi挖礦寶第一期搶購，開啟后3分鐘即售罄。

DeFi挖礦寶是BKEX結合當下火熱的DeFi流動性挖礦而推出的非保本浮動收益理財活動，用戶可以通過使用USDT、DAI、USDC參與搶購，搶購成功即可獲得以YFI（yearn.finance）、CRV（CURVE）等代幣為獎勵的收益。[2020/7/27]

2022年2月份，LukasGeorge在柏林技術大學發布一篇學士論文，實施了比特幣headerschain的第一個基本證明并對其進行了基準測試，7月份，RobinLinus作為項目負責人加入，共同創立了ZeroSync以實現全部鏈證明，之后，曾開發Giza證明的MaxGillett加入團隊，幫助用Cairo實施STARKverifier。

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

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

AOFEX交易所AP認購新幣第六期 20000BV3分鐘售罄:據官方消息，AOFEX交易所在2020年4月20日14：00（GMT+8）開放了第六期AP（A積分）認購新上線幣種的權益，20,000BV在3分鐘內售罄。

AP是AOFEX生態系統中的重要一環，獲取的AP后續將支持兌換AOFEX平臺幣等權益。

數字貨幣金融衍生品交易所AOFEX位于英國倫敦，已獲得美國MSB數字貨幣交易牌照，以及新加坡金管局（MAS）數字貨幣交易服務豁免許可，24小時為80萬社區成員提供優質服務和安全的加密數字貨幣交易環境。[2020/4/20]

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

刷新紀錄 120萬BUC理財額度3分鐘搶空:今天下午15：00，區塊鏈資產私人銀行BitUN正式對外開啟首款高收益區塊鏈理財產品“丘比特I號”的第二輪發售，總額度120萬BUC，預期年化收益20%。上線僅僅3分26秒，120萬BUC的理財限額就被一搶而空，刷新了昨日9分37秒的紀錄。據“丘比特I號”的理財規則顯示，用戶可在4月13日-4月15日每天15：00參與理財份額的搶購，最低投資額度為1BUC。4月15日為“丘比特I號”最后一期的理財產品發售日，最大限額為200萬BUC，滿額即結束。據悉，BitUN的理財資金將交由來自香港上市集團的專業團隊進行操作，團隊成員有著豐富的股票以及數字貨幣市場交易實戰經驗。[2018/4/14]

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

ZeroSync是什么？

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

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

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

ZeroSync如何實施鏈證明？

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

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

假設有效鏈證明驗證除交易簽名之外的所有比特幣共識規則。該證明使用Utreexo通過UTXO集承諾來擴充鏈。

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

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

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

Tags：ZER比特幣EROZEROZEROX比特幣行情軟件Zeropay FinanceAZERO幣

酷幣