可验证

摘要： 各省、自治区、直辖市注册会计师协会:为推进行业注册管理工作数字化水平,便捷广大执业会员领取会员证书,我会于今年立足行业管理信息系统,开发了电子执业会员证书(以下简称电子证)。电子证具有易使用、防丢失、可验证等优势。

摘要： 深度学习广泛应用于图像处理、自然语言处理、网络挖掘等各个领域并取得良好效果,但其容易受到对抗攻击、存在安全漏洞的问题引起广泛关注。目前已有一些有效的防御方法,包括对抗训练、数据变化、模型增强等方法。但是,依然存在一些问题,如提前已知攻击方法与对抗样本才能实现有效防御、面向黑盒攻击的防御能力差、以牺牲部分正常样本的处理性能为代价、防御性能无法验证等。因此,提出可验证的、对抗样本不依赖的防御方法是关键。提出了softmax激活变换防御(SAT,softmax activation transformation),这是一种针对黑盒攻击的轻量级的快速防御。SAT不参与模型的训练,在推理阶段对目标模型的输出概率进行隐私保护加固并重新激活,通过softmax激活变换与深度模型防御的连接定义,证明通过softmax函数的变换后能实现概率信息的隐私保护从而防御黑盒攻击。SAT的实现不依赖对抗攻击方法与对抗样本,不仅避免了制作大量对抗样本的负担,也实现了攻击的事前防御。通过理论证明SAT的激活具有单调性,从而保证其防御过程中正常样本的识别准确率。在激活过程中,提出可变的softmax激活函数变换系数保护策略,在给定范围内随机选择隐私保护变换系数实现动态防御。最重要的一点,SAT是一种可验证的防御,能够基于概率信息隐私保护和softmax激活变换推导其防御的有效性和可靠性。为了评估SAT的有效性,在MNIST、CIFAR10和ImageNet数据集上进行了针对9种黑盒攻击的防御实验,令所有攻击方法的平均攻击成功率从87.06%降低为5.94%,与多种先进黑盒攻击防御方法比较,验证了所提方法可以达到最优防御性能。

摘要： 目前对秘密图像共享的研究主要集中在灰度图像上,而日常生活中使用的图像大多是彩色的,因此,研究彩色图像的秘密共享具有重要的意义和应用价值.该方案将基于中国剩余定理(CRT)的秘密共享与DCT信息隐藏技术进行结合,保障了传输彩色秘密图像的安全性.在生成端,利用DCT信息隐藏算法将彩色秘密图像通过CRT生成的彩色秘密影子图像,嵌入至用户提供的彩色载体图像中,并分发.在恢复端提取出影子图像,使用CRT恢复彩色秘密图像.该过程满足(t,n)门限.实验结果验证,该算法可实现无损恢复,并用相关参数对该方案进行评估,优于其他方案.

摘要： 针对现有密钥安全方案一些不足之处,如需要安全信道、密钥单次使用、不可验证等,利用离散对数签名的可验证性,基于陷门单向函数的特性构造了一种门限可变,并实现可验证的多秘密共享方案.该方案不需要使用到安全信道;用户的私钥不会暴露,可以多次使用;可以公开验证可信中心和用户是否作弊.方案便于新用户的加入和用户的删除,在运算复杂度上也有一定的优势.

摘要： 随着云计算的快速发展,如何安全有效地将复杂的运算外包给云服务器受到了广泛关注。双线性对运算是公钥密码体制中最昂贵的运算之一,对于资源有限的设备来说负担很重。结合区块链中的智能合约,提出基于单个服务器的双线性对外包算法。借助智能合约的运行机制,用户在外包算法中不再需要执行验证过程。对算法的安全性进行了严格证明,所提算法能够保证用户的隐私性。在开源区块链平台Hyperledger Fabric上实现了所提算法,并比较了已有方案的安全性和执行效率。理论分析和实验结果均表明,所提算法同时提高了用户和服务器的计算效率,且能完全验证外包结果。

摘要： 该文针对量子秘密共享协议难以抵抗内部成员欺骗攻击的问题,采用秘密认证的方法提出可验证量子秘密共享协议的一般性模型,基于Bell态双粒子变换提出一种新验证算法,并以此给出一个新的可验证量子秘密共享协议.与现有的量子秘密共享协议的验证算法相比,新验证算法既能有效抵抗内部成员欺骗攻击等典型的攻击策略,又可大幅提升协议效率,而且可以与现有量子秘密共享协议相结合,具备很好的可扩展性.

摘要： 随着区块链的快速发展,基于区块链的外包计算得到了广泛应用.外包计算允许资源受限的用户将复杂的计算以付费的方式外包给资源强大的外包计算者来计算,从而可以便捷地获得计算结果.然而外包计算过程中可能会泄露用户的隐私数据,因此,在外包计算过程中需要考虑用户数据的隐私性、安全性以及计算结果的可验证性.本文针对高阶多项式的外包计算进行研究,提出了基于区块链的可验证外包多项式计算方案,通过区块链智能合约完成外包计算.首先,提出了一种混淆方法,能够将原始多项式系数进行盲化,从而保证多项式的安全性和隐私性.外包计算者将盲化后的两个多项式进行计算,计算结果上传至星际文件系统(IPFS),同时挖矿节点仅需计算一个盲化后的多项式;其次,设计了一种可快速、简单的验证方法,智能合约通过用户给出的参数能快速的对外包计算者及挖矿节点返回的计算结果进行验证,根据验证结果给予相应的报酬.整个方案不需要任何密码学假设,通过外包计算者和挖矿节点的双重计算,保证了方案的安全性且效率较高.

