如果在比特幣上引入零知識證明,會發生什么?如果能夠立即驗證鏈的狀態而無需下載區塊數據或依賴第三方,這將如何改變比特幣網絡與用戶的交互方式?最近公開的一個項目ZeroSync正在帶頭開發比特幣證明系統,幫助構建具有隱私、互操作性和可擴展性等特性的比特幣未來。
ZeroSync團隊背景和項目起源
在了解ZeroSync的實施方式和路線圖之前,我們先來看看ZeroSync團隊背景情況。ZeroSync背后是一個名為ZeroSync協會的瑞士非營利組織,核心貢獻者包括RobinLinus、LukasGeorge、TinoSteffens、MaxGillett和AndrewMilson。
英國立法者呼吁盡早出臺加密法規來監督加密監管:金色財經報道,英國立法者呼吁政府盡早出臺加密金融服務法規,并任命一名專職官員來監督這一過程。在周一發布的一份報告中,加密貨幣和數字資產全議會小組 (APPG) 指出,加密貨幣將繼續存在,需要立即監管。該小組包括來自不同政黨和議會兩院的立法者,提出了 53 條關于監管該國加密貨幣的建議。
首相 Rishi Sunak 的政府最近結束了一項磋商,提議英國通過將加密貨幣納入現有金融服務法規的范圍來對其進行監管。議會已經在討論法案,以賦予立法者更多對加密行業的權力,并幫助執法機構沒收和凍結加密貨幣。[2023/6/5 21:16:33]
2022年2月份,LukasGeorge在柏林技術大學發布一篇學士論文,實施了比特幣headerschain的第一個基本證明并對其進行了基準測試,7月份,RobinLinus作為項目負責人加入,共同創立了ZeroSync以實現全部鏈證明,之后,曾開發Giza證明的MaxGillett加入團隊,幫助用Cairo實施STARKverifier。
4月1日以來Bittrex在美國和馬耳他的分支機構處理了4.25億美元的提款:金色財經報道,代表律師周三在特拉華州破產法庭上表示,自 Bittrex 交易所宣布將在 4 月 1 日左右關閉其美國業務以來,Bittrex 在美國和馬耳他的分支機構處理了 4.25 億美元的提款,代表 Bittrex 的律師 Susheel Kirpalani 表示,Bittrex 沒有抵押、借出或將其客戶的任何存款置于風險之中。但它也難以產生收入,特別是如果經營的監管環境限制或開始質疑允許交易的能力。Bittrex 美國分公司持有 5000 萬美元的客戶現金和 2.5 億美元的客戶加密貨幣,而同樣申請破產的馬耳他運營公司擁有 1.2 億美元的客戶現金和加密貨幣。
此前報道,該交易所周一以監管不確定性為由申請破產,此前其管理的資產在短短兩年內下降了近 80%。[2023/5/11 14:56:01]
今年2月份,ZeroSync完成遞歸鏈證明的基本原型,可驗證除見證數據之外的所有比特幣共識規則。目前ZeroSync已發展成為非營利組織協會ZeroSync協會。
Binance更新VIP借貸計劃:1月3日消息,Binance自2023年01月03日08:00(東八區時間)起更新VIP借貸計劃,計劃中杠桿交易借貸量將乘以0.2后計入30天日均凈借貸量。例如,如果用戶在過去30天杠桿交易借貸量100萬BUSD等值加密貨幣,將在30天日均凈借貸量中以20萬BUSD計算。[2023/1/3 22:23:29]
ZeroSync的開發由深耕零知識隱私技術的Geometry和StarkWare贊助支持,其中,Geometry負責人為AztecNetwork前首席執行官TomWalton-Pocock,此前還獲得對沖基金大鱷AlanHoward支持的孵化器WebNGroup的孵化,Geometry提供了一筆研究經費來贊助ZeroSync最初的開發。StarkWare的開源計劃OnlyDust也提供研究資助來贊助開發。
消息人士:三箭資本持有Deribit股份僅為2500萬美元,而非5億美元:7月20日消息,對于三箭資本(3AC)破產的法院文件可能高估了該公司剩余資產的價值,特別是其對加密期權交易所Deribit的敞口。由清算人RussellCrumpler撰寫并提交給英屬維爾京群島法院的1,100頁宣誓書中,3AC被描述為“資不抵債”,需要完全“清盤”。這些文件還詳細介紹了3AC的剩余資產,其中包括GBTC、BTC、AVAX和NEAR的持有量,以及Deribit的股份。目前索賠總額為28億美元。根據宣誓書,3AC持有Deribit股票價值5億美元,或3AC剩余資產的一半。然而,一位知情人士表示,3AC持有的Deribit股票價值接近2,500萬美元,而不是5億美元。3AC并不直接擁有Deribit的股份,而是擁有名為3ACQCPDeribitSPV的新加坡特殊目的公司(SPV)的股份。
據悉,SPV的最大股東是3AC和QCP Soteria Node,后者是一家控股公司,其投資組合包括Algorand和PundiX。SPV的董事包括QCP Soteria Node創始人SherwinLee、QCPCapital聯合創始人DariusSit和三箭資本聯合創始人SuZhu。(Cointelegraph)[2022/7/20 2:25:06]
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:ZEROEROZERROSZero Utility Tokensero幣今日價格Mirrored ProShares VIX
這篇推文是關于Arbitrum空投和去中心化的博弈探討,Arbitrum最近因為公共治理事件而陷入尷尬境地。 加密網絡90%的價值來自于去中心化承諾.
1900/1/1 0:00:00隨著“zkEVM戰爭”的升溫,公眾對不同zkEVM的優點進行了大量的討論。也有一些錯誤的信息,所以我們想澄清一些關于PolygonzkEVM的事實以及它與其他產品的比較.
1900/1/1 0:00:00注:本文來自@0xNing0x推特,MarsBit整理如下:1為什么要在zkSyncEra部署智能合約超級空投規則的核心原則有兩個:--鏈上行為.
1900/1/1 0:00:003月31日,以太坊聯合創始人“V神”?Vitalik?Buterin在其官方博客上發布文章《以太坊的多客戶端理念將如何與ZK-EVM交互?》.
1900/1/1 0:00:00摘要:據財聯社報道,OpenAI于3月24日宣布,部分解除了ChatGPT無法聯網的限制。其CEO山姆?阿爾特曼表示,“我們正在開始推出ChatGPT插件,您可以安裝插件來幫助完成各種各樣的任務.
1900/1/1 0:00:004月4日,奢侈品巨頭Gucci宣布將與?YugaLabs?旗下元宇宙游戲Otherside合作推出限量版OthersideRelicsbyGucci系列.
1900/1/1 0:00:00