-
公开(公告)号：CN118444896A
公开(公告)日：2024-08-06
申请号：CN202410511291.4
申请日：2024-04-26
申请人： 博雅正链(北京)科技有限公司 , 北京大学
摘要： 本发明提供一种面向领域特定问题的智能合约建模转译方法，涉及区块链技术领域。该方法首先基于标准BPMN规范的业务流程设计模式，提供可扩展的领域特定语言组件，生成BPMN业务流程模型；再将BPMN业务流程模型转译为对应的智能合约。针对业务流程中出现的BPMN元素、控制流、数据流这些要素按照类别进行转译，其中BPMN元素分为任务、扩展的DSL组件和其他BPMN元素。本发明方法以业务流程建模领域广泛使用的BPMN规范为基础，结合面向领域特定问题的DSL组件，使得领域专家能更加准确地表达领域知识，对领域特定业务进行高效建模，并使智能合约更加容易满足领域应用需求。
-
公开(公告)号：CN118259919A
公开(公告)日：2024-06-28
申请号：CN202410245232.7
申请日：2024-03-05
申请人： 博雅正链(北京)科技有限公司 , 北京大学
摘要： 本发明提供一种基于CryptLang的隐私合约构建方法和代码生成系统，涉及区块链技术领域。该方法以以太坊作为底层的区块链，定义密码学任务对应的隐私合约的表达形式，以及隐私合约的执行过程，以实现密码学任务在代码生成系统上的数字化表达。密码学任务对应的隐私合约的表达形式通过CryptLang语言编写；CryptLang语言为嵌入在Solidity中的基于任务的语言；隐私合约代码生成系统包括前端界面和后端编译器；前端界面接受CryptLang语言编写的隐私合约代码作为输入，后端编译器执行代码生成，输出Solidity代码。该方法在代码生成系统中引入了隐私合约，并设计了智能合约编程语言CryptLang编写隐私合约，能够使密码学任务通过智能合约的形式进行数字化表达。
-
公开(公告)号：CN117979281B
公开(公告)日：2024-05-28
申请号：CN202410389774.1
申请日：2024-04-02
申请人： 北京大学
IPC分类号： H04W12/00 , H04W12/106 , H04W76/14 , H04L67/104 , H04L9/40 , G06F16/22 , G06F16/27 , G06Q40/04
摘要： 本发明公开一种面向无人机的区块链侧链创建方法和交互方法，属于区块链技术领域。本发明的面向无人机的区块链侧链创建方法是基于合约模版和实时环境参数的动态创建侧链，其不仅支持实现无人机群态势感知的动态调整能力，还能够做到当协同态势感知发生时，动态生成态势感知任务的专用侧链，实现任务相关交易与事件的低延迟、高通量处理。本发明的面向无人机的区块链侧链交互方法能够有效完成跨主体、跨任务的数据共享，并且能够做到当数据共享发生时，通过侧链协同完成数据的高速安全传输，以及智能合约层面的任务协同操作。
-
公开(公告)号：CN117979281A
公开(公告)日：2024-05-03
申请号：CN202410389774.1
申请日：2024-04-02
申请人： 北京大学
IPC分类号： H04W12/00 , H04W12/106 , H04W76/14 , H04L67/104 , H04L9/40 , G06F16/22 , G06F16/27 , G06Q40/04
摘要： 本发明公开一种面向无人机的区块链侧链创建方法和交互方法，属于区块链技术领域。本发明的面向无人机的区块链侧链创建方法是基于合约模版和实时环境参数的动态创建侧链，其不仅支持实现无人机群态势感知的动态调整能力，还能够做到当协同态势感知发生时，动态生成态势感知任务的专用侧链，实现任务相关交易与事件的低延迟、高通量处理。本发明的面向无人机的区块链侧链交互方法能够有效完成跨主体、跨任务的数据共享，并且能够做到当数据共享发生时，通过侧链协同完成数据的高速安全传输，以及智能合约层面的任务协同操作。
-
-
-
搜索结果
4 条记录 (耗时 0.037 秒)
