随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
中国将于COP30前宣布2035年国家自主贡献目标
交通运输部等十部门印发《关于推动交通运输与能源融合发展的指导意见》
2024年全国累计核发绿证49.55亿个
国家能源局：绿证核销功能上线
国家林草局：我国年均修复草原超4600万亩
上海市发展和改革委员会印发《上海市2025年碳达峰碳中和及节能减排重点工作安排》
川渝：全国首个跨省域“双碳”服务平台上线
蚂蚁森林在河北丰宁累计种植超160万棵樟子松
百事公司亚太区第三届绿色加速器项目十佳入围企业揭晓
各年度配额价格权重均为五分之一！全国碳市场上线“碳排放配额24”
