(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210420316.0 (22)申请日 2022.04.21 (71)申请人 博雅正链 （北京） 科技有限公司 地址 100037 北京市西城区阜成门外大街 31号6层6 01A (72)发明人 陈钟　高健博　任立峰　李青山　 (74)专利代理 机构 沈阳东大知识产权代理有限 公司 21109 专利代理师 李珉 (51)Int.Cl. G06F 8/30(2018.01) G06F 8/60(2018.01) G06Q 20/40(2012.01) G06Q 40/04(2012.01) G06N 5/02(2006.01)G06F 16/27(2019.01) G06F 16/2455(2019.01) (54)发明名称 基于RegLang的区块链监管合约构建方法和 区块链系统 (57)摘要 本发明提供一种基于RegLang的区块链监管 合约构建方法和区块链系统， 涉及区块链技术领 域。 该方法通过RegLang语言定义监管规则对应 的监管合约的表达形式， 以及监管合约的执行过 程， 以实现监管规则在区块链系统上的数字化表 达； 监管合约通过 RegLang语言编写， 包 括多个知 识库代码块和规则代码块， 每个监管合约包括任 意个知识库代码块和任意个规则代码块； 每个知 识库代码块中包括多个知识， 在知识库代码块中 定义的知识能够在规则代码块中使用， 每个规则 代码块描述一条监管规则； 区块链系统在现有的 区块链基础上， 支持业务合约和监管合约的运 行， 以实现通过监管合约对业务合约进行实时监 管。 权利要求书2页 说明书7页 附图4页 CN 114780072 A 2022.07.22 CN 114780072 A 1.一种基于RegLang的区块链监管合约构建方法， 其特征在于： 定义监管规则 对应的监 管合约的表达形式， 以及监管合约的执行过程， 以实现监管规则在区块链系统上 的数字化 表达； 所述监管规则对应的监管合约的表达形式为： 监管合约通过RegLang语言编写， 包括多 个知识库 代码块和规则代码块， 每个监管合约包括任意个知识库 代码块和任意个规则代码 块； 每个知识库代码块 或规则代码块以关键字knowledgebase或rule以及名称开头， 以关键 字end结尾； 每个知识库代码块中包括多个知识， 在知识库代码块中定义的知识能够在规则 代码块中使用； 每个规则代码块描述一条监管规则， 包括一个以reg开头， 冒号结尾的监管 范围语句和任意个监管规则语句； 每个监管规则语句的内容除关键字外为一个逻辑表达 式； 逻辑表达式的值决定监管规则语句及监管 范围语句的真或假， 进 而确定监管规则的值。 2.根据权利要求1所述的基于RegLang的区块链监管合约构建方法， 其特 征在于： 所述监管规则语句分为以require关键字开头的强制性监管规则语句和以prohibit关 键字开头的禁止性监管规则语句； 当监管规则语句的逻辑表达式的值为真时， 监管范围语 句的值为真； 当逻辑表达式的值为假时， 监管范围语句的值为假； 当逻辑表达式的值为真 时， 强制性监管规则语句的值为真； 当逻辑表达式的值为假时， 强制性监管规则语句的值为 假； 当逻辑表达式的值为假时， 禁止性监管规则语句的值为真； 当逻辑表达式的值为真时， 禁止性监管规则语句的值为假； 如果监管范围语句的值为假， 则该监管规则的值为真； 如果 监管范围语句的值为真， 则： 如果所有监管规则语句的值为真， 则该监管规则的值为真； 如 果有任意 一个或以上的监管规则语句的值 为假， 则该监管规则的值 为假。 3.根据权利要求1所述的基于RegLang的区块链监管合约构建方法， 其特 征在于： 所述RegLang语言的语法规则为： 所述RegLang语言支持基础数据类型， 支持数值数组和字符串数组； RegLang支持算术 运算符、 成员运算符、 比较运算符和 逻辑运算符四类运算符； RegLang语言提供四组内置函 数： (1)at _least()和at_most()： 这两个函数用于计算数组中至少或至多有若干元素满足 逻辑表达式， 两个函数均有两个参数： 第一个参数是一个数值， 第二个参数是一个逻辑表达 式， 表达式的左侧必须是一个数组； (2)any_item()和all_items()： 这两个函数计算数组 中是否存在 满足逻辑表达式的元素或者数组中是否任一元素都满足逻辑表达式， 两个函数 都只有一个参数， 该参数是一个逻辑表达式， 表达式的左侧必须是一个数组； (3)length ()： 该函数用于计算数 组中元素的个数， 函数只有一个数 组类型的参数； (4)count()： 该函 数用于计算参数中表达式为真的个数， 函数有任意数量的参数， 每个参数都是一个逻辑表 达式， 函数返回表达式为真的个数。 4.根据权利要求1所述的基于RegLang的区块链监管合约构建方法， 其特 征在于： 所述监管合约的执 行过程为： 步骤S1、 将监管合约解析为抽象语法树； 步骤S2、 分析业务合约的源代码， 获得对应业务合约的存储布局， 即业务合约中的变量 在区块链状态数据库中实际存 储时的键； 步骤S3、 依次执行监管合约的每条规则代码块， 验证业务合约的交易是否符合监管合 约的要求， 在监管合约执行过程中， 如果需要读取业务合约的变量状态数据， 则连接到区块 链的状态数据库， 根据步骤S2中业 务合约的存 储布局读取变量所对应键的值；权　利　要　求　书 1/2 页 2 CN 114780072 A 2步骤S4、 如果所有规则代码块的执行结果都为真， 则监管合约的执行结果为真， 业务合 约的交易符合监管规则； 如果有任意一条或以上规则代码块的执行结果为假， 则监管合约 的执行结果为假， 业务合约的交易 不符合监管规则。 5.一种区块链系统， 在现有的区块链基础上， 支持业务合约和权利要求1所述监管合约 的运行， 以实现通过监管合约对业 务合约进行实时监管， 其特 征在于： 所述区块链系统的用户包含普通用户 和监管用户； 所有用户均能部署业务合约， 只有 监管用户能够部署监管合约； 业务合约通过Solidity或其他智能合约编程语言编写， 部署 方式为用户将业务合约的二进制代码以交易的形式发布到区块链系统中； 监管合约通过 RegLang编写， 部署方式为监管用户将监管合约的源代码和监管合约绑定的业务合约地址 以交易的形式发布到区块链系统中； 具体地， 一个监管合约能够与一个或多个业务合约绑 定， 不同监管合约能够同时绑定 到相同的业 务合约上。 6.根据权利要求5所述的一种区块链系统， 其特征在于： 所述区块链系统处理交易的流 程为： 步骤1、 普通用户向区块链 节点发送交易， 调用业 务合约； 步骤2、 区块链记账节点将交易打包成区块， 广播给区块链系统中的所有节点， 并完成 区块链系统的共识过程； 步骤3、 区块链 节点根据交易中的参数 执行业务合约， 生成交易读写集； 步骤4、 区块链节点调用该业务合约对应的监管合约， 如果监管合约的执行结果为真， 则将读写集写入区块链的状态数据库； 否则将交易标记为无效， 不改变区块链的状态数据 库。权　利　要　求　书 2/2 页 3 CN 114780072 A 3