鏈聞消息，基於零知識證明技術 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 將允許區塊鏈在兼備隱私和後量子安全的情況下進行大規模擴展（例如分片）。

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

鏈聞消息，零知識證明研發機構 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 兩個子版塊。在測試版中，這兩個子版塊的用戶可通過貢獻內容獲得代幣積分，並使用代幣投票、打賞和進行代幣轉移。