Nil Foundation已在以太坊Sepolia測試網推出Proof Market

7月28日消息，ZK 技術開發商 Nil Foundation 發文稱，Proof Market 已集成以太坊 Sepolia 測試網，為所有 EVM 應用程序實現可證明計算的可組合性。Proof Market EVM 端點使可證明計算與 EVM 應用程序兼容，這些應用程序不僅可以使用 zkLLVM 與 Proof Market 簡化 zkProof 生成，還可以將證明排序原生集成到 Solidity 語言的應用程序代碼中。通過該 EVM 端點，以太坊資產可以參與可證明計算，并將 Proof Market 集成到處理以太坊流動性的任何應用程序管道中。Proof Market 允許開發者按需處理 zk，從根本上降低了構建 zk 應用程序的復雜性。

Proof Market 測試版于 2023 年 1 月發布，起初主要用于以太坊 L1 之外的協議，其未來用例包括 zkML、zkOracles、zkBridges、欺詐證明等。

其它快訊：

Ault Alliance子公司BitNile將6572臺比特幣礦機移出德州托管設施:金色財經報道，多元化控股公司Ault Alliance, Inc.今天宣布，由于2022年9月比特幣礦企Compute North申請破產，其子公司BitNile, Inc.目前正在將比特幣礦機搬出得克薩斯州Wolf Hollow托管設施。

BitNile, Inc.于2022年8月16日與Compute North, LLC簽署了一項托管協議，以獲得20兆瓦的挖礦電力。根據該協議，BitNile, Inc.將6572臺比特幣礦機轉移到Compute North位于得克薩斯州的Wolf Hollow托管設施。（BusinessWire）[2023/2/10 11:59:38]

Algorand 基金會任命 Anil Kakani 為印度地區負責人:金色財經報道，Algorand 基金會任命 Anil Kakani 為印度地區負責人，Kakani 將領導 AlgoBharat 團隊和 Algorand 在印度的所有編程和項目，包括大學教育項目、社區項目以及私人和公共合作伙伴關系。

據悉，Kakani 此前在華盛頓特區的公共和私營部門擔任過多個職務，包括擔任美國財政部的印度高級顧問，在那里他建立了美國財政部和印度財政部之間的第一個雙邊伙伴關系。他還曾擔任康寧公司印度商業發展總監，并在印度的 Anand Rathi Investment Banking 和美國的 Vikasa Holdings 擔任高級領導職務。[2022/11/29 21:10:27]

以太坊基金會和 Mina 基金會將捐助 =nil Foundation 120萬美元:10月1日消息，以太坊基金會和 Mina 基金會決定向 =nil; Foundation 的 Crypto3 團隊授予 120 萬美元的合同，以在以太坊虛擬機上驗證 Mina 的 Pickles SNARK。這將使得 Mina 能夠在以太坊和其他基于 EVM 的鏈（如 Polygon）上進行驗證，允許其他鏈上的 dapp 訪問 Mina 上由 zk-SNARK 驅動的去中心化應用程序（Snapp），使數字可驗證性和隱私成為常態的方式。今年二月份， Mina Protocol 基金會與以太坊基金會宣布了一項聯合提案請求（RFP），尋求第三方團隊在以太坊區塊鏈上實現可遞歸的 SNARK 應用。

Mina 由可驗證計算領域領導團隊 O(1) Labs 構建，使用密碼學和遞歸零知識證明 zk-SNARKs 來設計一個完整的區塊鏈，使其大小能夠保持約 22KB。[2021/10/1 17:19:15]