零知识证明递归与复合技术研究综述

零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.

全同态加密技术的研究现状及发展路线综述

随着物联网、云计算、人工智能的应用与普及,数据安全与隐私保护成为人们关注的焦点。全同态加密,作为隐私安全问题的有效解决办法,允许对加密数据执行任意同态计算,是一种强大的加密工具,具有广泛的潜在应用。该文总结了自2009年以来提出全同态加密方案,并根据方案的核心技术划分成4条技术路线,分析讨论了各类方案的关键构造,算法优化进程和未来发展方向。首先,全面介绍了全同态加密相关的数学原理,涵盖了全同态加密方案的基础假设和安全特性。随后,按照4条全同态加密方案的技术路线,归纳了加密方案的结构通式,总结了自举算法的核心步骤,讨论了最新研究进展,并在此基础上综合分析比较了各类方案的存储效率及运算速度。最后,展示了同态算法库对每条技术路线下加密方案的应用实现情况,分析了在当前时代背景下全同态加密方案的机遇与挑战,并对未来的研究前景做出了展望。

BPK模型中的双可重置零知识协议

零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了BPK模型中的14轮重置合理重置(T,ϵ)-零知识协议,相比于先前BPK模型中的双可重置协议(27轮),轮复杂度缩减了将近一半.本文使用近年来新开发的个体化归约技术,首先在BPK模型中构造了3轮的重置合理并发(T,ϵ)-零知识协议,随后根据标准模型中重置合理的类有界重置零知识协议构造了BPK模型中的双可重置协议.

基于1D-CNN的无砟轨道CA砂浆脱空识别

为解决水泥乳化沥青砂浆(CA砂浆)脱空位置识别的难题,提出考虑CA砂浆脱空的无砟轨道模型建模与计算方案。首先,基于CRTS I型板式无砟轨道“梁-板-板”建模理论,使用非线性弹簧模拟CA砂浆脱空病害,输入扣件支点反力作为模型的激励,得到监测点位的垂向加速度数据集。其次,通过对数据集缩放、添加噪声的方式进行数据增强,增强数据集的差异,以增强识别模型的泛化性,获得更加准确的识别结果。最后,建立脱空病害的识别方法,搭建一维卷积神经网络(1D-CNN)进行CA砂浆的脱空位置识别,构建准确率、查准率和查全率等评价指标评估识别结果,使用t-SNE降维算法对结果进行可视化。对比其他3种神经网络的表现,探讨1D-CNN应用于CA砂浆脱空位置识别的优势。研究结果表明:“梁-板-板”模型反映了无砟轨道的力学本征,用于CA砂浆脱空问题的仿真模拟是可行的;通过对数据集信号缩放、添加噪声的方式进行数据增强可提高深度学习模型的性能;从深度学习的角度来看,CA砂浆脱空发生在板中造成的危害较小,应重点关注板端CA砂浆脱空的养护与维修问题;1D-CNN相比其他3种模型运算时间短,在CA砂浆脱空位置识别数据集上优势更大,识别准确率可达95%以上。研究结果为进一步提高无砟轨道结构监测的自动化和智能化水平提供参考。

基于离散元的有砟道床防震加固措施研究

地震对轨道结构构成了巨大而不可避免的威胁,因此需要采取创新的方法来减轻地震对有砟道床的不利影响。提出一种在道床表面铺设土工格栅网,在道床底部0.5 m厚度范围内添加道砟胶的加固方法,该方法可以有效改善轨道系统的抗震性能,减小地震造成的损害。首先,基于离散元法建立有砟轨道模型,可计算获得道床的横向阻力和垂向刚度,并与现场试验结果对比,验证所构建道床离散元模型的准确性。其次,在准确的模型基础上实施加固措施,通过给道床表面添加粒径相同的球体颗粒来模拟土工格栅,同时将道床底部0.5 m范围内的道砟颗粒黏结模型修改为平行黏结模型,据此构建道床加固后的离散元模型。详细对比加固前后道床的力学性能。结果表明:提出的加固措施显著提高了道床的垂向刚度,使得道床在地震时更能够抵抗竖向振动力,虽然对道床横向阻力的提升较少,但这一结果仍具有积极意义,尤其在地震冲击下;加固后的道床在横向和纵向位移以及应力方面都有明显改善,降低了道砟颗粒粉化的可能性,提高了道床的整体稳定性;道砟胶的黏结作用减小了底部道砟的竖向位移和竖向速度,有助于减小地震引起的损害。研究为减小地震对有砟道床的不利影响提供了有力的科学依据,加固措施在提高道床的抗震性能方面有较好的效果。