摘要： 随着区块链的快速发展,基于区块链的外包计算得到了广泛应用.外包计算允许资源受限的用户将复杂的计算以付费的方式外包给资源强大的外包计算者来计算,从而可以便捷地获得计算结果.然而外包计算过程中可能会泄露用户的隐私数据,因此,在外包计算过程中需要考虑用户数据的隐私性、安全性以及计算结果的可验证性。本文针对高阶多项式的外包计算进行研究,提出了基于区块链的可验证外包多项式计算方案,通过区块链智能合约完成外包计算。首先,提出了一种混淆方法,能够将原始多项式系数进行盲化,从而保证多项式的安全性和隐私性。外包计算者将盲化后的两个多项式进行计算,计算结果上传至星际文件系统(IPFS),同时挖矿节点仅需计算一个盲化后的多项式;其次,设计了一种可快速、简单的验证方法,智能合约通过用户给出的参数能快速的对外包计算者及挖矿节点返回的计算结果进行验证,根据验证结果给予相应的报酬。整个方案不需要任何密码学假设,通过外包计算者和挖矿节点的双重计算,保证了方案的安全性且效率较高。

摘要： 随着我国"碳达峰、碳中和"目标的宣布,各类碳减排金融工具应运而生.本文对比分析了多个市场的绿色金融监管标准,参考国际市场实践经验,对我国绿色金融债券"可测度、可核查、可验证"原则实现路径进行了分析,并提出针对性建议.

摘要： 从科学验证的视角看,主流的财务分析方法均具备逻辑严密、体系完整等特征,但在通过推理获得可用实践检验的科学命题时存在困难,从而导致现有的财务分析方法对实践的指导价值远远低于人们的期待.若要提升其指导价值,最亟待解决的问题是可验证性缺乏.而高效率的解决之道是进行跨学科融合,将经济学中的相关理论融入财务分析,帮助后者顺利走进科学分析的正确道路,最终提升对实践的解释能力与指导价值.据此,财务分析可分为两个阶段:首先通过解读财务报表知晓企业经营管理的各种决策行为,然后用科学的经济学理论进行分析和评价.

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 现有的多秘密共享方案很难做到动态地选取门限值。该文提出了一个改进的具有动态门限的多秘密共享方案,方案由秘密发送者根据所要共享秘密的安全性要求选取不同的门限值,而不需要更新系统参数以及秘密影子,此外,可认证秘密发送者和其他秘密恢复者的广播信息,秘密影子由秘密恢复者自己产生,消除了"权威欺骗"的安全隐患,具有安全性高、通信量少、效率好的特点。

摘要： 本发明提供了一种可验证声明的验证方法、装置和电子设备，包括：获取待验证声明中目标DID对应的第一DID方法；从DID方法与驱动程序的对应关系中，确定第一DID方法对应的第一驱动程序；通过第一驱动程序，从包含有第一DID方法的第一区块链网络中读取目标DID的DID文档数据，基于DID文档数据得到目标DID的DID文档；基于DID文档验证待验证声明。该方式通过DID方法与驱动程序的对应关系，可查找到不同DID方法对应的驱动程序，然后通过该驱动程序从包含该DID方法的区块链中读取DID文档数据，来验证可验证声明，使得该方式能够验证使用不同DID方法签发的可验证声明，同时，该方式具有较高的通用性。

摘要： 本申请提供一种可验证声明验证方法、系统、电子设备及存储介质，涉及区块链技术领域。该方法包括：验证者区块链接收用户的可验证声明的验证请求，验证请求包括：用户的可验证声明、用户申请的业务操作数据；验证者区块链根据验证请求，获取用户的验证关联信息，并写入验证者预言机合约中；预言机服务根据预言机合约中用户的验证关联信息，获取用户的中间处理结果；预言机服务将中间处理结果发送给验证者区块链；验证者区块链根据中间处理结果，对用户的可验证声明进行验证，并将验证结果写入本地区块链中。本方法可实现用户的可验证声明验证过程的全监督，避免了数据被篡改的可能，从而提高了对于可验证声明的验证结果的可靠性。

摘要： 本发明公开了一种基于区块链的可验证域间路由验证方法。技术方案是构建由可验证域间路由、路由行为验证子系统组成的基于区块链的可验证域间路由系统；路由行为验证子系统由路由行为验证终端和路由验证区块链系统组成。发送方路由器R1、R1所属自治域的路由行为验证终端、路由验证区块链系统构造路由证据、路由证据验证提案，对提案进行验证、背书、判断是否满足背书策略、生成路由证据交易、对交易进行共识排序、更新路由验证区块链；接收方路由器T、T所属自治域的路由行为验证终端、路由验证区块链系统构造验证路由请求报文、检索是否存在路由请求对应的路由证据。本发明能验证路由单点攻击和路由多点合谋攻击引起的违反路由策略的问题。

