以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

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

Author:

Time:1900/1/1 0:00:00

原文:《將零知識證明引入比特幣,ZeroSync 要做什么?》

作者:Karen,Foresight News

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

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

NEAR將于2023年發布Phase2分片,2024年交付Phase3分片:11月12日消息,NEAR發布2023至2024年協議路線圖,未來兩年NEAR將發布兩個階段的分片以及部分重要的功能,Phase2計劃2023年發布,2024年會交付Phase3分片。路線圖中涉及的部分功能包括元交易、零余額賬戶、Secp256r1秘鑰、全局存儲、在wasm內運行wasm等。[2022/11/12 12:55:43]

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

Harmony將向HarmonyOne主網上的Aave V3分配500萬美元的ONE代幣:4月10日消息,公鏈Harmony在推特上宣布,將向位于HarmonyOne主網上的Aave V3分配價值500萬美元的ONE代幣,作為面向新用戶的激勵。該計劃將持續12個月。[2022/4/10 14:15:57]

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

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

4萬個杭州亞殘運會火炬桂冠同款3D版數字火炬3分57秒售罄:10月18日,杭州2022年第4屆亞殘運會官方宣布:杭州亞殘運會火炬“桂冠”同款3D版數字火炬正式發布。而在開售3分57秒之內,本次發售的40000個杭州亞殘運會數字火炬已全部售罄。本次杭州亞殘運會數字火炬發售的全部收入將通過圓夢方支付寶公益基金會捐贈給杭州亞殘運會組委會發起的公益項目——尋找2022個亞運夢想-陽光體育發展圓夢行動,用于支持全國共100所殘疾人學校和殘疾人之家的體育發展。(錢江晚報)[2021/10/19 20:39:05]

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

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

BTC網絡已歷時53分鐘未產生新的區塊:金色財經報道,OKLink監測數據顯示,截至6月15日16:40,BTC網絡已歷時53分鐘未產生新的區塊。最近一次爆塊播報方為BTC.com,區塊高度為634837。[2020/6/15]

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:EROZEROZERSYNCNZERO價格KILLTHEZEROZero Collateral DaiSYNC Network

比特幣行情
金色早報 | 德國最高的塔樓上出現巨型比特幣LOGO的投影_BTC

▌德國最高的塔樓上出現巨型比特幣LOGO的投影金色財經報道,據Bitcoin Magazine在社交媒體上表示,德國最高的塔樓上出現巨型比特幣LOGO的投影.

1900/1/1 0:00:00
詳解以太坊POS工作原理:Epoch、Slot與信標區塊_LOT

使用權益證明的以太坊的獨特性在于參與者數量的最大化設計。它允許成百上千和成千上萬的驗證者活躍地參與決策過程。在筆者撰文時已經有大約 50 萬的驗證者實體(從協議的角度而言)在活躍地參與這個過程.

1900/1/1 0:00:00
空投卷王的期待:Layer2之夏_BSP

本篇熱點報告主要復盤了 Arbitrum one 發行代幣后整個 Layer 2 生態的現狀.

1900/1/1 0:00:00
還 DAO 嗎?Arbitrum 欲通過 AIP-1“竊取”10 億美元_ARB

就在 ARB 代幣空投幾天后,3 月 28 日,Arbitrum 社區在 Snapshot 上發起 Arbitrum Improvement Proposal 1 (AIP-1)提案投票.

1900/1/1 0:00:00
a16z:如何通過零知識證明驗證鏈上機器學習算法?_ARK

原文:a16z 在過去的幾年里,區塊鏈上的零知識證明主要用于兩個關鍵目的:(1) 通過在鏈下處理交易并在主網上驗證結果來擴展計算受限網絡的規模;(2) 通過實現屏蔽交易來保護用戶隱私.

1900/1/1 0:00:00
以太坊layer2龍頭Arbitrum入門_ARB

作者 :火火 出品:白話區塊鏈(ID:hellobtc)去年下半年,整個加密市場處在深熊困境當中,但Arbitrum生態代表項目GMX和Treasure DAO依然逆勢增長,進入2023年以來.

1900/1/1 0:00:00
ads