將零知識證明引入比特幣，ZeroSync 要做什么？_ROS:OROS.finance

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

ZeroSync團隊背景和項目起源

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

Euler攻擊者為其行為道歉，并稱會盡快歸還剩余資金:3月28日消息，Euler Finance攻擊者在鏈上發送消息為其行為道歉：“我不認為我說的話對我有任何幫助，但我還是想說出來。我搞砸了。我不想這么做，但我卻攪亂了別人的錢，別人的工作，別人的生活。我真的搞砸了。我很抱歉。我不是那個意思。原諒我。剩下的錢會盡快歸還。我只關心我自己的安全，這就是延誤的原因。很抱歉有任何誤會。”

此前今日早些時候消息，Euler Finance攻擊者今日向Euler部署者賬戶返還了23214.15枚ETH和1070萬枚Dai，又將800萬枚DAI轉至Euler：Multisig 2地址。（Coindesk）[2023/3/28 13:31:02]

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

加密交易公司Auros已終止臨時清算程序，并獲得1700萬美元投資:金色財經報道，加密交易公司Auros Global在進行了重大債務重組后，上周終止法院監督的臨時清算，并獲得了由傳統高頻交易公司Vivienne Court Trading和上市比特幣礦業公司 Bit Digital (BTBT) 牽頭的1700萬美元新投資。（Coindesk）[2023/3/21 13:16:10]

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

Skybridge Capital創始人：現在是投資加密貨幣的時候:金色財經報道，資產管理公司 SkyBridge Capital創始人Anthony Scaramucci 周二表示，比特幣的價格可能已接近底部，因此現在可能是投資比特幣的時機。長期加密貨幣投資者需要保持三到五年的展望，而不是停留在日常表現上。

根據 Scaramucci 的說法，SkyBridge 隨后購買了價值 1000 萬美元的 FTX 原生代幣 FTT，隨后以估計損失 960 萬美元的價格出售。他沒有說明 FTT 何時出售。Skybridge 現在正在考慮是否從倒閉的 FTX 手中回購其股票。Scaramucci 表示，他希望他的公司能在“今年年中”之前做到這一點，盡管他說 Bankman-Fried“從未影響 SkyBridge]業務的運營方式。”Scaramucci 表示他“對加密貨幣領域非常樂觀”。[2023/1/19 11:19:55]

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

過去24小時，Checks NFT系列成交額增幅超90%，地板價現報0.31ETH:1月18日消息，據NFTGo.io數據信息，Checks NFT系列地板價現報0.31ETH，過去24小時漲幅達30.25%，此外，該系列24小時成交額達551.66ETH，增幅達93%。

金色財經此前報道，Checks項目由加密藝術家Jack Butcher創立，該項目于1月3日開放限時24小時不限量Mint，每件售價8美元。最終16,031件Checks被鑄造。[2023/1/18 11:18:27]

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

參考：https://zerosync.org/https://bitcoinmagazine.com/technical/zerosync-reduces-bitcoin-node-validation

Tags：ROSEROZERZEROOROS.financeQuieroganar AuditsProtocol Zeroetherzero

Coinw