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

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

Vinanz获得400万美元桥接融资推动比特币业务扩展,首期200万美元已到账

5月14日消息,据London Stock Exchange公告,伦敦证券交易所上市公司Vinanz Limited已通过美国投行Dominari Securities与一全球投资机构达成投资协议,首期200万美元已到账,将用于扩展比特币资产,并计划未来在纳斯达克实现双重上市。第二期200万美元资金将在满足特定条件后可提取。该融资为12个月期可转换债,利率为...
Blockchain News 发布于