随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
东盟推出区域性碳信用标准（ASEAN-ACM），简化中小型垃圾管理项目认证流程
碳关税重塑全球垃圾处理产业链 东南亚成新枢纽
气候诉讼进入深水区：壳牌被判承担历史排放责任
绿证对应环境权益归属地管理加强 核销需明确消费场景与地理位置
上海碳普惠管理明确项目终止与场景变更机制 形成完整管理闭环
上海碳普惠减排场景实施动态管理机制：涵盖延续与变更流程，减排量可按日、月、年周期确认记录
经济学家警告：削弱欧盟碳市场将向工业界发出“灾难性信号”，呼吁强化而非削弱ETS
瑞士碳清除融资机构签署协议，预购逾30.5万碳清除信用，推动玻利维亚生物炭项目
东南亚碳市场发展势头增强但不均，项目开发商称机遇与挑战并存
加纳已签发占其第六条预算47%的授权书，国际碳信用合作项目审批加速
