隨著區塊鏈技術的愈演愈烈，很多人開始在以太坊（Ethereum）的“智能合約語言”上做文章。其中一部分是搞 PL 的人，他們試圖對 Solidity 之類語言寫的智能合約進行形式驗證，號稱要用嚴密的數理邏輯方法，自動的驗證智能合約的正確性。其中一種方法是用“深度學習”，經
審定與核查機構出具項目審定報告后，CCER項目業主可以向注冊登記機構申請溫室氣體自愿減排項目登記
項目業主公示CCER PDD報告時，應當同步公示其所委托的第三方審定與核查機構的名稱 公示期為二十個工作日
2012年11月8日之后開工建設的項目才可以申請CCER核證減排量
CCER項目設計文件公示期為二十個工作日。公示期間，公眾可以通過注冊登記系統提出意見
CCER項目業主公示項目設計文件時，應當同步公示其所委托的審定與核查機構的名稱
CCER項目業主申請溫室氣體自愿減排項目登記前，應當通過注冊登記系統公示項目設計文件，并對公示材料的真實性、完整性和有效性負責
申請溫室氣體自愿減排項目登記的項目業主應當按照項目方法學等相關技術規范要求編制項目設計文件
CCER項目方法學應當根據經濟社會發展、產業結構調整、行業發展階段、應對氣候變化政策等因素及時修訂待條件成熟時納入國家標準體系
全國CCER交易機構制定核證自愿減排量交易的具體業務規則，并報生態環境部備案。
全國CCER交易機構維護市場健康發展，防止過度投機，防范金融等方面的風險
