原文:《將零知識證明引入比特幣,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(用于證明遞歸)。
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 也提供研究資助來贊助開發。
比特幣出塊平均時間超過13分鐘,為2018年后首次:據bitinfochart顯示,比特幣網絡平均出塊時間近期有所增加,平均區塊時間在13分鐘,一度超過了14分鐘。
比特幣的平均出塊時間是10分鐘,一般不會準時出塊,而是在10分鐘上下范圍內波動。但平均出塊時間超過13分鐘在歷史上并不常見。
據bitinfochart數據,從2010年開始,比特幣出塊平均時間超過13分鐘僅在2018年第四季度出現過,當時比特幣價格也出現了大跌現象,可以推測這種現象或由于幣價下跌導致的。此前消息,在3月12日,比特幣短時急跌近30%的時候,比特幣網絡曾出現了1個小時未出塊的情況。[2020/3/21]
ZeroSync 的貢獻合作伙伴還包括比特幣閃電網絡研發商 Lighting Labs 和擴展技術研發團隊 LambdaClass。
Ardor(阿朵)子鏈IGNIS(火鏈)于區塊高度1636363分叉成功:Ardor(阿朵)子鏈IGNIS(火鏈)于區塊高度1636363分叉成功,將以1 NXT(未來幣):0.5 IGNIS比率自動分配到NXT賬戶。
IGNIS火鏈是基于Ardor父鏈的子鏈,Ardor是基于NXT平臺開發的基礎鏈。IGNIS將成為Ardor生態中全局流通的全功能代幣,基于Ardor項目開源代碼克隆或二次開發的其他區塊鏈平臺需要向IGNIS的持有者分配10%的代幣。[2017/12/29]
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
鏈得得
原文來源 :Decrypt 原文編譯 :白澤研究院 Solana 確實實現了制造自己的 Web3 智能手機“Saga”的計劃——它目前開放了預購通道,5 月 8 日公開發售.
1900/1/1 0:00:00撰文:Jaleel 編輯:Jack 4 月 4 日凌晨 2 點 35 分,舊金山索馬大街 300 號附近發生了一起刺傷事件。據舊金山警察局稱,傷者被送往醫院搶救,但因傷勢過重不治身亡.
1900/1/1 0:00:00”這是AI畫的嗎?“ 又一個試探發問的帖子浮出水面,配圖是手游《王者榮耀》發布于2023年3月的新皮膚宣傳海報。玩家小暢很快看到了這個問題,她沒有打算回復樓主,而是輕巧地給前排評論點了個贊.
1900/1/1 0:00:004月13日-16日,ETHGlobal 黑客松在東京拉開帷幕,將會帶來哪些新發現?4 月 13 日,ETH Global Tokyo 黑客松在東京開幕.
1900/1/1 0:00:00日前, Nautilus Chain 推出了測試網“ Triton”,并且生態中首個 DEX PoseiSwap也在測試網上被推出.
1900/1/1 0:00:00文/Iam ZeroIka,加密KOL;譯/金色財經xiaozou現實世界資產將徹底改變傳統金融,預計將帶來數萬億美元資本的增長.
1900/1/1 0:00:00