Cysic宣布开源Venus zkVM计算引擎，以全局计算图重构零知识证明生成流程，并将ZisK进一步嵌入以太坊EIP-8025推动的L1证明市场讨论。

Cysic宣布开源Venus zkVM计算引擎，以全局计算图重构零知识证明生成流程，并借助ZisK切入以太坊EIP-8025证明市场讨论，瞄准L1实时证明基础设施。

SRBMiner-MULTI发布大版本更新，首次支持NVIDIA GPU，新增双挖与多算法支持。但KAS挖矿性能落后lolMiner与GMiner约15%，市场影响有限，未来优化可期。

人工智能正在重塑加密货币领域，AI代币被认为将引领下一轮牛市。本文梳理了2025年值得关注的AI加密项目，涵盖Render、Theta Network、Bittensor、The Graph、Fetch.ai、Ocean Protocol等十余个热门币种，并解析了AI加密货币的工作原理、优势、安全性与购买存储方式。请注意，本文内容不构成投资建议。