云南电网申请智能合约转换方法及系统专利，有效提高智能合约安全性

金融界2025年4月28日消息，国家知识产权局信息显示，云南电网有限责任公司申请一项名为“一种Event-B模型智能合约转换方法及系统”的专利，公开号CN119883203A，申请日期为2024年12月。

专利摘要显示，本发明公开了一种Event‑B模型智能合约转换方法及系统，包括：利用扩展巴科斯范式，设定转换工具的输入输出范围；基于所定义的输入输出范围，针对Event‑B模型语法子集中的每个元素，设计具体的转换规则；采用编程语言将Event‑B模型转换为Solidity代码，完成智能合约的形式化设计开发。本发明实现形式化模型与智能合约的在线转换，有效提高智能合约安全性。

天眼查资料显示，云南电网有限责任公司，成立于1991年，位于昆明市，是一家以从事电力、热力生产和供应业为主的企业。企业注册资本2906811万人民币。通过天眼查大数据分析，云南电网有限责任公司共对外投资了152家企业，参与招投标项目5000次，财产线索方面有商标信息1条，专利信息3469条，此外企业还拥有行政许可82个。

来源：金融界