随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
直接空气捕集也能拿“CCS+”证书了：Puro把方法学并进同一套登记系统
欧盟部长级甲烷规则磋商推迟至下周，议会已表决三年延期
环保组织模型：欧盟ETS改革或造成长期配额过剩
德国nETS固定价格阶段开售，EUA周拍卖量1186.75万吨
200万份移除证书：碳移除的“登记规模”到了一个台阶
非盈利机构分析称欧盟碳市场改革方案与2040目标不符
自愿碳市场周报：CORSIA 期货缓慢逼近 13 美元，投标与退役添暖意
维也纳碳资产管理机构落子伦敦，主攻 CORSIA 合规信用
美国碳认证企业就水泥碳捕集封存方法学启动公众咨询
印度2027年加入CORSIA，将新增1.4亿吨CO2抵消需求
