随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
已撤销超400万自愿减排量认证！Verra审查49个中国碳项目引发市场信任危机
全球航运业加速向IMO脱碳目标迈进
碳关税倒逼欧盟企业转向 罗马尼亚垃圾分拣厂出口激增
碳关税倒逼供应链重构 德国化工巨头采购转向
碳市场案例研究：加州ETS扩展至2045年，消费者负担措施成典范
Article 6信用需求 skeptic，29%受访者认为过渡CDM项目难觅买家，PACM吸引力待验
CORSIA与美国参与度低，仅6%受访者预期全合规，55%见部分自愿参与
EU ETS碳移除整合辩论持续，英国领先承诺2029年前纳入，欧盟政策中期明朗
英国调整碳边境税政策 与欧盟CBAM机制联动降低企业负担
国际金融公司首投土耳其气候转型债券 助力难减排行业脱碳
