-
公开(公告)号:CN117763201A
公开(公告)日:2024-03-26
申请号:CN202311611021.2
申请日:2023-11-28
Applicant: 北京大学重庆大数据研究院
IPC: G06F16/901 , G06Q40/04
Abstract: 本申请公开了一种数据处理方法及装置、非易失性存储介质。其中,该方法包括:将待处理数据表示为数组data[1…n],n为大于1的整数;将数组组织为升序排列的默克尔树,其中,默克尔树的叶子节点用于存放待处理数据的哈希值,默克尔树的内部节点的值由内部节点所有子节点的值排列起来并做哈希运算得到;基于零知识证明协议对表示为默克尔树形式的待处理数据进行预检验处理。本申请解决了数据要素作为一种产品,在交易流通环节存在信任成本与磋商成本较高的技术问题。
-
公开(公告)号:CN116521742B
公开(公告)日:2023-09-22
申请号:CN202310746822.3
申请日:2023-06-25
Applicant: 北京大学
IPC: G06F16/2455 , G06F11/36 , G06F16/215 , G06F16/25
Abstract: 本申请提供一种源代码分析结果聚合方法、装置、电子设备及存储介质,涉及源代码分析领域,包括:对目标源代码进行文件统计,构造初始综合报告;获取所述目标源代码的多个不同来源的分析报告,对所述多个不同来源的分析报告进行编码生成对应的报告组件集合;将所述报告组件集合填充到初始综合报告中,输出最终综合报告。将不同来源的多份原始分析报告的结果进行清洗,并聚合填充到综合报告。利用多种分析报告的结果,实现根据问题在源代码中的位置进行编排的效果。相当于提供了不同维度分析结果的统一数据规格,为后续分析工作的流程化和标准化提供支撑,也便于深入挖掘不同分析维度间问题的事实联系,提升了源代码分析结果的关联性和指导意义。
-
公开(公告)号:CN111581047B
公开(公告)日:2023-03-24
申请号:CN202010211697.2
申请日:2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种针对智能合约行为的监管方法,涉及区块链智能合约技术领域。该方法包括部署与执行两个阶段;部署阶段将现实中的监管规则和代监管主体的状态转变为推理形式系统中的数字化监管规则,并存储到数字化监管规则库;在智能合约中,将每一类待监管主体的每一种待监管操作都与一个监管标识符绑定;并为每个监管标识符编写监管脚本。执行阶段获取智能合约中的所有的监管标识符,得到代监管主体实例与行为实例;根据部署阶段确定的监管标识符与规则集和事实集的绑定关系,将与监管标识符相关的规则与事实加载进监管引擎;监管引擎执行每一个监管标识符对应的监管脚本,并最终给出本次智能合约调用的监管结果,实现对智能合约行为的监管。
-
公开(公告)号:CN115082068B
公开(公告)日:2022-11-25
申请号:CN202210890874.3
申请日:2022-07-27
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明涉及一种支持聚合的最小默克尔证明生成及区块链交易验证方法,包括完全二叉默克尔树数据结构设计,默克尔证明生成算法,以及默克尔证明验证算法。所述完全二叉默克尔树中的节点进行排序,顺序为从上到下、从左到右;一棵由N个交易生成的完全二叉默克尔树中,序号为0的节点为默克尔根哈希,序号为N‑1的节点为第1个交易的Hash,序号为N的节点为第2个交易的Hash,以此类推。本发明提出的默克尔证明生成与验证方法突破了传统默克尔证明仅支持单笔交易查询的限制,能够支持两笔及以上交易的共同验证,一方面扩展了默克尔证明的实用程度和适用范围,另一方面也提高了交易验证效率,进而有助于区块链整体运行效率的提高。
-
公开(公告)号:CN115082067B
公开(公告)日:2022-11-25
申请号:CN202210888481.9
申请日:2022-07-27
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明涉及一种基于SM2的数字货币双离线支付方法与装置,属于信息技术领域。本发明采用基于SM2算法的可信硬件钱包离线创建账户,采用可信硬件钱包对收款终端进行离线支付;可信硬件钱包和收款终端包含可信硬件模块;离线支付账户的公私钥对由所述可信硬件模块产生;可信硬件模块将包括用户身份、密钥、交易记录在内的敏感信息存储在特定的非易失性存储器中;账户的相关交易由对应的可信硬件模块通过SM2签名算法签署,收款方借助远程认证协议确认可信硬件模块签发的交易是合法的。本发明提出了一种不依赖可信第三方的基于SM2算法的数字货币双离线安全支付方法及装置,可实现数字货币的安全存储、安全离线转账、隐私保护和审计能力。
-
公开(公告)号:CN114422110B
公开(公告)日:2022-08-23
申请号:CN202210321831.3
申请日:2022-03-30
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公开一种面向长指令字的SM3哈希函数消息处理的快速实现方法,属于安全密码应用技术领域,给出一种生成SM3的68个字长度的变量的并行优化算法,并将这种并行算法在可同时执行向量指令和非向量指令的计算平台上具体实施实现,加快变量运算速度,从而加快SM3密码杂凑的运算速度。
-
公开(公告)号:CN112511590B
公开(公告)日:2022-07-19
申请号:CN202011152333.8
申请日:2020-10-26
Applicant: 南京辰阔网络科技有限公司 , 北京大学
IPC: H04L67/1097 , H04L9/32 , H04L9/40
Abstract: 本发明属于区块链、区块链分片应用技术领域,具体公开了一种区块链分片的高效存储重配置方法,包括以下步骤,步骤1、验证节点运行网络划分重配置协议;步骤2、验证节点切换至最新的网络分片状态;步骤3、交易的计算分片;步骤4、交易处理,主链区块充当交易输入跨片验证路由表;步骤5、分片内运行一致性共识协议。本发明的有益效果在于:1、实现轻量级的区块链网络重配置流程,减小了分片区块链重配置时数据传输规模,减轻了重配置的网络负载压力,实现轻量级、快速、客户端无感知的分片节点重配置,增强了重配置过程中的安全性;2、优化了区块链跨片交易的处理流程,主链区块充当跨片交易处理路由表,合理简单、高效。
-
公开(公告)号:CN114048464B
公开(公告)日:2022-03-15
申请号:CN202210029518.2
申请日:2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种基于深度学习的以太坊智能合约安全漏洞检测方法及系统,将以太坊智能合约漏洞检测问题建模为一个端到端的分类检测模型,针对智能合约源代码,判断是否包含漏洞,从而实现智能合约安全漏洞的检测;包括:进行以太坊智能合约源代码数据的预处理;构建智能合约源代码语义表征学习模块,包括编码层/编码器、检测层/分类器以及模型融合输出模块;训练模型;测试阶段利用训练好的智能合约源代码语义表征学习模块,实现基于机器学习的区块链智能合约安全漏洞检测,有效提升了以太坊智能合约安全漏洞的检测性能。
-
公开(公告)号:CN113721978B
公开(公告)日:2022-02-11
申请号:CN202111286072.3
申请日:2021-11-02
Applicant: 北京大学
IPC: G06F8/77
Abstract: 本申请公开的实施例提供了一种混源软件中开源成分检测的方法和系统。其中,该方法包括:获取目标混源软件中的源码文件,即获取第一源码文件,以及对所述第一源码文件分类及执行相应的同源分析;其中,对于所述第一源码文件中大小超过第一阈值的源码文件,基于Simhash算法对其进行同源分析;对于所述第一源码文件中大小不超过第一阈值的源码文件,基于Minhash算法对其进行同源分析。较之现有技术,上述方案能够均衡混源软件开源成分检测的效率需求和精确性间的矛盾,在保证检测效率的前提下获得可接受的开源成分检测结果。
-
公开(公告)号:CN113722238A
公开(公告)日:2021-11-30
申请号:CN202111279629.0
申请日:2021-11-01
Applicant: 北京大学
IPC: G06F11/36
Abstract: 本申请公开的实施例提供了一种实现对源码文件快速开源成分检测的方法和系统。其中,该方法包括:根据目标源码文件生成第一Simhash值,将其与指纹库中的第二Simhash值匹配分析,得到其中的第三Simhash值;获取全部或部分的第三Simhash值对应的源码库源码文件(即辅助源码文件),以及根据辅助源码文件对目标源码文件进行代码比较或NLP文本相似度分析。通过基于Simhash算法的快速匹配分析,上述方案无疑将大幅度提高开源成分检测效率,而作为对弥补Simhash算法快速匹配可能造成的误报,上述方案中也通过相应的措施在较低开销下进行了纠正,确保了相关同源成分检测的精确度。
-
-
-
-
-
-
-
-
-