同态随机基加密的量子多方密码-数学公式

众所周知,信息和信息处理的完全量子理论提供了诸多好处,其中包括一种基于基础物理的安全密码学,以及一种实现量子计算机的合理希望,这种计算机可以加速某些数学问题的解决。这些好处来自于独特的量子特性,如叠加、纠缠和非定域性,这些特性在经典力学中不存在。在过去的四十年里,许多重要的量子信息处理协议被提出,包括量子密钥分发(QKD)、量子隐形传态、量子因数分解算法和Grover搜索算法。量子密码学是量子信息处理中最成功的应用之一,因为物理定律保证了其固有的安全性。相反,经典密码学通常依赖于计算复杂性的假设。第一种量子密码系统是量子密钥分发,用于生成仅由两方共享的随机密钥。后来,量子密码学得到了广泛的研究,并提出了许多协议。同态加密(HE)方案允许在不事先解密的情况下处理加密数据。这个有用的功能已经存在了30多年。2009年,Craig Gentry引入了第一个可信且可实现的完全同态加密(FHE)方案,该方案支持在加密数据上处理任何函数。但该方案只能实现计算安全性。人们自然会问,量子力学的物理原理是否可以应用于构建HE方案,从而实现更好的安全性/性能。答案是肯定的,并且已经提出了各种量子同态加密(QHE)方案。综上所述,这些方案可分为两类。一种是有效的信息理论安全(ITS),只能评估所有可能函数的子集;另一种只能实现计算安全性。此外,已有研究表明,用ITS构建高效量子FHE是不可能的。最近,Dor Bitan等人利用一组特定的随机碱基,提出了一种量子同态加密方案。它可以加密和外包经典数据的存储,同时使用ITS对加密数据进行量子门计算。

秘密共享与量子同态加密数学基础

同态加密(HE)方案可以用密钥生成(Gen)、加密(Enc)、求值(Eval)和解密(Dec)四种算法的集合来描述。下面我们简要回顾一下同态随机基加密方案。
密钥生成:从[0,2π]×{π/2,−π/2}中输出一个一致随机对(θ,φ)的密钥。
加密:输出由|q> = K|b>获得的量子比特|q,输入消息b∈{0,1},密钥K = (θ, φ)。这里K是加密运算符的形式
在这里插入图片描述
解密:输出输入|q>的明文,密钥k = (θ, φ)。可以通过对|q>施加K,并在计算基中输出K|q>的测量值来实现。

它支持X门、CNOT门和D门(用于创建贝尔状态)的同态求值,其中控制量子位位于计算基中。在这里,我们重点讨论了本文中出现的X门和CNOT门。对于X门,我们可以令|ψ0> =K |0>, |ψ1> =K |1>,得到

X ∣ ψ 0 ⟩ = ± i ∣ ψ 1 ⟩ , X ∣ ψ 1 ⟩ = ∓ i ∣ ψ 0 ⟩ X|\psi_0\rangle=±i|\psi_1\rangle,X|\psi_1\rangle=∓i|\psi_0\rangle Xψ0=±iψ1,Xψ1=iψ0

对于计算基中有控制量子比特的CNOT门,我们可以验证这一点
C N O T ∣ 1 ⟩ ⊗ ∣ ψ 0 ⟩ = ± i ∣ 1 ⟩ ⊗ ∣ ψ 1 ⟩ , C N O T ∣ 1 ⟩ ⊗ ∣ ψ 1 ⟩ = ∓ i ∣ 1 ⟩ ⊗ ∣ ψ 0 ⟩ CNOT|1\rangle \otimes |\psi_0\rangle=±i|1\rangle\otimes|\psi_1\rangle, CNOT|1\rangle \otimes|\psi_1\rangle=∓i|1\rangle\otimes|\psi_0\rangle CNOT∣1ψ0=±i∣1ψ1,CNOT∣1ψ1=i∣1ψ0

由于±i(∓i)是一个整体相,我们可以在测量量子态时去掉它。

秘密共享

在秘密共享(secret sharing)中,通常采用的是 ( t , n ) (t, n) (t,n) 阈值方案,将一个秘密信息分割成 n n n 个部分,分配给 n n n 个参与者,其中任意 t t t 个参与者联合起来可以重构出原始的秘密信息,但是任意 t − 1 t-1 t1 个或更少的参与者无法获得有关秘密信息的任何信息。在 ( t , n ) (t, n) (t,n) 阈值方案中,参数 t t t 表示了最少需要多少个参与者才能重构出秘密信息,参数 n n n 表示了总共有多少个参与者。

