原文:《將零知識證明引入比特幣,ZeroSync 要做什么?》
作者:Karen,Foresight News
如果在比特幣上引入零知識證明,會發生什么?如果能夠立即驗證鏈的狀態而無需下載區塊數據或依賴第三方,這將如何改變比特幣網絡與用戶的交互方式?最近公開的一個項目 ZeroSync 正在帶頭開發比特幣證明系統,幫助構建具有隱私、互操作性和可擴展性等特性的比特幣未來。
在 了解 ZeroSync 的實施方式和路線圖之前,我們先來看看 ZeroSync 團隊背景情況。ZeroSync 背后是一個名為 ZeroSync 協會(ZeroSync Association)的瑞士非營利組織,核心貢獻者包括 Robin Linus、Lukas George、Tino Steffens、Max Gillett 和 Andrew Milson。
Web3分布式基礎設施平臺Triple Labs完成種子輪融資:5月10日消息,Web3分布式基礎設施平臺Triple Labs宣布完成種子輪融資,CBI Holding和StepVC參投,本輪融資的具體金額和估值信息暫未披露。
據悉,Triple Lab旨在為企業和開發人員提供一站式開發平臺,降低Web3開發者的入門門檻,以在區塊鏈上輕松構建和部署去中心化應用程序(DApp)并構建一個面向開發者和終端用戶的Web3基礎設施服務生態系統。[2023/5/10 14:54:24]
2022 年 2 月份,Lukas George 在柏林技術大學發布一篇學士論文,實施了比特幣 headers chain 的第一個基本證明并對其進行了基準測試,7 月份,Robin Linus 作為項目負責人加入,共同創立了 ZeroSync 以實現全部鏈證明,之后,曾開發 Giza 證明(Cairo VM 完全開源證明者和驗證者)的 Max Gillett 加入團隊,幫助用 Cairo 實施 STARK verifier(用于證明遞歸)。
BTC網絡已歷時53分鐘未產生新的區塊:金色財經報道,OKLink監測數據顯示,截至6月15日16:40,BTC網絡已歷時53分鐘未產生新的區塊。最近一次爆塊播報方為BTC.com,區塊高度為634837。[2020/6/15]
今年 2 月份,ZeroSync 完成遞歸鏈證明的基本原型,可驗證除見證數據(數字簽名)之外的所有比特幣共識規則。目前 ZeroSync 已發展成為非營利組織協會 ZeroSync 協會。
ZeroSync 的開發由深耕零知識隱私技術的 Geometry 和 StarkWare 贊助支持,其中,Geometry 負責人為 Aztec Network 前首席執行官 Tom Walton-Pocock,此前還獲得對沖基金大鱷 Alan Howard 支持的孵化器 WebN Group 的孵化,Geometry 提供了一筆研究經費來贊助 ZeroSync 最初的開發。StarkWare 的開源計劃 OnlyDust 也提供研究資助來贊助開發。
AOFEX交易所AP認購新幣第七期 40,000LOD3分鐘內售罄:據官方消息,AOFEX交易所在2020年4月27日14:00開放了第七期AP(A積分)認購新上線幣種的權益,40,000LOD在3分鐘內售罄。
據了解,AP是AOFEX生態系統中的重要一環,持有者可享受生態系統內的多項權益,現可用于參與創新型期權交易、認購新上線幣種等權益。
數字貨幣金融衍生品交易所AOFEX已獲美國MSB牌照及新加坡(MAS)豁免許可,24小時為80萬用戶提供優質服務和資產安全保障。[2020/4/27]
ZeroSync 的貢獻合作伙伴還包括比特幣閃電網絡研發商 Lighting Labs 和擴展技術研發團隊 LambdaClass。
ZeroSync 致力于在比特幣區塊鏈上實現簡潔的 ZK 證明,使用 StarkWare 專有的零知識可擴展透明知識論證 (zk-STARK) 有效性證明來為比特幣網絡生成 ZK 證明(ZK-proofs),并能夠即時驗證區塊鏈的最新狀態,而無需下載區塊數據或依賴第三方。為了實現比特幣證明,ZeroSync 也使用由 StarkWare 創建的 Cairo 語言。
刷新紀錄 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 認為,目前證明數百 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
鏈得得
今日早間,以太坊再質押(restaking)協議 EigenLayer 宣布已啟動第一階段測試網.
1900/1/1 0:00:00文/ TRM Insights,譯/金色財經xiaozou近日,美國財政部發布了《去中心化金融非法金融風險評估》(Illicit Finance Risk Assessment of.
1900/1/1 0:00:00作者:Alluvial 首席執行官 Mara Schmiedt編譯:比推BitpushNews Mary Liu以太坊 Shapella (Shanghai 執行層和 Capella 共識升級的.
1900/1/1 0:00:001.金色觀察 | IEO在即 值得關注的10個Sui生態項目Sui Network是融資最多的生態系統之一,融資超3億美元,估值為20億美元.
1900/1/1 0:00:00原文作者:Hercules 原文編譯:深潮 TechFlow在以太坊升級完成后,LSD 賽道還有哪些可以參與的新機會和看點? 新的穩定幣也許是其中之一.
1900/1/1 0:00:00《三體》中的降臨派、拯救派和幸存派分別代表著不同的觀念和立場。借用這三個概念,我們可以將對 AI 看法的人劃分為 AI 降臨派、AI 拯救派和 AI 幸存派.
1900/1/1 0:00:00