-
公开(公告)号：CN115082067A
公开(公告)日：2022-09-20
申请号：CN202210888481.9
申请日：2022-07-27
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明涉及一种基于SM2的数字货币双离线支付方法与装置，属于信息技术领域。本发明采用基于SM2算法的可信硬件钱包离线创建账户，采用可信硬件钱包对收款终端进行离线支付；可信硬件钱包和收款终端包含可信硬件模块；离线支付账户的公私钥对由所述可信硬件模块产生；可信硬件模块将包括用户身份、密钥、交易记录在内的敏感信息存储在特定的非易失性存储器中；账户的相关交易由对应的可信硬件模块通过SM2签名算法签署，收款方借助远程认证协议确认可信硬件模块签发的交易是合法的。本发明提出了一种不依赖可信第三方的基于SM2算法的数字货币双离线安全支付方法及装置，可实现数字货币的安全存储、安全离线转账、隐私保护和审计能力。
-
公开(公告)号：CN114047928B
公开(公告)日：2022-03-15
申请号：CN202210029440.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种适用于组合交易的智能合约形式化验证方法，组合交易是指场景中包含多笔交易或者一笔交易涉及多个合约的情形；其特征是，基于区块链以太坊智能合约源代码添加合约约束，包括组合交易场景中的跨函数和跨合约约束，再将添加合约约束后的源代码转换为中间验证语言中相对应的类型、语句、表达式和约束，之后通过验证器自动地对中间验证语言文件进行形式化验证，保障智能合约安全性。采用本发明技术方案，能够支持跨函数和跨合约约束功能的验证，能够在多交易场景下验证合约功能，满足实际应用需要，有效保证智能合约安全。
-
公开(公告)号：CN114047928A
公开(公告)日：2022-02-15
申请号：CN202210029440.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种适用于组合交易的智能合约形式化验证方法，组合交易是指场景中包含多笔交易或者一笔交易涉及多个合约的情形；其特征是，基于区块链以太坊智能合约源代码添加合约约束，包括组合交易场景中的跨函数和跨合约约束，再将添加合约约束后的源代码转换为中间验证语言中相对应的类型、语句、表达式和约束，之后通过验证器自动地对中间验证语言文件进行形式化验证，保障智能合约安全性。采用本发明技术方案，能够支持跨函数和跨合约约束功能的验证，能够在多交易场景下验证合约功能，满足实际应用需要，有效保证智能合约安全。
-
公开(公告)号：CN109299272B
公开(公告)日：2021-07-30
申请号：CN201811283253.9
申请日：2018-10-31
Applicant: 北京国信云服科技有限公司 , 北京大学
Abstract: 本发明提供一种用于神经网络输入的大信息量文本表示方法，涉及信息技术领域。该方法首先确定文本所在分类体系下的分类标准，并获得该标准下的关键词；然后通过语义向量模型将每个关键词转化为语义向量，根据该分类体系的关键词字典，获取每个关键词的类别向量，并将二者合并，得到一个词向量；根据不同关键词对同一实体的重要程度，选择前k个重要的关键词，并将其对应的词向量合并，得到每句话对应的句子向量；将句子向量输入到训练好的神经网络模型中，输出模型对该文本的分类结果。本发明提供的大信息量文本表示方法，增加了神经网络输入信息的信息表示能力的同时，能够减少神经网络的复杂性，增加神经网络的可表示性，还可以增加训练速度。
-
公开(公告)号：CN112991057A
公开(公告)日：2021-06-18
申请号：CN202110171263.9
申请日：2021-02-08
Applicant: 北京大学 , 博雅正链(北京)科技有限公司 , 中互金数据科技有限公司
Inventor： 陈钟 , 李东荣 , 初本德 , 朱勇 , 何红滢 , 易琮 , 李青山 , 陆建模 , 沈一飞 , 岳丹 , 陈勇 , 赵坤 , 鲁政 , 万俊杰 , 李健 , 薄丽丽 , 单剑锋 , 崔灿 , 庞金峰 , 任立峰 , 吴琛 , 高健博 , 王飞
Abstract: 本发明提供一种基于区块链的数字函证平台及方法，涉及区块链技术领域。该数字函证平台，涉及会计师事务所、被审计单位、银行、监管单位和运营单位；具体包括：用户管理模块、发函管理模块、区块链模块、发函获取模块、业务授权模块、回函管理模块、回函获取模块、进度查询模块和业务监管模块；该平台通过将函证数字化，从会计师事务所发函、银行获取发函、被审计企业授权、银行回函、会计师事务所获取回函的各个环节均实现全程线上处理，促进提升函证处理效率，降低函证过程中的成本。通过报文传输函证数据，并发挥区块链分布式、防篡改、可追溯的技术优势，确保了函证的准确性、可靠性和安全性。
-
Patent Agency Ranking
公开(公告)号：CN112532581A
公开(公告)日：2021-03-19
申请号：CN202011152332.3
申请日：2020-10-26
Applicant: 南京辰阔网络科技有限公司 , 北京大学
Abstract: 本发明属于区块链、共识机制、PBFT应用技术领域，具体公开了一种基于共识参与度和交易活跃度的改进PBFT共识方法，包括以下步骤，步骤1、进行节点的初始化工作，给节点编号并设置节点的可信度初始值为0；步骤2、客户端向主节点发送交易请求，直到到达第一次的主节点切换；步骤3、运行优化的视图切换协议选举出主节点；步骤4、基于优化的视图切换协议和优化的一致性共识协议处理客户端请求。本发明的有益效果在于：增强了主节点选举的随机性和安全性，有效抵御恶意节点攻击；根据主节点的可信度来简化节点通信的复杂度；设置窗口期，提高了诚实节点参与共识过程的公平性；将节点交易活跃度作为节点权益，激励活跃节点维护区块链网络安全稳定。
-
公开(公告)号：CN112511590A
公开(公告)日：2021-03-16
申请号：CN202011152333.8
申请日：2020-10-26
Applicant: 南京辰阔网络科技有限公司 , 北京大学
Abstract: 本发明属于区块链、区块链分片应用技术领域，具体公开了一种区块链分片的高效存储重配置方法，包括以下步骤，步骤1、验证节点运行网络划分重配置协议；步骤2、验证节点切换至最新的网络分片状态；步骤3、交易的计算分片；步骤4、交易处理，主链区块充当交易输入跨片验证路由表；步骤5、分片内运行一致性共识协议。本发明的有益效果在于：1、实现轻量级的区块链网络重配置流程，减小了分片区块链重配置时数据传输规模，减轻了重配置的网络负载压力，实现轻量级、快速、客户端无感知的分片节点重配置，增强了重配置过程中的安全性；2、优化了区块链跨片交易的处理流程，主链区块充当跨片交易处理路由表，合理简单、高效。
-
公开(公告)号：CN111581047A
公开(公告)日：2020-08-25
申请号：CN202010211697.2
申请日：2020-03-24
Applicant: 博雅正链(北京)科技有限公司 , 北京大学
Abstract: 本发明提供一种针对智能合约行为的监管方法，涉及区块链智能合约技术领域。该方法包括部署与执行两个阶段；部署阶段将现实中的监管规则和代监管主体的状态转变为推理形式系统中的数字化监管规则，并存储到数字化监管规则库；在智能合约中，将每一类待监管主体的每一种待监管操作都与一个监管标识符绑定；并为每个监管标识符编写监管脚本。执行阶段获取智能合约中的所有的监管标识符，得到代监管主体实例与行为实例；根据部署阶段确定的监管标识符与规则集和事实集的绑定关系，将与监管标识符相关的规则与事实加载进监管引擎；监管引擎执行每一个监管标识符对应的监管脚本，并最终给出本次智能合约调用的监管结果，实现对智能合约行为的监管。
-
公开(公告)号：CN109547209A
公开(公告)日：2019-03-29
申请号：CN201811381814.9
申请日：2018-11-19
Applicant: 北京大学
Abstract: 本发明公布了一种两方SM2数字签名的生成方法，属于信息安全技术领域，利用Paillier同态加密方案使互不信任的双方可以合作生成SM2数字签名。本发明还针对性的给出了零知识证明的构造方法，以证明双方在合作过程中没有违反协议的行为，当签名失败时，通过零知识证明可以快速鉴别出不合作的一方。相比基于多项式秘密共享的两方签名方案，本发明方法具有更高的效率、更好的安全性及隐私性。
-
公开(公告)号：CN109471928A
公开(公告)日：2019-03-15
申请号：CN201811283258.1
申请日：2018-10-31
Applicant: 北京国信云服科技有限公司 , 北京大学
IPC: G06F16/332 , G06F16/35 , G06F16/36
Abstract: 本发明提供一种基于扩散传播模型的关联实体情感判断方法，涉及信息技术领域。该方法首先根据现有的语料信息，判断文本中实体之间的联系，建立实体之间的关系图，并构建情感分析模块，判断文本中所有实体的实际情感；然后采用扩散传播算法，针对不同情感确定不同的情感扩散模式；根据关联实体之间的关系，结合情感扩散模式，计算出其他实体的情感分值；然后根据预设的阈值，来确定其他实体的情感；最后结合关联实体的关系网络和情感扩散模型，得出文本对整个行业的情感影响；本发明提供的基于扩散传播模型的关联实体情感判断方法，能够对文本中的实体进行分析，然后推广至其他的有关联关系的实体，以提高文本的利用率，增加数据挖掘深度。
-
-
-
-
-
-
-
-
-
Search Results
106
records
(took 0.027 seconds)
