鏈聞 ChainNews 誠邀讀者共同監督,堅決杜絕各類代幣發行、投資推薦及虛擬貨幣炒作信息。舉報

零知識證明快訊 資訊 新聞 官方宣佈 事件報道

零知識證明快訊, 區塊鏈零知識證明, 零知識證明是什麼, 零知識證明介紹, 零知識證明解讀, 零知識證明項目, 三分鐘瞭解零知識證明, 秒懂零知識證明, 如何評價零知識證明, 零知識證明怎麼樣, 零知識證明創始人, 零知識證明招聘, 零知識證明融資, 零知識證明價格, 零知識證明技術, 零知識證明社區, 零知識證明論壇, 零知識證明瀏覽器, 零知識證明排名, 零知識證明白皮書, 零知識證明本質, 零知識證明意義, 零知識證明代碼, 零知識證明遊戲, 零知識證明什麼意思, 零知識證明學習, 零知識證明培訓, 零知識證明教程, 零知識證明投資, 零知識證明賺錢, 零知識證明安全, 零知識證明漏洞

去中心化遊戲「黑暗森林」發佈 v0.5 版本,升級內容包括新增試驗性插件系統等

鏈聞消息,基於零知識證明技術 zkSNARKS 構建的去中心化實時戰略(RTS)遊戲「黑暗森林」(Dark Forest)發佈 v0.5 版本,升級內容包括新增試驗性插件(Plugin)系統以及可以通過探索宇宙發現的特殊黑暗森林 NFT。另外,該項目將爲排名前 15 的玩家提供 1024 DAI 的獎勵,快照時間爲 ET 時間 2021 年 1 月 8 日 23 點 59 分。目前,「黑暗森林」正在根據候補名單向約 1000 位用戶發送邀請。...

四位密碼學家發佈來自任何加法多項式承諾方案的遞歸 zk-SNARKs 論文 Halo Infinite

鏈聞消息,密碼學專家 Dan Boneh、Justin Drake、Ben Fisch 和 Ariel Gabizon 發佈預印本論文《Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme》。Justin Drake 稱該研究支持所有主要的多項式承諾方案,並且增加了三種無需可信初始化的選擇(DARK、Dory 和 FRI),還針對後量子基於 FRI 的遞歸進行了優化。...

Matter Labs 將爲 zkSync 推出原生代幣,以實現共識並加快交易確認速度

鏈聞消息,在 Crypto Tonight 活動中,以太坊擴容團隊 Matter Labs 首席執行官 Alex Gluchowski 正式公開其 zkSync 方案將推出原生代幣,用來實現該網絡中的共識,也可以加快交易確認速度。他表示,通過 zkSync 的代幣,原本需要 30 秒確認的交易,也許只需要 3 秒鐘就可以完成交易確認,「共識協議會協商出每一個區塊的出塊人,由它生成證明,並提交到以太坊網絡當中。這是治理無需許可的二層協議最直接的方法,因此我們的確需要這樣的代幣。」鏈聞注:「Crypto Tonight」是由 Winkrypto、鏈聞和 Yama 聯合推出的談話類節目,本期活動關注以太坊 Layer 2 和 Rollup 技術。

以太坊二層網絡解決方案 Hermez 開源項目所使用的 Circom 電路

鏈聞消息,以太坊二層網絡解決方案 Hermez 宣佈開源在項目中使用的 Circom 電路。Hermez 表示,電路是一組約束和規則,協調人必須遵循這些約束或規則處理所有允許的交易,並且爲了生成批量的 zk-SNARK 有效性證明,該證明將在以太坊主網上進行驗證。Hermez 的電路是由 Circom 編寫的,Circom 是 iden3 零知識技術堆棧中使用的編程語言,與其他電路編譯器不同的是,Circom 是一種 DSL 語言,語法類似於 C 和 javascript。Hermez 還表示他們建立了一個關於密碼學的通用電路庫 circomlib,其他項目已經在使用它,比如 Semaphore 和 Tornado.cash。

去中心化治理工具 Vocdoni 認爲以太坊和零知識證明等技術可以實現數字投票方案

鏈聞消息,去中心化治理工具 Vocdoni 撰文認爲在經歷了 2020 年美國大選期間的投票混亂之後,是時候該考慮基於以太坊、零知識證明(zkSNARK)和 IPFS 等去中心化技術實現安全且匿名的數字投票解決方案。Vocdoni 認爲這不是一個簡單的挑戰,但是他們設計了一套系統希望能解決投票的問題,將利用以太坊、IPFS 和 Tendermint 等技術。Vocdoni 表示他們的投票協議技術(Vocdoni Open Stack)是完全開源的,已經在歐洲的一些文化組織選舉中被證明是成功的,涉及近 20 萬投票者。

