区块链计算扩容项目TrueBit推出可验证计算平台Truebit Verify

金色财经报道，可验证计算区块链公司Jiritsu在两轮融资中总共筹集 1020 万美元。融资由 gumi Cryptos Capital 领投，Susquehanna Private Equity Investments、LLLP、Republic Capital 和其他投资者参与。Jiritsu 今天还推出了其资产代币化平台Tomei RWA。该公司计划利用新资金“加速 UVC 平台和 Tomei RWA 的开发和采用”。

金色财经报道，专注于数据加密隐私保护的去中心化解决方案NuLink宣布与由Binance Labs和Electric Capital支持的可验证计算协议Marlin Protocol合作，共同制定去中心化计算、人工智能、自动化等方面的新标准。

金色财经报道，zkFHE计算网络PADO与Arweave超级计算机AO合作发起可验证机密计算VCC，VCC将建立在AO上。PADO将逐步建立基于AO的去中心化计算机单元，并将使用Arweave区块链作为隐私数据存储层。用户可以通过PADO的zkFHE技术加密自己的数据，并将其安全地存储在Arweave区块链上。AO生态系统内的任何计算请求都将通过AO调度单元发送到PADO独家计算单元，计算机单元将计算任务发送到zkFHE计算节点。这些计算节点在Arweave上检索到用户的密文数据后，根据计算请求的要求完成相应的全同态计算和计算完整性证明。

金色财经报道，Web3可验证计算层Space and Time宣布加入Microsoft的增长计划--Microsoft Assisted Growth，该计划通过联合销售机会、商业市场等为Space and Time提供增强的资源和扩大对Microsoft生态系统的访问。

9月21日消息，BitMEX宣布，由于计算平台相关的问题导致系统出现连接问题，于今天21:05进入维护模式。所有资金都保持安全，BitMEX正在尽快修复。

7月8日消息，在2023世界人工智能大会全球区块链产业高峰论坛上，蚂蚁链宣布隐私协作平台AntChain FAIR进行全新架构升级，引入零知识证明（ZKP）为核心的可验证计算技术，从可信数据流转拓展到计算过程、数据属性以及身份的可验证。此外蚂蚁链FAIR在可信计算架构中加入新型零知识证明虚拟机zkWASM，实现指令级别的可证明特性，可以依托 WASM 多语言生态将多种前端语言编写的算法程序进行证明转化，而无需关心底层复杂的算法细节，提升开发应用的友好性。 FAIR 是蚂蚁链面向数据流转推出的隐私协作平台，综合了区块链和隐私计算的优势，协作流程由智能合约驱动，数据流转由隐私计算引擎来解决，并通过区块链技术确权，登记和交易共识，可以解决数据流通过程中，数据共享与隐私保护之间的天然矛盾。目前 FAIR 已经在杭数交、贵数所等多家数据交易所得到应用。