零知識證明文章 資訊 新聞 快訊 深度評論 介紹 解讀

鏈聞消息，基於零知識證明技術 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，但未公開透露具體團隊信息。

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

鏈聞消息，致力於防止區塊鏈世界的反烏托邦未來的初創工作室 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.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 Research 團隊宣佈已經開發出一種解決方案 MuSig-DN，可用於保護 MuSig 多籤方案的用戶免遭由惡意隨機數生成器和虛擬機重置攻擊而導致的密鑰泄露攻擊。該方案結合零知識證明和 Purify 實現，Purify 是一種有效的確定性隨機數推導函數。

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

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

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

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

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

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