加密借貸平臺 Celsius 計劃利用 Horizen 的零知識證明創建儲備證明系統

鏈聞消息,據 Coindesk 報道,加密借貸平臺 Celsius Network 正在與隱私區塊鏈平臺 Horizen 合作,以利用 Horizen 的零知識證明創建一個儲備證明(Proof of Reserves)系統。 Celsius 首席技術官 Nuke Goldstein 表示,DeFi 的最大挑戰是透明度。儲備證明試點將獲取 Celsius 網站上顯示的信息,並從 Horizen 側鏈(並非 Celsius 內部服務器)獲取信息。該應用程序將首先按代幣類型顯示客戶的資產,並最終共享由 Horizen 的零知識證明工具包加密的 Celsius 交易數據,而不透露客戶的個人身份信息。

基於零知識證明的去中心化遊戲「黑暗森林」0.4 版本遷移至側鏈 xDAI,峯值 Gas 消耗量超過以太坊全網

鏈聞消息,基於零知識證明技術 zkSNARKS 構建的去中心化實時戰略(RTS)遊戲「黑暗森林」(Dark Forest)近期更新了 0.4 版本,從以太坊主鏈的測試網遷移至側鏈 xDAI,官方表示近幾日遊戲佔用 xDAI 網絡 80% 的交易量,在峯值期間 Gas 消耗量超過了整個以太坊主網。在該版本中,用戶不需要下載任何錢包工具或購買任何加密貨幣,官方會通過內置的 burner wallet 提供給邀請用戶 0.05 美元左右的 xDAI 資產,可以爲用戶提供約 100 次的鏈上交易,之後用戶就需要自己獲取 xDAI 進行交易。此次活動還爲排名前 15 的玩家提供 1024 DAI 的獎勵。黑暗森林是一款 MMO 太空征服遊戲,玩家在一個無限的、由程序生成的、密碼學特定的宇宙中發現並征服星球,開發者表示最終正式上線的黑暗森林宇宙是持久的,但是目前的測試版宇宙將定期刷新,另外該遊戲的名字來自於劉慈欣的科幻小說《三體》的第二部《黑暗森林》。該項目的開發者自稱爲 Thomas Wade 和 Da Shi,但未公開透露具體團隊信息。

基於零知識證明的平行鏈項目 Starks Network 獲得 Web3 基金會資助

鏈聞消息,基於 zk-STARK 技術的零知識證明平行鏈 Starks Network 項目獲得 Web3 基金會的審覈通過,正式進入 Web3 第三季度資助名單。由冰鏈科技公司申請的 Starks Network 項目定位是基於 zk-STARK 技術的零知識證明平行鏈,致力於爲波卡生態內的其它平行鏈提供零知識證明服務。所使用的核心技術與以色列 StarkWare 公司爲以太坊設計的 Cairo 項目有相似之處,都是使用 zk-STARK 虛擬機爲通用計算提供零知識證明的驗證服務。

Dystopia Labs 將於 10 月 19 日面向開發者舉行 ZKP 和隱私峯會

鏈聞消息,致力於防止區塊鏈世界的反烏托邦未來的初創工作室 Dystopia Labs 將於 10 月 19 日面向開發者舉行零知識證明(ZKP)和隱私峯會。該峯會爲期半天,完全免費。演講者包括輕量級區塊鏈協議 Coda Protocol 聯合創始人兼 CEO Evan Shapiro、零知識證明研發機構 StarkWare 的開源 ethSTARK 項目工程師 David Levit-Gurevich、去中心化金融公鏈項目 Findora 首席技術官兼聯合創始人 Ben Fisch、擴容項目 Matter Labs 聯合創始人兼 CEO Alex Gluchowski、隱私公鏈 Secret Network CEO Guy Zyskind、Zcoin 密碼學顧問 Aram Jivanyan 以及 Zcash 密碼學家 Sean Bowe 等多位領域內人士。

今年二季度以太坊基金會共向生態系統項目撥款逾 388 萬美元