在这样的方案中,通常采用多项式插值法(polynomial interpolation)将秘密信息拆分成 n n n 个部分,即将一个 t t t 次多项式 f ( x ) f(x) f(x) 拆分成 n n n 个点 ( i , f ( i ) ) (i, f(i)) (i,f(i)) 的形式,其中 1 ≤ i ≤ n 1 \leq i \leq n 1in。每个参与者都会获得一个点 ( i , f ( i ) ) (i, f(i)) (i,f(i)),可以根据任意 t t t 个点进行插值,重构出原始的秘密信息。

在插值过程中,参数 r r r 通常指的是用于插值的随机数,它满足 r ≠ j r \neq j r=j,其中 j j j 是用于插值的 t t t 个点中的一个。使用 r r r 可以避免插值过程中的一些问题,例如避免出现多个解的情况。同时,对于保密性和安全性,使用随机数可以增加攻击者的难度,降低秘密信息被破解的风险。
本节介绍了Shamir提出的阈值为(t, n)的秘密共享方案。在该方案中,它展示了如何将秘密s分成n个片段,使得任何t个片段都可以很容易地恢复s,但即使完全知道t - 1个片段,也不会泄露任何关于s的信息。该方案包括两个算法:

发起者D选择一个t - 1次的随机多项式f (x): f ( x ) = a 0 + a 1 + . . . + a t − 1 x t − 1 m o d p f(x)=a_0+a_1+...+a_{t-1}x^{t-1} mod p f(x)=a0+a1+...+at1xt1modp,秘密 s = a 0 s=a_0 s=a0 a 0 , a 1 , … , a_0, a_1,…, a0,a1,在有限域F中,p是素数。然后D计算: s j = f ( x j ) , j = 1 , 2 , . . . s_j = f (x_j),j=1,2,... sj=f(xj)j=1,2,...,其中xj为当事人Pj的公开信息。最后,该算法输出一个包含n个共享(s1,s2,…,sn)的列表,并将每个共享sj安全地分配给Pj
秘密重构取任意m (m≥t)个组成部分sj, j∈U = {i1,i2,…,im}, U规模{1,2,…, n}作为输入和输出秘密s,可以得出下式
s = ∑ j ∈ U c j = ∑ j ∈ U f ( x j ) ∏ r ∈ U , r ≠ j x r x r − x j m o d   p s=\sum_{j∈U}c_j=\sum_{j∈U}f(x_j)\prod_{r∈U,r≠j}\frac{x_r}{x_r-x_j}mod \space p s=jUcj=jUf(xj)rUr=jxrxjxrmod p

在这个公式中, f ( x j ) f(x_j) f(xj) 是一个 t − 1 t-1 t1 次多项式 f ( x ) f(x) f(x) 在参与者 j j j 所对应的点 x j x_j xj 的取值,它是秘密共享方案中参与者 j j j 所持有的信息值。这个值的作用是在拉格朗日插值公式中作为已知条件,用于计算多项式在另一个点 x x x 处的取值。具体来说, f ( x j ) f(x_j) f(xj) 是用于计算拉格朗日插值多项式的系数的,它表示多项式在参与者 j j j 的点上的取值。

而分式 ∏ r ∈ U , r ≠ j x r x r − x j \prod_{r\in U, r\neq j} \frac{x_r}{x_r - x_j} rU,r=jxrxjxr 的作用是为拉格朗日插值公式提供了分母部分,用于消除插值过程中的多解问题。这个分式实际上是一个拉格朗日插值公式的分母,它是由参与者 j j j 所对应的点 x j x_j xj 和其他 t − 1 t-1 t1 个参与者的点 x r x_r xr 组成,其中 r ∈ U r \in U rU r ≠ j r \neq j r=j。这个分式的作用是为拉格朗日插值公式提供了一种权重分配方式,用于计算多项式在其他点上的取值。这个分式的分母部分可以理解为每个参与者所对应的插值多项式的分母,它们的乘积可以消除插值过程中的多解问题,从而保证插值结果的唯一性和正确性。
拉格朗日插值是一种多项式插值方法,用于在一些已知点的基础上,通过一个多项式函数来拟合一个连续函数。它的基本思想是利用已知的数据点,构造一个多项式函数,使得该函数在这些数据点上与实际函数相等,从而在其他点上对实际函数进行逼近。在拉格朗日插值中,我们假设有一组 n n n 个数据点 ( x i , y i ) (x_i, y_i) (xi,yi),其中 x i x_i xi 是已知的自变量, y i y_i yi 是相应的函数值。我们要求出一个 n − 1 n-1 n1 次多项式 f ( x ) f(x) f(x),使得 f ( x ) f(x) f(x) 在所有数据点上都与实际函数相等。这个多项式可以表示为:

f ( x ) = ∑ i = 0 n − 1 y i L i ( x ) f(x)=\sum_{i=0}^{n-1}y_iL_i(x) f(x)=i=0n1yiLi(x)

