Pramaana Labs 为使用 LEAN 证明的 AI 形式化验证筹集 $27M 种子轮融资
据 Beating，AI 形式化验证初创公司 Pramaana Labs 已完成一轮 2700 万美元种子轮融资，由 Khosla Ventures 领投，Accel、BoldCap、Nexus Venture Partners、Premji Invest 和 Unbound 参与。该公司使用 LEAN，一种用于验证数学定理的开源编程语言，在大型语言模型之上构建一个确定性验证层，面向法律、药物研发和税务合规等高风险行业。
Pramaana 正与前美国国税局（IRS）专员 Danny Werfel 合作开展税务应用，并与来自 IIT Delhi、IIT Madras 以及 UC Berkeley 的教授合作，开发网络安全和药物研发验证系统。
Vitalik 发布文章介绍二进制字段的证明系统 Binius
Vitalik发布文章讨论构建通过直接对零和一进行操作而运行得更快的证明系统Binius，使用了许多数学技巧，使其与三年前的SNARK和STARK截然不同。文章阐述了为什么小字段使证明生成更高效的原因、为什么二进制字段具有...
Sonic：已冻结与 Balancer 黑客相关的两个地址，以等待进一步调查Sonic发推表示，由于Balancer黑客攻击事件牵涉到了Sonic生态项目Beets，作为预防措施，该团队已部署了一项安全机制，该机制计划在即将进行的网络升级中实施。此外，黑客相关的两个钱包（0xf19f、0x0453）已被冻结，...
数字资产投资产品上周净流入 2.3 亿美元据CoinShares，受美联储会议被市场解读为“鹰派按兵不动”影响，数字资产投资产品上周净流入放缓至2.3亿美元。数据显示，FOMC会前两日合计流入6.35亿美元，但会后出现约4.05亿美元流出。BTC录得2.19亿美元流入，但做...
稳定币交易平台 XFX 完成 1700 万美元 A 轮融资，Castle Island Ventures 领投据《财富》报道，稳定币与法币交易平台XFX宣布完成1700万美元A轮融资，由CastleIslandVentures领投，其余参投方信息尚未完全披露。XFX旨在为机构和零售用户提供高效的稳定币对法币、以及不同稳定币之间的实时兑换服...
Meike Home 进入重组前阶段，控股股东的重组形式已正式获批2026年4月30日，美克家居（600337.SH）发布公告称，乌鲁木齐市中级人民法院已立案并登记其预重整申请，指定辅助机构负责相关工作。根据公司披露的报备通知，法院指定北京金渡（海口）律师事务所、新疆聚辰律师事务所...