鏈聞消息,以太坊基金會在今年第二季度共向生態系統項目撥款 388.4 萬美元,受助項目包括社區教育項目 Akomba Education Initiative、Couger 和 FOSS Responders,零知識證明項目 STARK-related explorations、zk-SUMMER、Hubble 等,以太坊 1.0 項目 OpenEthereum,以太坊 2.0 項目 Schlesi、Lighthouse、Prysm,以及二層項目 Perun、Fuel Labs 和 Unified State Channels 等。

Blockstream 開發出 Schnorr 多籤算法 MuSig-DN,可防禦因確定性隨機數導致的密鑰泄露攻擊

鏈聞消息,Blockstream Research 團隊宣佈已經開發出一種解決方案 MuSig-DN,可用於保護 MuSig 多籤方案的用戶免遭由惡意隨機數生成器和虛擬機重置攻擊而導致的密鑰泄露攻擊。該方案結合零知識證明和 Purify 實現,Purify 是一種有效的確定性隨機數推導函數。

區塊鏈投資機構了得資本宣佈投資跨鏈 DeFi 項目 POFID

鏈聞消息,區塊鏈投資機構了得資本宣佈投資高 TPS 和跨鏈 DeFi 項目 POFID。POFID 是一個基於圖靈完備智能合約結合零知識證明隱私保護區塊鏈公鏈技術的,提供去中心化方式治理鏈上資產的工具,一種綜合的 DeFi 基礎設施。POFID 可以提供數字資產和現實資產的關聯邏輯、鏈上託管、擔保、審計、流通和風控治理等一整套的解決方案。POFID 預計將在年內完成跨鏈和萬級 TPS 的底層研發。了得資本是一家資產管理和區塊鏈投資機構,主要在證券、區塊鏈、股權等領域進行投資和交易。近期成立了得資本 DeFi 基金,專注投資 DeFi 領域的優質項目,已經成功投資近 20 個項目,並聯合專業夥伴賦能項目成長。

去中心化衍生品交易所 dYdX 計劃集成 StarkWare 的二層擴容技術

鏈聞消息,去中心化衍生品交易所 dYdX 宣佈與零知識證明研發機構 StarkWare 達成合作,旨在將 StarkWare 的二層(Layer 2)擴容技術集成到其永續合約產品中並優化用戶體驗。dYdX 表示,在今年年底,其永續合約產品將由 StarkWare 解決方案提供支持。鏈聞此前報道,StarkWare 演示了通過其 StarkEx (二層擴容方案 ZK-Rollup)將 Reddit 上的子板塊 r/FortNiteBR (及其 Brick 代幣)引入以太坊主網的過程,每筆交易僅支付了 600 Gas 費用。鏈聞注,2018 年 7 月份,StarkWare 獲得了以太坊基金會提供的 400 萬美元資助,將研發對 STARK 友好的哈希函數和技術,併爲生態系統提供開源代碼。STARK 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展(例如分片)。

基於零知識證明的去中心化 RTS 遊戲「黑暗森林」上線以太坊測試網

鏈聞消息,基於零知識證明技術 zkSNARKS 構建的去中心化實時戰略(RTS)遊戲「黑暗森林」(Dark Forest)已上線以太坊測試網。黑暗森林是一款 MMO 太空征服遊戲,玩家在一個無限的、由程序生成的、密碼學特定的宇宙中發現並征服星球,開發者表示最終正式上線的黑暗森林宇宙是持久的,但是目前的測試版宇宙將定期刷新,另外該遊戲的名字來自於劉慈欣的科幻小說《三體》的第二部《黑暗森林》。該項目的開發者自稱爲 Thomas Wade 和 Da Shi,但未公開透露具體團隊信息。

StarkWare 發表由以太坊基金會資助的 STARK 友好散列函數研究報告

鏈聞消息,零知識證明研發機構 StarkWare 發表研究報告「STARK 友好的散列函數——調研與推薦」,記錄了以太坊基金會如何選擇標準化的 STARK 友好的散列函數(SFH)。2018 年 7 月,以太坊基金會給 StarkWare 一筆爲期 2 年的階段性捐贈,用於選擇 STARK 友好的散列函數,這樣就可以將區塊鏈的透明度與後量子安全證明系統結合使用,併爲基金會發佈一個開源高效的 STARK 系統。

微軟推出首個無需做可信設置的 zkSNARK 技術方案 Spartan