基于离散元研究裂缝对轨枕动力特性的影响

为研究具有内部缺陷的混凝土轨枕对轨道结构动力特性的影响,采用PFC软件建立二维混凝土轨枕模型,对其施加正弦循环荷载。在左侧钢轨下方的轨枕内部中心线设置横向、竖向裂缝,并考虑3个不同幅值荷载的作用,对比不同内部缺陷和幅值荷载下钢轨、轨枕的动力响应。研究结果表明:对于均匀弹性基础上的轨枕,钢轨下方区域轨枕内部缺陷对钢轨的动力响应几乎无影响;只有裂缝周围的轨枕局部动力特性会受到影响,横向裂缝会导致裂缝下方轨枕的位移减小,竖向裂缝会导致裂缝周围局部位移增大,但影响很小;裂缝区域轨枕速度差别不大,但裂缝区域轨枕加速度幅值有突变,最大值约为无裂缝轨枕加速度的1.5倍,并且横裂缝轨枕的局部加速度幅值比竖裂缝的大;随着荷载幅值增加,裂缝对轨枕局部动力响应的影响加剧;采用离散元构建的非均质混凝土轨枕模型可以模拟带缺陷混凝土轨枕的相关问题,其得到的数值解可靠。

基于莫塔安全诊断策略的思维导图在全科住培教学病例讨论中的应用效果

目的探讨基于莫塔安全诊断策略的思维导图在全科住院医师规范化培训(简称住培)教学病例讨论中的应用效果。方法选取2019年3月至2021年12月在西部战区总医院全科医学科进行轮转学习的62名住院医师为研究对象,其中采用常规教学法进行教学病例讨论的28人为对照组,应用基于莫塔安全诊断策略的思维导图进行教学病例讨论的34人为观察组,采用调查问卷的方式比较两组教学满意度,Mini-CEX测评联合理论考试的方式比较两组的临床能力。结果观察组教学满意度调查除病例选择外,在学习兴趣、课堂氛围、知识运用、教学方式及总体满意度上均高于对照组(均P<0.05);观察组Mini-CEX测评除体格检查外,在医疗面谈、沟通技巧、临床判断、人文关怀、组织效能及整体表现评分上均高于对照组(均P<0.05);观察组理论考试成绩及临床能力评分均高于对照组(均P<0.05),差异有统计学意义。结论在全科住培教学病例讨论中使用基于莫塔安全诊断策略的思维导图可显著提升住院医师教学满意度与临床能力,有一定的推广价值。

NIST抗量子密码标准候选算法中基于格的公钥加密与密钥封装机制介绍

基于格的后量子密码方案在安全性、密钥尺寸和运算速度等方面相较于其他方案都有一定优势,被认为是最有潜力的后量子密码方案.本文综述了美国国家标准技术研究所发起的后量子密码竞赛中所有基于格的公钥加密方案与密钥封装机制,从方法论以及困难性假设的角度进行分类,详细介绍了各自的设计思路与细节.针对重点算法KYBER、SABER、FrodoKEM、LAC、NewHope以及基于NTRU的算法,从底层设计、参数选择、性能对比等方面进行全面比较.总结了竞赛最新进展并分析了目前设计方案需要注意的问题,介绍了未来后量子密码方案设计潜在的发展方向.

单元主题教学法在全科住培教学中的应用

目的 探索单元主题教学法在全科住培教学活动中的应用效果。方法 选取2021年6月—2022年8月在西部战区总医院全科医学科进行住培轮转的43名住院医师为对象,按照教学活动安排的不同分为试验组和对照组,其中试验组24名,对照组19名。试验组采用单元主题教学法设计教学活动,对照组沿用常规教学活动安排,比较2组住院医师出科时的迷你临床演练评价(mini-clinical evaluation exercise,Mini-CEX)成绩、理论测试成绩、综合成绩及教学满意度。结果 试验组的Mini-CEX评分、理论成绩及综合成绩均高于对照组[Mini-CEX评分(54.6±4.7)分vs.(50.5±6.6)分;理论成绩(121.2±8.7)分vs.(111.7±10.8)分;综合成绩(83.7±5.3)分vs.(77.4±6.9)分,P <0.05],差异有统计学意义。教学满意度中教学方式及能力提升两项平均分也高于对照组[教学方式(4.5±0.7)分vs.(3.8±1.2)分;能力提升(4.6±0.7)分vs.(3.7±1.2)分,P <0.05],差异有统计学意义。结论 采用单元主题教学法设计全科住培教学活动能提高住院医师综合成绩及满意度,有助于提升全科住培教学效果。

