-
公开(公告)号：CN118444896A
公开(公告)日：2024-08-06
申请号：CN202410511291.4
申请日：2024-04-26
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种面向领域特定问题的智能合约建模转译方法，涉及区块链技术领域。该方法首先基于标准BPMN规范的业务流程设计模式，提供可扩展的领域特定语言组件，生成BPMN业务流程模型；再将BPMN业务流程模型转译为对应的智能合约。针对业务流程中出现的BPMN元素、控制流、数据流这些要素按照类别进行转译，其中BPMN元素分为任务、扩展的DSL组件和其他BPMN元素。本发明方法以业务流程建模领域广泛使用的BPMN规范为基础，结合面向领域特定问题的DSL组件，使得领域专家能更加准确地表达领域知识，对领域特定业务进行高效建模，并使智能合约更加容易满足领域应用需求。
-
公开(公告)号：CN114462624B
公开(公告)日：2024-07-26
申请号：CN202210127941.6
申请日：2022-02-11
Applicant: 博雅正链(北京)科技有限公司 , 博雅正链(重庆)科技有限公司 , 南京博雅区块链研究院有限公司
Abstract: 本发明提供一种基于区块链开展可信联邦学习的方法，涉及区块链技术领域。该方法涉及任务发布者、数据拥有者和区块链共识节点；任务发布者通过联邦学习，在不收集隐私数据的前提下完成模型的训练，同时可以免除检验模型的工作量；数据拥有者只需按照普通的联邦学习进行训练即可；区块链共识节点负责对数据拥有者提交的训练好的模型进行验证，并聚合得到聚合模型；区块链共识节点相互之间对聚合模型进行共识验证；任务发布者检验聚合模型，如果聚合模型能够满足任务发布者的要求，任务结束。该方法可以有效地保护数据提供者的数据隐私，有效的避免了联邦学习参与节点作恶影响整个联邦学习过程正常进行的问题。
-
公开(公告)号：CN118014594A
公开(公告)日：2024-05-10
申请号：CN202410068393.3
申请日：2024-01-16
Applicant: 南京博雅区块链研究院有限公司 , 博雅正链(北京)科技有限公司
IPC: G06Q30/018 , G06Q30/0601 , G06F21/62 , G06F21/64 , G06Q10/083 , G16Y10/45 , G16Y30/10 , G16Y40/50
Abstract: 本申请公开了一种基于物联网和区块链的供应链金融管理方法及平台服务器，涉及供应链技术领域，通过监管部门客户端确认供应商客户端入驻平台的产品信息并存储到区块链中；根据产品信息评估供应商的产量并开启预售；根据消费者客户端的产品预购需求向金融机构和银行客户端进行融资，并将融资数据存储到区块链中；接收供应商客户端、仓储公司客户端以及物流公司客户端通过物联网设备采集到的产品实时信息，并存储到区块链中；接收消费者客户端交付的剩余尾款，将尾款根据智能合约写入供应商账户、投资人账户和平台账户。本申请解决了由于信息不平等导致供应商和消费者之间不信任的问题，同时，区块链保证了信息的安全性。
-
公开(公告)号：CN112199735B
公开(公告)日：2024-04-26
申请号：CN202011022370.7
申请日：2020-09-25
Applicant: 博雅正链(北京)科技有限公司 , 南京博雅区块链研究院有限公司 , 北京大学
IPC: G06F21/64 , G06Q20/38 , G06Q20/12 , G06Q30/0601
Abstract: 本发明提出的一种基于区块链的垂直电商交易平台，包括数据存储层、智能合约服务层、业务逻辑层以及应用层；数据存储层包括区块链系统，数据存储层基于区块链系统用于垂直电商交易平台数据的存储；智能合约服务层用于创建智能合约、存储智能合约、运行智能合约以及对接数据存储层与业务逻辑层；业务逻辑层包括业务逻辑模块以及工作流引擎模块，工作流引擎模块基于业务逻辑模块实现工作流的按序进行；应用层为面向终端用户可视化平台端口。上述基于区块链的垂直电商交易平台，规范化业务逻辑，实现垂直电商交易平台交易、回款等流程的上链存证和自动化执行，提高了流程管理效率，解决了业务流程复杂，跨多系统，效率低且易出错的问题。
-
公开(公告)号：CN115904479A
公开(公告)日：2023-04-04
申请号：CN202211667778.9
申请日：2022-12-22
Applicant: 博雅正链(北京)科技有限公司
IPC: G06F8/71 , G06F40/253 , G06F16/901 , G06N5/04 , G06Q40/00
Abstract: 本发明提供一种监管合约规则冲突检测方法，涉及区块链技术领域。本发明以监管合约代码作为输入，将监管合约中的监管规则符号化，并利用符号分析技术把监管规则冲突问题转化为约束求解问题，通过SMT求解器进行定理证明，发现监管规则中的各类型冲突，或证明监管规则无冲突。具体包括类型分析阶段、监管规则符号化阶段以及冲突检测阶段。本发明能够在区块链金融应用中检测监管合约的自冲突、完全冲突、局部冲突等规则冲突问题，为实现监管规则数字化提供有效性保障。
-
Patent Agency Ranking
公开(公告)号：CN110866172B
公开(公告)日：2023-01-03
申请号：CN201911079968.7
申请日：2019-11-07
Applicant: 博雅正链(北京)科技有限公司 , 南京博雅区块链研究院有限公司 , 北京国信云服科技有限公司
IPC: G06F16/9532 , G06F16/958 , G06F16/2458 , G06F16/27 , G06F40/30
Abstract: 本发明提供一种面向区块链系统的数据分析方法，涉及区块链技术领域。该方法首先部署区块链的完整节点，将这些节点连接到区块链网络，并与区块链网络中的其他节点进行同步；通过RPC与部署的区块链节点进行通信，从区块高度为1的区块开始按顺序读取每个交易中的数据；对获取的每个交易中的数据依次判断其是否为与智能合约特征相关的无效数据，并对其进行编码并丢弃高于设定阈值的无效编码的数据；然后确定数据所使用的语言，最后进行敏感关键词的匹配及情感分类，并对匹配到敏感关键词的数据和判定为负面的数据进行报警。本发明方法针对区块链舆情的特点进行针对性的设计，有效的提高了区块链舆情数据分析的准确性。
-
公开(公告)号：CN114282227B
公开(公告)日：2022-08-26
申请号：CN202210029433.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种Fabric区块链系统智能合约的安全分析检测方法，该方法与智能合约的开发语言无关，通过将不同开发语言编写的智能合约统一转换为中间语言IR，并根据IR语言特征改进污点分析方法，实现在IR上跟踪安全风险的产生和传播过程，由此检测识别其是否存在安全漏洞。本发明将Fabric区块链系统智能合约安全分析与智能合约编程语言解耦，不仅弥补了当前对于Fabric智能合约安全分析方案的空白，且支持对新漏洞类型和新智能合约编程语言的持续拓展。
-
公开(公告)号：CN114840545A
公开(公告)日：2022-08-02
申请号：CN202210745036.7
申请日：2022-06-29
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公开了一种支持状态快速更新的区块链细粒度编辑方法，其步骤包括：对于可编辑区块链每一首次执行的交易，根据该交易的执行过程信息生成该交易的快速执行代码并记录该交易执行过程的读集与写集；在区块链编辑权限拥有者编辑区块链上某个历史交易的编辑事件发生后，乐观地并行执行读集元素的状态相较于初次执行时发生改变的交易，并用该交易在首次执行时生成的快速执行代码加速交易的执行。在更新完某区块B中的所有交易后，并行更新区块B及其之前被此次更新影响的所有区块的块头中的状态树、交易树和收据树信息。本发明可以降低可编辑区块链节点进行编辑操作之后，区块链节点更新状态所需的时间和计算资源，提高了可编辑区块链的性能。
-
公开(公告)号：CN114048464A
公开(公告)日：2022-02-15
申请号：CN202210029518.2
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统，将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型，针对智能合约源代码，判断是否包含漏洞，从而实现智能合约安全漏洞的检测；包括：进行以太坊智能合约源代码数据的预处理；构建智能合约源代码语义表征学习模块，包括编码层/编码器、检测层/分类器以及模型融合输出模块；训练模型；测试阶段利用训练好的智能合约源代码语义表征学习模块，实现基于机器学习的区块链智能合约安全漏洞检测，有效提升了以太坊智能合约安全漏洞的检测性能。
-
公开(公告)号：CN113921126A
公开(公告)日：2022-01-11
申请号：CN202111270558.8
申请日：2021-10-29
Applicant: 博雅正链(北京)科技有限公司
Abstract: 本发明提供一种基于区块链的中医消化领域可信联合循证分析平台及方法，涉及区块链技术和中医消化技术领域。该平台及方法基于中医消化领域的中医医院、科研机构、药企及消化病协同联盟管理单位间构建中医消化病协同循证分析联盟链，在各医院建立私有中医消化领域优势病种数据管理系统，在联盟管理中心构建基于区块链的可信联合循证分析平台，依托面向横断面研究、队列研究、病例对照研究、疗效评价研究等病学研究的智能合约和联邦学习模型，为跨医院、跨机构的中医消化领域优势病种可信联合循证分析提供数据授权、任务分发、共享贡献存证和基于合约的激励等联合应用服务，达到数据不出医院的前提下，完成跨医疗机构的联合循证分析。
-
-
-
-
-
-
-
-
-
Search Results
69
records
(took 0.072 seconds)
