上海新增5款已完成登记的生成式人工智能服务,累计已完成登记85款

5月14日消息,上海市网信办按照《生成式人工智能服务管理暂行办法》要求,有序开展上海市生成式人工智能服务备案工作(见公告)。同时,对通过API或其他方式直接调用已备案模型能力,且面向境内公众提供具有舆论属性或者社会动员能力的生成式人工智能服务开展登记工作,现将相关信息予以公告。截至5月13日,上海市新增5款已完成登记的生成式人工智能服务,累计已完成85款生成...
Blockchain News 发布于 

CertiK荣获以太坊基金会两项资助,助力zkEVM形式化验证新突破

5月14日消息,据以太坊基金会官网显示,区块链安全机构CertiK近日荣获以太坊基金会2025年第一季度两项研究资助,分别聚焦于开发者工具和zkVM电路验证的形式化手段提升: Verus工具评估:CertiK将评估Verus(一种Rust验证工具)在验证用Rust编写的电路及EVM预编译模块方面的实用性。 zkVM电路验证简化:该项目旨在开发策略以简...
Blockchain News 发布于 
Blockchain News 发布于