化香树果序挥发油的气相色谱-质谱联用分析及体外抗肿瘤活性研究

目的:研究化香树果序挥发油的化学成分及其体外抗肿瘤活性。方法:采用水蒸气蒸馏法从化香树果序中提取挥发油,通过气相色谱-质谱联用技术对其挥发油成分进行分析;采用MTT法观察其对人肝癌HepG2细胞、人鼻咽癌CNE-2细胞及人宫颈癌HeLa细胞的增殖抑制率及半数抑制浓度(IC50)。结果:从挥发油中共鉴定出28个化合物,占总离子流图峰面积的94.10%,其中含量较高的组分为(Z,Z,Z)-9,12,15-十八碳三烯酸(44.48%)、十六烷酸(23.30%)和斯巴醇(3.20%)等。化香树果序挥发油对人肝癌HepG2细胞、人鼻咽癌CNE-2细胞及人宫颈癌HeLa细胞均表现出不同程度的抑制活性,IC50值分别为848.554、451.835、301.253μg/mL。结论:化香树果序挥发油具有多种活性成分,对人肝癌HepG2细胞、人鼻咽癌CNE2细胞及人宫颈癌HeLa细胞均显示出了一定的抑制活性。

纯公钥模型下对NP语言的高效并发零知识证明系统(英文)

提出了一种从3轮公开掷币的对任何NP语言的诚实验证者零知识证明系统到纯公钥模型下4轮(轮最优)对同一语言的具有并发合理性的并发零知识证明系统.该转化方法有如下优点:1)它只引起O(1)(常数个)额外的模指数运算,相比Di Crescenzo等人在ICALP05上提出的需要Θ(n)个额外的模指数运算的转化方法,该系统在效率上有着本质上的提高,而所需的困难性假设不变;2)在离散对数假设下,该转化方法产生一个完美零知识证明系统.注意到Di Crescenzo等人提出的系统只具有计算零知识性质.该转化方法依赖于一个特殊的对承诺中的离散对数的3轮诚实验证者零知识的证明系统.构造了两个基于不同承诺方案的只需要常数个模指数运算的系统,这种系统可能有着独立价值.

利用工业废渣制作混凝土的性能研究

利用电石渣、锂渣和钢渣等工业废渣制备混凝土,研究不同电石渣与锂渣比例,外加剂掺量和骨料级配对混凝土流动性和抗压强度的影响。结果表明,当电石渣和锂渣比例为1∶4时,混凝土具有较好的流动性和抗压强度,外加剂掺量对混凝土抗压强度有明显影响,外加剂掺量增加,混凝土抗压强度减小,骨料的级配对拌合物流动度影响较大,单一级配骨料对混凝土试块强度有一定的影响。

基于接触等价与左右等价关系下的等变分歧问题的若干结果

找到了在接触等价群与左右等价群作用下等变分歧问题的两种切空间之间的某种联系,基于这种联系,证明了有关等变分歧问题的有限决定性与通用开折的若干结果。

简洁非交互零知识证明综述

区块链、隐私计算、人工智能等技术的快速发展,极大地推动了对零知识证明尤其是简洁非交互零知识证明的研究.本文从通用构造方法、底层技术原理、协议性能表现、安全性等角度深入研究了现有的简洁非交互零知识证明.首先,总结了简洁非交互零知识证明的通用构造方法.其次,分别基于信息论安全证明和底层关键技术对现有的简洁非交互零知识证明进行分类并提炼了核心思路,深入分析了典型协议的实现原理.再次,辨析了各类协议的性能表现,探讨其安全性并指出其适用场景.最后,总结了简洁非交互零知识证明的研究热点和发展方向.

简洁非交互零知识证明综述

零知识证明允许证明者向一个验证者证明一个断言的正确性而不泄漏其它任何知识。在理论层面,这一概念的提出对密码学和计算机科学都产生了深远影响。在应用层面,零知识证明以及它所衍生出来的可验证计算为近年来迅猛发展的以区块链为代表的金融科技提供数据隐私保护和去中心化的技术。近年来高效简洁非交互零知识证明(zero-knowledge Succinct Non-interactive Arguments of Knowledge,zk-SNARKs)方面的研究取得了令人瞩目的进展,其更是凭借简洁高效的特点被广泛应用于电子金融领域之中。文章主要梳理了zk-SNARKs的发展历程,并依据它们依赖的不同模型进行分类与总结。

