随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
加州碳市场账户数量下滑，市场流动性面临考验
北美碳世界会议警示：VCM基础设施虽完善，但买方“漂绿”策略仍威胁市场诚信
华盛顿州配额拍卖供应降至历史新低，碳市场政策收紧信号推高长期价格预期
欧盟2040气候目标草案首提引入国际碳信用，但限制其用途且不纳入ETS交易
欧盟CBAM结束过渡期进入全面征收，首期证书价格锚定ETS均价约75欧元/吨
加拿大联邦与阿尔伯塔省就工业碳价时间表达成妥协，设定130加元目标但延后达标路径
碳信用金融工具创新：ABS与碳基金的跨界融合
碳信用价值链脱碳：制造业的"双轨制"减排实践
北京碳市场信息查询日志保存期延长 操作记录全量存储15年
秘鲁雨林碳项目开发商：健全土地确权与社区参与是项目成功的决定性因素
