作者:Bart Stephens,Ryan Sproule, Yuan Han Li,編譯:Zen,PANews
7月19日,旨在幫助開發者開發零證明軟件的基礎設施公司 RISC Zero 宣布完成了 4000 萬美元 A 輪融資,Blockchain Capital 領投,參投方包括 Galaxy Digital、IOSG等。作為領投方,Blockchain Capital撰文分析了零知識計算的發展、RISC Zero的特點及優勢。
想象一下這樣一個世界:數據隱私、安全和信任不再受到關注,軟件供應鏈透明且可驗證,新一代應用程序可以利用零知識計算的力量來解決數字時代一些最緊迫的挑戰。這是零知識 (ZK) 計算的承諾,也是我們投資RISC Zero的原因,這是一家開創性的公司,旨在通過其 Bonsai 網絡實現 ZK 訪問的民主化。
Block.one此前宣布支付2750萬美元以解決集體訴訟,用戶需在11月8日之前提交索賠證明表格:據Block.one Securities Settlement網站信息顯示,用戶在2017年6月26日至2020年5月18日(含)期間購買或以其他方式獲得ERC-20代幣或EOS代幣,并因此受損,可能會收到集體訴訟和解的付款。法院將于2021年11月17日上午9點30分舉行最終批準聽證會,以考慮和解和分配計劃是否公平、合理和充分。用戶需在2021年11月8日或之前以郵戳或在線方式提交索賠證明表格。
此前消息,Block.one宣布支付2750萬美元以解決集體訴訟。[2021/8/11 1:48:01]
零知識計算是一種革命性的原語,它允許應用程序和協議利用簡潔性、正確性和零知識這三個關鍵屬性。這意味著,通過驗證 ZK 證明(正確性),驗證者可以通過近乎精確地保證知道計算已正確執行。
BlockFi增加對BAT、DAI和UNI的支持:金色財經報道,加密貨幣貸款機構BlockFi今天宣布將支持BAT、DAI和UNI。除了在BlockFi利息賬戶中賺取加密復利外,客戶現在還可以購買、出售這些新加密資產并將其交易為BlockFi交易平臺上當前可用的任何加密資產。[2021/7/1 0:18:42]
此外,經過驗證的證明將比原始計算簡潔得多,并且還可以利用證明的零知識屬性來確保驗證者對計算本身一無所知。這種獨特的屬性組合具有深遠的影響,并提供了一種驗證信息的新方法。這些屬性共同平衡了隱私、安全和信任的需求,為更安全、更私密的數字世界提供了潛力。但在 ZK 充分發揮其潛力之前,仍存在一些障礙。
首先,在 ZK 中運行計算耗時太長且成本太高。證明時間和成本需要大幅下降,才能在ZK中實現復雜的計算。好消息是這些正在急劇下降:ZK 證明時間和成本的軌跡一直遵循技術史上熟悉的趨勢 - 無論是摩爾定律(計算成本每兩年減半)、弗拉特利定律(人類基因組測序成本以更顯著的速度下降)還是克萊德定律(磁盤密度大約每 13 個月增加一倍)。證明系統(Plonky2、Hyperplonk、STARK)的最新架構進步以及底層密碼學(Poseidon)的進步降低了創建任何計算的 ZK 證明所需的開銷。而這些領域的進步將繼續以類似的速度發生(特別是最近人才涌入ZK),證明管理費用也將受益于硬件加速(MSM, NTT)的進步,這是迄今為止尚未得到充分開發的東西。
Riot Blockchain半年收入增至430萬美元:金色財經報道,Riot Blockchain發布了2020年第二季度財務業績、近期運營和財務摘要。報告顯示,截至2020年6月30日的六個月收入從去年同期的380萬美元增加至430萬美元。截至2020年6月30日的六個月挖礦利潤率增至33.5%,而2019年同期為20.5%。此外,截止6月30日,Riot Blockchain宣布其比特幣挖礦能力比2020年第一季度提高了129%,到2020年第四季度將達到566PH/s,[2020/8/11]
ZK 大規模采用的另一個巨大障礙是 ZK 系統固有的高度復雜的數學和密碼學。推動ZK創新所需的深度和專業知識水平只有一小部分高技能的技術開發人員能夠勝任。
理想情況下,開發人員可以自由地用自己喜歡的語言編寫程序,同時仍然能夠以零知識證明計算,而無需使用低級、ZK 特定的編程語言去手寫輸入和設計電路。這就是 RISC Zero 的 Bonsai 平臺成為全球開發者游戲規則改變者的地方,也是我們投資 RISC Zero 的原因。
Blockstream首席執行官:區塊鏈是新的世界奇跡:金色財經報道,6月3日開采出的632874區塊使比特幣區塊鏈的預期累積工作達到了一個新的里程碑。Blockstream聯合創始人Pieter Wuille表示,該數字現在已經超過了2^92雙重SHA256哈希值。Wuille指出,之前的里程碑2^91哈希值是在2019年8月實現的。對此,加密技術先驅、Blockstream首席執行官Adam Back稱區塊鏈是“新的世界奇跡”,相比建造“埃及金字塔”需要“更多的工作”。[2020/6/5]
通過創建模擬 RISC-V 指令集架構 (ISA) 的零知識虛擬機 (zkVM),RISC Zero 構建了一個能夠證明低級代碼執行的系統。由于 ISA 是人類可讀代碼和機器可解釋指令之間的橋梁,這一成就意味著Bonsai網絡可以證明任何高級程序都可以被編譯成這種體系結構。由于大多數現代編程語言都與 RISC-V 兼容,RISC Zero 的 Bonsai 能夠以零知識執行幾乎任何任意計算機程序。
在零知識(ZK)計算變得普遍的未來,許多以前不可能的應用程序將成為可能。這不僅包括基于以太坊的應用程序,利用RISC Zero的盆景網絡作為協處理器(在驗證鏈上結果之前執行資源密集型的鏈下工作),還將擴展到加密貨幣以外的應用程序。例如,Bonsai可以讓白帽黑客在不直接披露漏洞的情況下證明安全漏洞和錯誤的存在。它還可以通過允許用戶下載和驗證ZK證明來確保他們運行的代碼在Bonsai中預先審計,從而防止未來對軟件的供應鏈攻擊。最令人興奮的是,Bonsai的廣泛采用可能會帶來尚未想象到的全新用例。
除了令人印象深刻的技術突破之外,RISC Zero背后還有著強大而獨特的團隊。三位聯合創始人Brian Retford、Jeremy Bruestle和Frank Laub已彼此相識 20 多年。他們共有的經歷包括共同創建多家公司,其中最近的一家公司涉足人工智能優化和編譯領域,最終被英特爾收購。
三人組的每位成員都為 RISC Zero 帶來了豐富的經驗:Brian 曾在 Google Cloud Platform 從事定價和計量系統工作;Jeremy 是一位終生的數學愛好者,致力于基因測序的 GPU 加速,并擁有密碼學、高性能計算(HPC) 和安全方面的背景;Frank 在編譯器方面擁有深厚的背景,并構建了眾多代碼庫。憑借共同的歷史和多樣化的技能,RISC Zero團隊具有獨特的優勢,他們向大眾提供零知識計算,并有可能在此過程中重塑數字格局。
當我們展望零知識計算廣泛普及的未來時,創新的可能性是無限的。RISC Zero 的 Bonsai 網絡能夠支持廣泛的編程語言,將使 ZK 計算民主化,并使開發人員能夠在各個領域創建安全、私有和無需信任的應用程序。從加強網絡安全措施到增強對軟件供應鏈的信任,再到大幅提高鏈上應用程序可用的計算能力,零知識計算的潛在影響是巨大的。快速下降的 ZK 證明時間和成本、RISC Zero 的忠誠團隊以及 Bonsai 作為多功能計算平臺的出現,預示著計算的新時代——隱私、安全和信任被構建到我們數字世界的結構中。
PANews
媒體專欄
閱讀更多
金色財經
金色薦讀
區塊鏈騎士
金色財經 善歐巴
Block unicorn
Foresight News
深潮TechFlow
6月21日,在聯合國教科文組織駐華代表處、中國文物信息咨詢中心(國家文物局數據中心)、中國文化遺產研究院的指導下,騰訊SSV數字文化實驗室與騰訊研究院聯合發起“探元計劃2023”.
1900/1/1 0:00:00作者:Mandy Williams,CryptoPotato;編譯:松雪,金色財經澳大利亞聯邦銀行 (CBA) 是澳大利亞最大的銀行,宣布暫時減少向加密貨幣交易所支付的“某些”款項.
1900/1/1 0:00:00做 L2,最近似乎成為了一種熱潮。從新興項目到老牌公鏈,都在積極探索和實施 L2 解決方案。7 月 17 日,由 BitDAO 孵化,采用 Optimistic Rollup 的模塊化 L2 解.
1900/1/1 0:00:00來源:Coindesk;編譯:比推BitpushNews Mary Liu門外漢對加密的最大誤解是什么:比特幣這樣的加密貨幣不是“真實的”.
1900/1/1 0:00:00作者:Rahul Nambiampurath 來源:beincrypto 編譯:金色財經,善歐巴 摘要 2023年第二季度,由于DeFi市場的疲軟,以太坊網絡的收入大幅下降.
1900/1/1 0:00:00作者:Katherine Ross,來源:blockworks 編譯:金色財經,善歐巴美國證券交易委員會(SEC)在24小時內對幣安(Binance)和Coinbase提起了嚴厲的訴訟.
1900/1/1 0:00:00