-
公开(公告)号：CN117979281B
公开(公告)日：2024-05-28
申请号：CN202410389774.1
申请日：2024-04-02
Applicant: 北京大学
IPC: H04W12/00 , H04W12/106 , H04W76/14 , H04L67/104 , H04L9/40 , G06F16/22 , G06F16/27 , G06Q40/04
Abstract: 本发明公开一种面向无人机的区块链侧链创建方法和交互方法，属于区块链技术领域。本发明的面向无人机的区块链侧链创建方法是基于合约模版和实时环境参数的动态创建侧链，其不仅支持实现无人机群态势感知的动态调整能力，还能够做到当协同态势感知发生时，动态生成态势感知任务的专用侧链，实现任务相关交易与事件的低延迟、高通量处理。本发明的面向无人机的区块链侧链交互方法能够有效完成跨主体、跨任务的数据共享，并且能够做到当数据共享发生时，通过侧链协同完成数据的高速安全传输，以及智能合约层面的任务协同操作。
-
公开(公告)号：CN111581047B
公开(公告)日：2023-03-24
申请号：CN202010211697.2
申请日：2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种针对智能合约行为的监管方法，涉及区块链智能合约技术领域。该方法包括部署与执行两个阶段；部署阶段将现实中的监管规则和代监管主体的状态转变为推理形式系统中的数字化监管规则，并存储到数字化监管规则库；在智能合约中，将每一类待监管主体的每一种待监管操作都与一个监管标识符绑定；并为每个监管标识符编写监管脚本。执行阶段获取智能合约中的所有的监管标识符，得到代监管主体实例与行为实例；根据部署阶段确定的监管标识符与规则集和事实集的绑定关系，将与监管标识符相关的规则与事实加载进监管引擎；监管引擎执行每一个监管标识符对应的监管脚本，并最终给出本次智能合约调用的监管结果，实现对智能合约行为的监管。
-
公开(公告)号：CN118259919A
公开(公告)日：2024-06-28
申请号：CN202410245232.7
申请日：2024-03-05
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种基于CryptLang的隐私合约构建方法和代码生成系统，涉及区块链技术领域。该方法以以太坊作为底层的区块链，定义密码学任务对应的隐私合约的表达形式，以及隐私合约的执行过程，以实现密码学任务在代码生成系统上的数字化表达。密码学任务对应的隐私合约的表达形式通过CryptLang语言编写；CryptLang语言为嵌入在Solidity中的基于任务的语言；隐私合约代码生成系统包括前端界面和后端编译器；前端界面接受CryptLang语言编写的隐私合约代码作为输入，后端编译器执行代码生成，输出Solidity代码。该方法在代码生成系统中引入了隐私合约，并设计了智能合约编程语言CryptLang编写隐私合约，能够使密码学任务通过智能合约的形式进行数字化表达。
-
公开(公告)号：CN111563237A
公开(公告)日：2020-08-21
申请号：CN202010211696.8
申请日：2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
IPC: G06F21/14
Abstract: 本发明提供一种智能合约安全增强方法，涉及区块链智能合约安全技术领域。首先恢复智能合约字节码的控制流图，标记所有JUMP/JUMPI指令跳转的目的地址及其入栈指令、JUMP/JUMPI指令的位置以及跳转目的地址和跳转指令之间的前后位置关系；在智能合约原始字节码中寻找可插入替换字节码的位置并标记插入位置的地址；根据选择的不同地址混淆模式生成基础替换字节码；重构基础替换字节码和原始字节码中所有的跳转地址和跳转指令，恢复字节码的控制流图；在替换字节码中插入混淆后的跳转地址，将替换字节码插入到原始字节码中，生成新的智能合约字节码。该方法使常见的智能合约逆向分析工具的分析工作失效，增加合约的安全性。
-
公开(公告)号：CN118444896A
公开(公告)日：2024-08-06
申请号：CN202410511291.4
申请日：2024-04-26
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种面向领域特定问题的智能合约建模转译方法，涉及区块链技术领域。该方法首先基于标准BPMN规范的业务流程设计模式，提供可扩展的领域特定语言组件，生成BPMN业务流程模型；再将BPMN业务流程模型转译为对应的智能合约。针对业务流程中出现的BPMN元素、控制流、数据流这些要素按照类别进行转译，其中BPMN元素分为任务、扩展的DSL组件和其他BPMN元素。本发明方法以业务流程建模领域广泛使用的BPMN规范为基础，结合面向领域特定问题的DSL组件，使得领域专家能更加准确地表达领域知识，对领域特定业务进行高效建模，并使智能合约更加容易满足领域应用需求。
-
Patent Agency Ranking
公开(公告)号：CN119597326A
公开(公告)日：2025-03-11
申请号：CN202411476604.3
申请日：2024-10-22
Applicant: 北京大学
Abstract: 本发明公开一种基于漏洞报告的智能合约漏洞自动化修复方法及系统，属于区块链技术领域。所述方法包括：构建包含合约关键元素与漏洞代码切片的切片数据字典；对于一智能合约，基于该智能合约的漏洞描述获取结构化修复所涉及的合约关键元素，并结合所述切片数据字典，得到相关漏洞代码切片；生成所述相关漏洞代码切片的补丁代码；优化所述补丁代码，并使用优化后的补丁代码对该智能合约进行修复，得到所述智能合约的修复结果。本发明能够在源代码层面修复目前现实世界常见的逻辑漏洞、并且具备较高、较完整的修复率。
-
公开(公告)号：CN117979281A
公开(公告)日：2024-05-03
申请号：CN202410389774.1
申请日：2024-04-02
Applicant: 北京大学
IPC: H04W12/00 , H04W12/106 , H04W76/14 , H04L67/104 , H04L9/40 , G06F16/22 , G06F16/27 , G06Q40/04
Abstract: 本发明公开一种面向无人机的区块链侧链创建方法和交互方法，属于区块链技术领域。本发明的面向无人机的区块链侧链创建方法是基于合约模版和实时环境参数的动态创建侧链，其不仅支持实现无人机群态势感知的动态调整能力，还能够做到当协同态势感知发生时，动态生成态势感知任务的专用侧链，实现任务相关交易与事件的低延迟、高通量处理。本发明的面向无人机的区块链侧链交互方法能够有效完成跨主体、跨任务的数据共享，并且能够做到当数据共享发生时，通过侧链协同完成数据的高速安全传输，以及智能合约层面的任务协同操作。
-
公开(公告)号：CN119696828A
公开(公告)日：2025-03-25
申请号：CN202411682577.5
申请日：2024-11-22
Applicant: 北京大学
Abstract: 本发明属于安全密码应用技术领域，涉及一种抗女巫攻击的可监管隐私身份管理方法和系统。该方法包括：用户向凭证颁发机构CA申请凭证；用户利用获得的凭证在身份合约中注册假名；用户生成非女巫证明或可选择地披露身份信息的身份属性断言证明，并提交给DApp；DApp执行抗女巫检查或身份检查以验证用户提交的身份属性断言证明，检查通过后，用户能够访问DApp；如果发现用户或假名是恶意的，委员会披露或撤销与身份相关的信息和所有相关的假名。本发明支持全面的监管治理机制和细粒度的抗女巫攻击，同时提供强大的隐私保护能力，并具有去中心化、支持大规模假名追踪、高效率、支持选择性链接等多个优秀关键特性。
-
公开(公告)号：CN111563237B
公开(公告)日：2023-08-08
申请号：CN202010211696.8
申请日：2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
IPC: G06F21/14
Abstract: 本发明提供一种智能合约安全增强方法，涉及区块链智能合约安全技术领域。首先恢复智能合约字节码的控制流图，标记所有JUMP/JUMPI指令跳转的目的地址及其入栈指令、JUMP/JUMPI指令的位置以及跳转目的地址和跳转指令之间的前后位置关系；在智能合约原始字节码中寻找可插入替换字节码的位置并标记插入位置的地址；根据选择的不同地址混淆模式生成基础替换字节码；重构基础替换字节码和原始字节码中所有的跳转地址和跳转指令，恢复字节码的控制流图；在替换字节码中插入混淆后的跳转地址，将替换字节码插入到原始字节码中，生成新的智能合约字节码。该方法使常见的智能合约逆向分析工具的分析工作失效，增加合约的安全性。
-
公开(公告)号：CN111581047A
公开(公告)日：2020-08-25
申请号：CN202010211697.2
申请日：2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种针对智能合约行为的监管方法，涉及区块链智能合约技术领域。该方法包括部署与执行两个阶段；部署阶段将现实中的监管规则和代监管主体的状态转变为推理形式系统中的数字化监管规则，并存储到数字化监管规则库；在智能合约中，将每一类待监管主体的每一种待监管操作都与一个监管标识符绑定；并为每个监管标识符编写监管脚本。执行阶段获取智能合约中的所有的监管标识符，得到代监管主体实例与行为实例；根据部署阶段确定的监管标识符与规则集和事实集的绑定关系，将与监管标识符相关的规则与事实加载进监管引擎；监管引擎执行每一个监管标识符对应的监管脚本，并最终给出本次智能合约调用的监管结果，实现对智能合约行为的监管。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.031 seconds)