其中, L i ( x ) L_i(x) Li(x) 是拉格朗日基函数,它的形式为:

L i ( x ) = ∏ j ≠ i x − x j x i − x j L_i(x)=\prod_{j≠i}\frac{x-x_j}{x_i-x_j} Li(x)=j=ixixjxxj

拉格朗日基函数是一种标准的插值基函数,它可以保证插值多项式在所有已知点上都等于实际函数,并且满足插值多项式的次数小于等于数据点个数减一。这个多项式可以用于近似实际函数在其他点上的取值,从而实现了函数的插值和逼近。拉格朗日插值具有简单、通用、稳定等特点,在计算机科学、数学、物理学等领域得到了广泛应用,例如在数据拟合、信号处理、图像处理、数值计算、差值和秘密共享等方面都有重要的应用。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mfbz.cn/a/13209.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

第一节 法学

目录 法学的概念法学的性质 实践性构成了法学的学问性质 法学的研究对象 1.法律制度问题(X法律制度)2. 社会现实或社会生活关系问题 (Y社会现实/社会关系)3.法律制度与社会现实之间如何对应的问题 (Yf(x) f为什么函数) 法学的概…

耗时半月,终于把牛客网上的软件测试面试八股文整理成了PDF合集(测试基础+linux+MySQL+接口测试+自动化测试+测试框架+jmeter测试+测试开发)

大家好,最近有不少小伙伴在后台留言,近期的面试越来越难了,要背的八股文越来越多了,考察得越来越细,越来越底层,明摆着就是想让我们徒手造航母嘛!实在是太为难我们这些程序员了。 这不&#xf…

shell中的for循环和if判断

一.编写脚本for1.sh,使用for循环创建20账户,账户名前缀由用户从键盘输入,账户初始密码由用户输入,例如: test1、test2、test3、.....、 test10 1.创建脚本for1.sh [rootserver ~]# vim for1.sh 2.编写脚本for1.sh 3.执行脚本for1.sh [roo…

fzyczn生日赛t1 CZN

fzy&czn生日赛t1 CZN 膜拜hybb首杀 文章目录 fzy&czn生日赛t1 CZN题目背景题目描述分析my codewnags code 题目 题目背景 有一天,czn在机房里面心心念念的pj终于来找他了,pj希望czn能够帮助她来解决一道数学题,czn“十分不乐意”地…

Spring入门案例--bean基础配置

bean基础配置(id与class) 对于bean的基础配置&#xff0c;在前面的案例中已经使用过: 1 <bean id"" class""/> 其中&#xff0c;bean标签的功能、使用方式以及id和class属性的作用&#xff0c;我们通过一张图来描述下 这其中需要大家重点掌握的…

Linux应用编程(进程)

一、进程与程序 注册进程终止处理函数 atexit() #include <stdlib.h> int atexit(void (*function)(void));使用该函数需要包含头文件<stdlib.h>。 函数参数和返回值含义如下&#xff1a; function&#xff1a;函数指针&#xff0c;指向注册的函数&#xff0c;此…

leetcode160. 相交链表

给你两个单链表的头节点 headA 和 headB &#xff0c;请你找出并返回两个单链表相交的起始节点。如果两个链表不存在相交节点&#xff0c;返回 null 。 图示两个链表在节点 c1 开始相交&#xff1a; 题目数据 保证 整个链式结构中不存在环。 注意&#xff0c;函数返回结果后&…

软件测试工程师需要达到什么水平才能顺利拿到 20k 无压力?

最近有粉丝朋友问&#xff1a;软件测试员需要达到什么水平才能顺利拿到 20k 无压力&#xff1f; 这里写一篇文章来详细说说&#xff1a; 目录 扎实的软件测试基础知识&#xff1a;具备自动化测试经验和技能&#xff1a;熟练掌握编程语言&#xff1a;具备性能测试、安全测试、全…

flv怎么无损转换成mp4格式,3大超级方法分享

flv格式是目前在视频分享媒体播放网站上广泛使用的一种视频文件格式&#xff0c;可以在网站窗口中直接播放&#xff0c;这类视频文件还能够有效保护版权。但是有些时候我们可能需要将flv格式的视频转换为其他格式&#xff0c;比如mp4。但是该怎么操作呢&#xff1f; 其实有很多…

【花雕学AI】深度挖掘ChatGPT角色扮演的一个案例—CHARACTER play : 莎士比亚

CHARACTER play : 莎士比亚 : 52岁&#xff0c;男性&#xff0c;剧作家&#xff0c;诗人&#xff0c;喜欢文学&#xff0c;戏剧&#xff0c;爱情 : 1、问他为什么写《罗密欧与朱丽叶》 AI: 你好&#xff0c;我是莎士比亚&#xff0c;一位英国的剧作家和诗人。我很高兴你对我的…

