大零币匿名技术及追踪技术综述

近年来,依托于区块链技术的研究取得了重大突破且发展快速,各种数字货币正在不断兴起并涌入市场.大零币作为到目前为止区块链UTXO模型中隐私性最强的币种,其匿名技术除了为用户自身隐私提供了有力保障之外,同样具有很高的科研价值和广泛的应用前景.因此,为了规范数字货币的合法使用,探寻数字货币匿名技术更广泛的应用前景,各界学者也都在大零币匿名与反匿名技术方面进行了不同角度的研究.聚焦于大零币这一新型数字货币,首先介绍了大零币这一币种的大体框架;其次对大零币采用的匿名技术——zk-SNARKs和屏蔽池交易技术进行了梳理;然后总结并分析了目前各界学者在大零币追踪技术方面的研究;最后对大零币匿名技术和追踪技术的发展进行了展望.     

基于格的高效范围证明方案

早在1985年,Goldwasser、Michali和Rackoff就提出了零知识证明。近年来,区块链这一新技术越来越为人们所熟悉。由于区块链的应用和发展,在实现零知识证明的相关结构方面取得了很大进展。同时,随着量子计算机的研究,许多传统的密码体制受到了严重的威胁。因此,如何构造一个既高效又能抵抗量子攻击的密码方案是密码学领域的一个新的难题。
范围证明是一种特殊的零知识证明协议。范围证明可应用于各种实际应用中,如电子投票系统或匿名凭证场景,以确保匿名性和隐私性。在这种协议中,证明者可以使验证者确信他知道一个属于开放连续整数区间的秘密整数。并且证明者不会泄漏有关秘密值的任何信息,除了它位于特定区间的事实。通常,这个秘密整数会被加密方案或承诺方案隐藏。但是现有的范围证明方案要么是不抗量子的,要么在实际应用中效率很低。最糟糕的是,在目前的范围证明方案中,可以证明范围集合是有限的。换言之,如果我们需要证明一个属于任意范围的秘密整数,现有的方案无法做到这一点。针对上述问题,本文提出了两种更有效的基于格的范围证明方案,它们都是后量子方案。首先,我们针对Regev经典加密方案给出了一个高效的范围证明。该范围证明协议可以证明任意范围内的被加密值,例如:证明秘密整数a在范围[α,β],其中α,β是Z_q中整数。同时,我们针对KTX08承诺方案也给出了一个高效的范围证明方案。该范围证明协议能够证明在[0,2^d]中的被承诺值。与目前已有的基于格假设的范围证明方案相比,我们的方案都有着更小的合理性错误和更低的通信成本。     

关于进一步完善认罪认罚从宽制度的思考

分析了刑事诉讼中的认罪认罚从宽制度适用案件的证明标准,探讨目前认罪认罚从宽制度中存在的问题,并提出对策建议.     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

征稿启事

<正>《军民两用技术与产品》杂志是由中国航天科技集团公司主管、航天信息中心主办的科技综合类期刊。杂志以推广军民两用技术、促进技术转移应用、宣传军民两用产品、探求改革举措、跟踪行业信息、交流工作经验、服务大众、传播知识为办刊宗旨,涉及面广、信息量大,是全国唯一一本以介绍军民两用技术和产品为主、面向国内外公开发行的综合类专业期刊,也是一本开发军民两用技术和产品的指南性期刊。     

电子病历真实性的证明问题研究——兼论第三方证明机构的设立

在信息时代的医疗纠纷中,电子病历的真实性往往是医患双方所指向的关键.目前电子病历的真实性证明对于医院而言有必要性,但医院目前所采用的电子病历系统不足以防止电子病历被篡改,所采取的证明措施也存在种种缺陷,医院的信息化建设面临合法性危机.为解决这一危机,应当成立客观公正的第三方证明机构,运用可信技术在电子病历生成时对其内容和时间进行存证,以确保电子病历客观真实有效,并在法律上对第三方证明机构出具证明的效力予以确认,这样才能够解决电子病历系统推广的合法性障碍.     

高效的可证明安全的无证书数字签名方案

无证书公钥密码体制结合了基于身份和传统PKI公钥密码体制的优势,克服了基于身份公钥密码体制的密钥托管问题及PKI系统的证书管理问题,具有很高的效率。该文提出一个在随机预言机模型下可证明安全的无证书数字签名方案。该方案只需分别在系统初始化阶段、验证阶段预进行一次双线性对运算,而在签名阶段不需要进行计算。计算结果证明该方案比以往的无证书数字签名方案具有更高的计算效率和通信效率,且具有随机预言机模型下的可证明安全性。     

具有撤销功能的基于身份的签密方案

为了有效解决签密系统中撤销用户的问题,提出了具有撤销功能的基于身份的签密方案。方案将主密钥随机分布在初始密钥和更新密钥中,再随机生成签密密钥,从而不仅能有效撤销用户,而且能抵抗密钥泄露攻击。在标准模型下,证明了该方案基于DBDH问题假设,具有不可区分性;基于CDH问题假设,具有不可伪造性。同时,任何第三方在不访问明文的情况下,均可验证签密密文。     

征稿启事

正《军民两用技术与产品》杂志是由中国航天科技集团公司主管、航天信息中心主办,中华人民共和国工业和信息化部军民结合推进司支持的科技综合类期刊。杂志以推广军民两用技术、促进技术转移应用、宣传军民两用产品、探求改革举措、跟踪行业信息、交流工作经验、服务大众、传播知识为办刊宗旨,涉及面广、信息量大,是全国唯一一本以介绍军民两用技术和产品为主、面向国内外公开发行的综合类专业期刊,也是一本开发军民两用技术和产品的指南性期刊。     

征稿启事

正《军民两用技术与产品》杂志是由中国航天科技集团公司主管、航天信息中心主办,中华人民共和国工业和信息化部军民结合推进司支持的科技综合类期刊。杂志以推广军民两用技术、促进技术转移应用、宣传军民两用产品、探求改革举措、跟踪行业信息、交流工作经验、服务大众、传播知识为办刊宗旨,涉及面广、信息量大,是全国唯一一本以介绍军民两用技术和产品为主、面向国内外公开发行的综合类专业期刊,也是一本开发军民两用技术和产品的指南性期刊。