摘要： 本发明公开了一种基于数据价值的可验证索引构建与验证方法，属于区块链数据检索技术领域，本发明方法包括基于数据价值的高效可验证默克尔IR树索引结构与构建方法，针对数据价值的高效可验证top‑k检索算法以及检索结果集的可靠性验证算法；本发明能够有效降低在区块链上维护默克尔IR树结构的维护消耗，提高区块链上对查询数据范围内包含目标关键字数据top‑k查询的效率，并且支持查询客户端对检索结果集的可靠性验证，使得用户能够对检索数据的正确性和完整性进行验证。

摘要： 本发明公开了一种基于离散对数的可验证变色龙哈希验证方法，所述方法通过设置一个验证参数，允许普通用户执行哈希计算，并可证明该普通用户所述提交的r＝(ga,ya)元组中的随机数a分别是g和y的离散对数，使算法升级为可验证变色龙哈希算法，允许不可信的普通用户使用变色龙哈希算法计算哈希值，并允许第三方验证哈希值的有效性。本发明将已有的基于离散对数的变色龙哈希算法升级成可验证算法，使不知道陷门秘密的一般用户也能使用算法计算变色龙哈希值。无论一般用户计算的哈希值，还是陷门用户计算的哈希碰撞值，都提供了零知识证明来验证有效性。改进后的算法更适合于区块链场景，可为区块链技术增加可修订(Redactable)能力。

摘要： 本发明提供了一种基于可验证随机数的彩票验证方法、装置及存储介质，该方法包括：获取彩票购买者所购买的彩票信息，生成与彩票信息对应的公钥信息，并将公钥信息发送至彩票系统，获取彩票系统所公布的与公钥信息对应的摘要消息，生成可验证随机数，根据可验证随机数以及与彩票购买项目对应的中奖数字确定彩票信息对应的验证结果。即本发明在实施时，由于私钥信息是彩票购买者自己所选择的，则能够在最终进行彩票验证时，直接通过可验证随机数以及与彩票购买项目对应的中奖数字便可快速确定彩票信息对应的验证结果，且无需通过特定的彩票站进行兑奖，则在彩票验证时，无需再验证实际中奖彩民身份，大大简化彩票验证步骤，非常简便且安全。

摘要： 本申请提供一种可验证声明验证方法、系统、电子设备及存储介质，涉及区块链技术领域。该方法包括：验证者区块链接收用户的可验证声明的验证请求，验证请求包括：用户的可验证声明、用户申请的业务操作数据；验证者区块链根据验证请求，获取用户的验证关联信息，并写入验证者预言机合约中；预言机服务根据预言机合约中用户的验证关联信息，获取用户的中间处理结果；预言机服务将中间处理结果发送给验证者区块链；验证者区块链根据中间处理结果，对用户的可验证声明进行验证，并将验证结果写入本地区块链中。本方法可实现用户的可验证声明验证过程的全监督，避免了数据被篡改的可能，从而提高了对于可验证声明的验证结果的可靠性。

摘要： 本发明提供了一种可验证声明的验证方法、装置和电子设备，包括：获取待验证声明中目标DID对应的第一DID方法；从DID方法与驱动程序的对应关系中，确定第一DID方法对应的第一驱动程序；通过第一驱动程序，从包含有第一DID方法的第一区块链网络中读取目标DID的DID文档数据，基于DID文档数据得到目标DID的DID文档；基于DID文档验证待验证声明。该方式通过DID方法与驱动程序的对应关系，可查找到不同DID方法对应的驱动程序，然后通过该驱动程序从包含该DID方法的区块链中读取DID文档数据，来验证可验证声明，使得该方式能够验证使用不同DID方法签发的可验证声明，同时，该方式具有较高的通用性。

摘要： 用于验证声明的方法、系统和装置，包括编码在计算机存储介质上的计算机程序。方法之一包括：从第一实体接收用于验证包括数字签名的可验证声明(VC)的请求；基于所述VC获得与第二实体相关联的公钥；确定所述数字签名是基于与所述公钥相关联的私钥创建的；基于所述确定验证所述VC。

摘要： 本发明公开了一种基于区块链的可验证域间路由验证方法。技术方案是构建由可验证域间路由、路由行为验证子系统组成的基于区块链的可验证域间路由系统；路由行为验证子系统由路由行为验证终端和路由验证区块链系统组成。发送方路由器R1、R1所属自治域的路由行为验证终端、路由验证区块链系统构造路由证据、路由证据验证提案，对提案进行验证、背书、判断是否满足背书策略、生成路由证据交易、对交易进行共识排序、更新路由验证区块链；接收方路由器T、T所属自治域的路由行为验证终端、路由验证区块链系统构造验证路由请求报文、检索是否存在路由请求对应的路由证据。本发明能验证路由单点攻击和路由多点合谋攻击引起的违反路由策略的问题。