基于后量子假设的高效范围证明方案

作为零知识证明的一种特殊应用,范围证明技术广泛地应用于密码货币、电子投票、匿名凭证等多个场景。这项技术使得证明者能够向验证者证明某一秘密整数属于一个给定的连续整数区间,除此之外不泄露其他任何信息。大部分现有的范围证明方案都是针对基于经典的数论假设的承诺方案构造的,在量子攻击下不能保证安全性。本文针对串承诺方案,提出了一种构造后量子范围证明方案的新思路,并分别基于Exact Learning Parity with Noise(xLPN),Small Integer Solution(SIS)和Learning with Errors(LWE)等假设,给出了三类具体的范围证明方案。此外,文章还提出了一个批承诺方案,并针对该批承诺构造了适用于同时处理多个消息的批处理范围证明方案。该批处理范围证明方案中,对于多个秘密值分别属于不同整数区间的情况,证明者只需要产生一个证明。与对多个消息逐一生成证明的处理方式相比,批处理的方式有效地节约了生成证明过程中需要的随机数个数,明显地降低了双方的通信量和计算量。

基于格的高效通用累加器与被累加值的零知识证明

通用累加器作为一种具有数据压缩性质的重要密码学元件,其多应用于隐私保护相关的区块链系统、身份认证系统以及各类权限管理系统。研究发现目前已有的基于小整数解(SIS)问题困难性假设的通用累加器内部计算效率不高,且更新效率低。因此,本文设计并实现了首个基于环小整数解(Ring-SIS)问题困难性假设的高效通用累加器,其更新开销在平均意义上远低于以往方案,更加适用于更新操作频繁,成员数量更庞大的应用场景。另外针对Ring-SIS通用累加器内的所有成员,本文基于Schnorr-like协议框架提出了首个单轮次执行合理性错误可忽略的被累加值的零知识证明协议。

胃癌组织中microRNA-214和MGAT5表达及预后的相关性分析

目的:探讨胃癌组织中microRNA-214和MGAT5的表达及预后的相关性分析。方法:随机选取80例胃癌患者,收集其进行手术切除的胃组织标本作为研究对象,患者的胃癌组织作为研究组,患者的癌旁正常胃黏膜组织作为对照组,使用免疫组织化学的方法对患者的胃癌组织及癌旁正常胃粘膜组织进行检测,对测得的结果进行分析。结果:患者胃癌组织中的microRNA-214和MGAT5的表达率明显高于癌旁正常胃黏膜组织(P<0.05);在胃癌中出现淋巴结转移患者的microRNA-214和MGAT5的表达率明显高于未出现淋巴结转移的患者(P<0.05),Ⅲ、Ⅳ期的microRNA-214和MGAT5表达率明显高于Ⅰ期、Ⅱ期患者(P<0.05);男性胃癌患者的microRNA-214和MGAT5表达率明显低于女性患者(P<0.05);在年龄方面,<60岁的胃癌患者要比>60岁患者的microRNA-214和MGAT5表达率要明显低(P<0.05),肿块<5cm的胃癌患者的microRNA-214和MGAT5表达率要比肿块>5cm的胃癌患者要明显偏低(P<0.05),分化程度呈高、中分化的胃癌患者的microRNA-214和MGAT5表达率要比分化程度呈低分化的要明显偏低(P<0.05)。结论:microRNA-214和MGAT5在胃癌组织中高表达,能够预测胃癌的发展、发生以及预后,在临床诊断和治疗过程中会起到一定的预示作用。

运营商离互联网音乐还有多远?

运营商一直在寻找合适的切入点,寻找进入有线互联网数字音乐服务的最优路径,《文化部关于加强和改进网络音乐内容审查工作的通知》的发布也许能够让运营商与互联网音乐走得更近。

国有土地一级开发过程中的财税风险控制研究

国有土地一级开发是指,由政府或其授权委托的企业,对国有土地进行统一的征地、拆迁、安置、补偿,并进行适当的市政配套设施建设,使其达到“三通一平”“五通一平”或“七通一平”的建设条件,再进行有偿出让或转让的过程。目前,我国政府部门加大了国有土地一级开发工作的重视程度,也认识到了开发过程中财税风险的严重性,采用了科学合理的方法进行了防控。本文从国有土地一级开发的基本理论出发,分析了国有土地一级开发过程中的财税风险种类,并提出了几点防控国有土地一级开发财税风险的对策,目的在于降低国有土地一级开发过程中的财税风险,促进国有土地一级开发工作的顺利进行。