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

鏈聞消息，基於零知識證明技術的隱私應用平臺 Aleo 宣佈完成 2800 萬美元融資，由 a16z 領投，其他投資方爲 Placeholder VC、Galaxy Digital、Variant Fund、Coinbase Ventures、Polychain Capital、Slow Ventures、Dekrypt Capital、Scalar Capital、a_capital、zkValidator、Balaji Srinivasan 和 Ethereal Ventures （由 Joseph Lubin 新成立的風險投資基金）。...

鏈聞消息，Matter Labs 撰文介紹 TPS 遠超 zkSync 的鏈下數據可用性擴容方案 zkPorter 的部分原理，並同時揭露了部分代幣經濟學設計。團隊表示，zkPorter 將與 zkSync 2.0 同時上線以太坊主網，zkPorter 的賬戶可以與 zkSync 的賬戶進行直接交易，而 zkPorter 只需要支付 zkSync 百分之一的交易費，因爲 zkSync 的數據可用性由以太坊一層網絡提供，而 zkPorter 的數據可用性在鏈下，進行成千上萬次交易只需要在以太坊上發佈一次更新即可。zkPorter 的數據可用性將由 zkSync 的代幣持有者（可稱之爲 Guardians、守護者）來保障，他們通過簽署區塊來確認 zkPorter 賬戶的數據可用性，從而跟蹤 zkPorter 上的狀態，守護者使用 zkSync 代幣參與 PoS 證明。

鏈聞消息，PoS 質押服務商 Cryptium Labs 和 Heliax 的聯合創始人 Awa Sun Yin 撰文稱，Heliax 團隊即將推出區塊鏈網絡 Anoma Network，Anoma 是一種主權 PoS 區塊鏈，可供多個交易多方進行不受資產類型約束的隱私交易，主要特點包括採用零知識證明提供隱私保護、交易資產類型不受約束以及協調交易等。...

鏈聞消息，基於零知識證明構建的去中心化實時戰略（RTS）遊戲「黑暗森林」（Dark Forest）在郵件中宣佈將於本週末直播演示新模式「黑暗森林競技場」，該實驗性的功能是一種 RTS 風格的遊戲模式，團隊表示此模式與「黑暗森林」 0.6 版本一起開發，後續將公開更多信息。該直播活動將於 Twitter 和 Twitch 平臺進行。

鏈聞消息，輕量級區塊鏈協議 Mina Protocol 宣佈將於 PST 時間 3 月 16 日 17 點（北京時間 3 月 17 日 8 點）啓動主網候選版本（RC），比此前計劃發佈時間延遲一個小時。Mina Protocol 將分階段發佈 Mainnet 候選發佈版（RC），即，PST 時間 3 月 15 日上午 10 點至下午 4 點將 Seed peers 連接到主網候選版本和 O （1） Labs 團隊，爲 RC 的正式啓動準備 Seed peers 地址；PST 時間 3 月 15 日下午 4 點至 16 日下午 5 點，剩餘的 Seed peers 和持有大量 stake 的用戶將提前連接到網絡；3 月 16 日下午 5 點至 3 月 18 日下午 5 點正式發佈主網候選版本。 Mina Protocol 建議所有區塊生產者在正式發佈後的 48 小時內加入該網絡。...

鏈聞消息，輕量級區塊鏈協議 Mina Protocol 表示，主網候選版本 (RC) 計劃在 3 月 16 日發佈，這意味着經過兩年的嚴格測試和加強協議即將走向主網。如果進展順利，RC 將會成爲 Mina 的主網，需要所有的區塊生產者、節點在這一天準備好啓動主網，屆時所有區塊獎勵、SNARK 費用、賬戶餘額、交易等行爲將成爲 RC 主網的一部分。RC 在 3 月 16 日後將進行監控，以下是 RC 被認證爲實際主網的標準：網絡必須穩定；沒有出現需要部署修復程序的關鍵警報；鏈的質量必須足夠，如果由於參與度低而鏈質量不足，那麼 RC 將不會進入主網，每個人都必須把 RC 作爲實際的主網來對待和參與。...

鏈聞消息，由零知識證明研究機構 StarkWare 推出的專用編程語言 Cairo 宣佈正在開發一種簡單投票機制的應用，可以支持大規模的用戶以安全的方式投票並保存在區塊鏈上，去中心化組織（DAO）也將受益於該功能。該應用會收集用戶的選票，驗證每次投票的簽名，累計在一起後更新至默克爾樹，同時將生成一個 STARK 證明以確保本輪投票的有效性。最後這些數據會被髮送到一個鏈上的 STARK 驗證器智能合約，然後生效，應用的智能合約就可以驗證並更新至最新狀態。

鏈聞消息，以太坊 ZK Rollup 擴容方案 Hermez Network 表示，正在開發一個名爲「Rapidsnark」新的 zk-SNARKs 零知識證明模塊，它的速度比 ZCash bellman 庫快 2.5 倍，目前已經發布並開放了源代碼，其證明程序是一個可編程模塊，生成零知識證明並執行某些應用程序（如 Hermez zk-rollup）所需的密碼計算。...

鏈聞消息，以太坊隱私技術解決方案 Aztec 宣佈推出 Polaris v1.0 版本，Polaris 是爲零知識證明應用（prover-verifier 範式）特製的一類軟件協議模板（類似於 GPL 的概念），應用場景是在 Rollup 的相關應用中。此外，Polaris 還與零知識證明研發機構 StarkWare 就此進行合作，O'Melveny 首席專家 Heather Meeker 代表 StarkWare 起草，並由其自身的律師進行審查。...