随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
"十五五"气候规划全文公开：2030年单位GDP碳排放较2025年降17%
EUA在82欧元平台整固，一周回吐5.3%
全国碳价三日连涨收96.61元，97元关口只差一步
法国国家级碳信用机制Label Bas Carbone认证项目超600个，均价32欧元且审计就绪
Puro.earth认证挪威首个沼气BECCS项目，签发700余份CORC
Verra确认与标普全球能源联合开发的下一代碳登记系统于2026年7月27日正式上线
IFC首笔欧元基准绿债10亿欧元，订单簿27亿欧元
欧委会批准四国扩大高耗电行业间接碳成本补偿
CBAM首个年度申报7月31日截止，钢铁进入过渡期第三阶段
《国家应对气候变化"十五五"规划》印发，碳市场有偿分配比例将有序提高