【状态估计】用于描述符 LTI 和 LPV 系统的分析、状态估计和故障检测的算法(Matlab代码实现)

&#x1f4a5; &#x1f4a5; &#x1f49e; &#x1f49e; 欢迎来到本博客 ❤️ ❤️ &#x1f4a5; &#x1f4a5; &#x1f3c6; 博主优势&#xff1a; &#x1f31e; &#x1f31e; &#x1f31e;博客内容尽量做到思维缜密&#xff0c;逻辑清晰&#xff0c;为了方便读者。 …

一文看懂数据云平台的“可观测性”技术实践

背景 这是一家大型制造集团。为监控及预测工厂设备运行情况&#xff0c;IT部门在数据云平台DataSimba上按天执行数据作业&#xff0c;每24小时对工厂设备的日志数据进行分析&#xff0c;发现能对业务起到很好的辅助作用&#xff0c;效果不错。 “要不升级为每1个小时跑一次&am…

腾讯云轻量级云服务器Centos7防火墙开放8080端口

腾讯云轻量级云服务器Centos7防火墙开放8080端口 一、centos7防火墙打开端口 因为Centos7以上用firewalld代替了iptables,也就是说firewalld开通了8080端口应该就行了 1.查看8080是否已经放开 sudo firewall-cmd --permanent --zonepublic --list-ports2.查看防火墙状态 s…

EMQX vs NanoMQ | 2023 MQTT Broker 对比

引言 EMQX 和 NanoMQ 都是由全球领先的开源物联网数据基础设施软件供应商 EMQ 开发的开源 MQTT Broker。 EMQX 是一个高度可扩展的大规模分布式 MQTT Broker&#xff0c;能够将百万级的物联网设备连接到云端。NanoMQ 则是专为物联网边缘场景设计的轻量级 Broker。 本文中我们…

SpringCloud 项目如何方便 maven 打包以及本地开发

一、背景 springcloud-alibaba &#xff0c;使用 nacos 做配置中心&#xff0c;maven 作为构建工具。为了防止 test 、prod 环境配置文件覆盖问题&#xff0c;使用 mvn -P 命令。 二、项目 pom 文件 1. 利用 resources 标签来指定目录&#xff0c;build > resources 标签&a…

MySQL-CENTOS7下MySQL单实例安装

MySQL单实例安装 1 版本下载2 MySQL安装2.1 创建目录并解压2.2 安装数据库2.3 安装RPM包2.4 启动服务2.5 连接MYSQL 3 MYSQL卸载卸载4 FAQ 1 版本下载 mysql下载 选择对应的版本。我选择的是的8.0.31的版本。 2 MySQL安装 2.1 创建目录并解压 mkdir /mysql mkdir /mysql/s…

OpenAI-ChatGPT最新官方接口《错误代码大全》全网最详细中英文实用指南和教程,助你零基础快速轻松掌握全新技术(九)(附源码)

Error codes 错误码 前言Introduction 导言API errors API 错误401 - Invalid Authentication 401 -验证无效401 - Incorrect API key provided 401 -提供的API密钥不正确401 - You must be a member of an organization to use the API 401 -您必须是组织的成员才能使用API429…

公司招人,面试了50+的候选人,技术实在是太烂了····

前两个月&#xff0c;公司测试岗位面了 50候选人&#xff0c;面试下来发现几类过不了的情况&#xff0c;分享大家防止踩坑&#xff1a; 技术倒是掌握得挺多&#xff0c;但只是皮毛&#xff0c;基础知识却是一塌糊涂。工作多年&#xff0c;从未学习过工作之外的技术栈&#xff…

【项目】视频列表滑动,自动播放

自动播放 期望效果&#xff0c;当滑动列表结束后&#xff0c;屏幕中间的视频自动播放HTML页面data变量实践操作&#xff01;重点来了&#xff01;滚动获得的数据实现效果源码&#xff08;粘贴即可运行&#xff09; 期望效果&#xff0c;当滑动列表结束后&#xff0c;屏幕中间的…

Gartner Magic Quadrant for SD-WAN 2022 (Gartner 魔力象限:软件定义广域网 2022)

Gartner 魔力象限&#xff1a;SD-WAN 2022 请访问原文链接&#xff1a;https://sysin.org/blog/gartner-magic-quadrant-sd-wan-2022/&#xff0c;查看最新版。原创作品&#xff0c;转载请保留出处。 作者主页&#xff1a;sysin.org Gartner 魔力象限&#xff1a;SD-WAN 2022…
最新文章