鏈聞消息,Microsoft (微軟)宣佈推出一種高效且通用的零知識證明技術方案 Spartan,該方案能在更短時間內以更高效的方式實現簡潔非交互的零知識證明(zkSNARK),是首個無需做可信設置的 zkSNARK 方案。據官方介紹,在公開的 SNARK 方案中,Spartan 的零知識證明驗證速度最快,根據對比基數的不同,速度大約爲 36-152 倍,生成證明的速度爲 1.2-416 倍。與最先進的(需要做可信設置的) zkSNARK 方案相比,對於任意 R1CS 實例,Spartan 的驗證器都要快 2 倍,數據並行工作負載速度快 16 倍。目前,該技術方案正在開發中,代碼庫也尚未進行安全審查和代碼審計,未來將提供標準化 API 接口。

StarkWare 已開源零知識證明代碼 ethSTARK

鏈聞消息,零知識證明研發機構 StarkWare 已在 GitHub 開源 ethSTARK。StarkWare 稱,「2018 年我們獲得以太坊基金會的資助去探索對 STARK 友好的哈希函數以及開源 ZKP 代碼。ethSTARK 代碼的證明速度將比現有的任何 ZKP 代碼快 20 倍。」鏈聞注,2018 年 7 月份,StarkWare 獲得了以太坊基金會提供的 400 萬美元資助,將研發對 STARK 友好的哈希函數和技術,併爲生態系統提供開源代碼。STARK 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展(例如分片)。

零知識證明研發機構 StarkWare 啓動基於 STARK 的可驗證延遲函數服務「VeeDo」

鏈聞消息,零知識證明研發機構 StarkWare 在以太坊主網上啓動了基於 STARK 的可驗證延遲函數(VDF)服務「VeeDo」。VDF 是一種可通過計算提供延遲和時間滯後的函數。 StarkWare 打算用 VeeDo 解決的第一個應用是以太坊上的無需信任的、不可支配的隨機性概念驗證(PoC)。目前,該 PoC 已在主網激活。另外,StarkWare 還在研究時間鎖(TimeLock)以及下一代 PoW 機制。鏈聞注,2018 年 7 月份,StarkWare 獲得了以太坊基金會提供的 400 萬美元資助,將研發對 STARK 友好的哈希函數和技術,併爲生態系統提供開源代碼。STARK 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展(例如分片)。

StarkWare 以 Reddit 演示 ZK Rollup 擴容,可降低 30% 以太坊 Gas 費用

鏈聞消息,零知識證明研發機構 StarkWare 演示了通過其 StarkEx (二層擴容方案 ZK-Rollup)將 Reddit 上的子板塊 r/FortNiteBR (及其 Brick 代幣)引入以太坊主網的過程,每筆交易僅支付了 600 Gas 費用。StarkWare 製作了一個模擬代幣以對應於現在在測試網上的 Reddit 的真實代幣。StarkWare 稱,「在此過程中,我們沒有造成網絡堵塞,並且在 12 小時內僅使用 2.5%的網絡。另外,支付的 Gas 價格比平均區塊 Gas 價格低 30%。如果直接在以太坊(沒有 StarkEx)上做同樣的事情,將在以太坊整個網絡上消耗 4.5 天。」StarkWare 還指出,「我們在 ERC-20 鏈上鑄造了 2 ^ 60 個代幣(稱爲「MockErc20」),並將其存放至代表 subreddit 的智能合約中。之後,又以無信任地方式將這些資產轉移到「subreddit 庫存」的鏈下帳戶中。我們共創建了 159 個批次,每個批次進行了 8,192 次轉移。每個批次都生成了 STARK 證明,我們還更新了帳戶餘額的鏈下 Merkle Tree。」鏈聞此前報道,Reddit 啓動基於以太坊區塊鏈的區塊鏈積分系統 Beta 測試,僅針對加密貨幣和 FortniteBR 兩個子版塊。在測試版中,這兩個子版塊的用戶可通過貢獻內容獲得代幣積分,並使用代幣投票、打賞和進行代幣轉移。

零知識證明研發機構 StarkWare 將在幾周內開源 ethSTARK

鏈聞消息,零知識證明研發機構 StarkWare 稱,「2018 年我們獲得以太坊基金會的資助去探索對 STARK 友好的哈希函數以及開源 ZKP 代碼。我們將在幾周內提前完成我們的工作。ethSTARK 代碼的運行速度將比現有的任何 ZKP 代碼快 20 倍。」鏈聞注,2018 年 7 月份,StarkWare 獲得了以太坊基金會提供的 400 萬美元資助,將研發對 STARK 友好的哈希函數和技術,併爲生態系統提供開源代碼。STARK 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展(例如分片)。
返回頁面頂部
返回鏈聞首頁