一种基于指定验证方非交互零知识证明的交易验证方法

    公开(公告)号:CN118537017B

    公开(公告)日:2024-10-01

    申请号:CN202410943160.3

    申请日:2024-07-15

    Inventor: 胡爽 张秉晟 任奎

    Abstract: 本发明公开了一种基于指定验证方非交互零知识证明的交易验证方法,以交易发起方为证明方、区块链节点为验证方,证明方获取交易验证的第一命题及相应证据,构造证明指令;利用自身的可信处理器,基于证明指令,对第一命题和证据进行验证,若验证通过,则对第一命题进行签名,得到第一签名;利用验证方的公钥,基于身份基加密算法对第一命题和第一签名进行加密,将得到的密文作为证明和第一命题发送至验证方,验证方利用自身私钥对证明进行解密,得到第二命题和第二签名,对第一命题和第二命题进行比较,若二者不同则验证不通过;若二者相同则利用可信处理器的全局公钥验证第二签名的有效性,若有效则验证通过,若无效则验证不通过。

    一种基于指定验证方非交互零知识证明的交易验证方法

    公开(公告)号:CN118537017A

    公开(公告)日:2024-08-23

    申请号:CN202410943160.3

    申请日:2024-07-15

    Inventor: 胡爽 张秉晟 任奎

    Abstract: 本发明公开了一种基于指定验证方非交互零知识证明的交易验证方法,以交易发起方为证明方、区块链节点为验证方,证明方获取交易验证的第一命题及相应证据,构造证明指令;利用自身的可信处理器,基于证明指令,对第一命题和证据进行验证,若验证通过,则对第一命题进行签名,得到第一签名;利用验证方的公钥,基于身份基加密算法对第一命题和第一签名进行加密,将得到的密文作为证明和第一命题发送至验证方,验证方利用自身私钥对证明进行解密,得到第二命题和第二签名,对第一命题和第二命题进行比较,若二者不同则验证不通过;若二者相同则利用可信处理器的全局公钥验证第二签名的有效性,若有效则验证通过,若无效则验证不通过。

    基于国密算法的消息可验证的不经意传输方法和系统

    公开(公告)号:CN119232378B

    公开(公告)日:2025-05-06

    申请号:CN202411746988.6

    申请日:2024-12-02

    Abstract: 本申请涉及一种基于国密算法的消息可验证的不经意传输方法和系统,包括:基于协商参数生成第一密钥对和第一身份标识符;并将第一随机点传输至接收方;获取接收方传输的第二随机点和第三随机点;基于第一随机点、第二随机点、第三随机点、协商参数、第一密钥对和第一身份标识符,利用密钥协商算法生成第一验证点和第二验证点;利用椭圆曲线的无穷远点,验证第一验证点和第二验证点的有效性;并基于通过有效性验证的第一验证点和第二验证点生成第一随机密钥和第二随机密钥。通过本申请,能够在密钥协商算法中,利用椭圆曲线的无穷远点进行消息有效性验证,在不经意传输方法中实现了消息可验证,从而避免了无效计算,提高了计算效率和可靠性。

    基于国密算法的消息可验证的不经意传输方法和系统

    公开(公告)号:CN119232378A

    公开(公告)日:2024-12-31

    申请号:CN202411746988.6

    申请日:2024-12-02

    Abstract: 本申请涉及一种基于国密算法的消息可验证的不经意传输方法和系统,包括:基于协商参数生成第一密钥对和第一身份标识符;并将第一随机点传输至接收方;获取接收方传输的第二随机点和第三随机点;基于第一随机点、第二随机点、第三随机点、协商参数、第一密钥对和第一身份标识符,利用密钥协商算法生成第一验证点和第二验证点;利用椭圆曲线的无穷远点,验证第一验证点和第二验证点的有效性;并基于通过有效性验证的第一验证点和第二验证点生成第一随机密钥和第二随机密钥。通过本申请,能够在密钥协商算法中,利用椭圆曲线的无穷远点进行消息有效性验证,在不经意传输方法中实现了消息可验证,从而避免了无效计算,提高了计算效率和可靠性。

    一种基于类级网络的软件系统半自动化重构方法

    公开(公告)号:CN114371871B

    公开(公告)日:2024-08-30

    申请号:CN202210046329.6

    申请日:2022-01-10

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于类级网络的软件系统半自动化重构方法,该方法将开发人员的反馈引入重构实施过程中,重构操作的生成是完全自动化的,而由开发人员决定重构操作是否执行,因此开发人员只需关注重构操作的合理性,这样既可以缩短重构实施时间,也可以增加开发人员对于重构过程的信任度。此外,本发明关注于整个软件系统形成的类级网络,采用本发明可以从类级层面改善原有软件系统的灵活性和可持续性。

    一种基于类级网络的软件系统半自动化重构方法

    公开(公告)号:CN114371871A

    公开(公告)日:2022-04-19

    申请号:CN202210046329.6

    申请日:2022-01-10

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于类级网络的软件系统半自动化重构方法,该方法将开发人员的反馈引入重构实施过程中,重构操作的生成是完全自动化的,而由开发人员决定重构操作是否执行,因此开发人员只需关注重构操作的合理性,这样既可以缩短重构实施时间,也可以增加开发人员对于重构过程的信任度。此外,本发明关注于整个软件系统形成的类级网络,采用本发明可以从类级层面改善原有软件系统的灵活性和可持续性。

Patent Agency Ranking