随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
四川建立碳市场月度信息化存证机制，健全数据质量问题发现与整改闭环管理
上海市碳普惠减排量管理细则落地：年度确认、平台记录、禁止重复申报与环境权益冲突
上海碳普惠方法学规范性维度关注文本质量与协同效益，附加项鼓励创新突破最高可获10分
国家绿证核发交易系统功能定位明确 成为绿证权属判定与流转唯一依据平台
电网企业绿证数据报送流程细化 每月10日前需完成新增项目信息推送
绿证核发数据交叉核对机制完善 确保绿证核发准确可靠
可再生能源发电项目建档立卡时限明确 并网后一个月内须完成信息填报审核
碳泄漏新规重塑全球供应链 咖啡渣资源化成标杆
碳金融助力乡村振兴 印度农村垃圾治理新模式
日本碳信用转换机制争议升级：跨国核算漏洞或致减排量虚增
