通用协议（三）Computational Indistinguishability 计算不可区分性

最新推荐文章于 2025-07-13 16:02:43 发布
原创 最新推荐文章于 2025-07-13 16:02:43 发布 · 2k 阅读 · 1 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文深入探讨了计算不可区分性的概念，使用多项式电路族进行描述，并解释了它与统计不可区分性和相同分布的关系，为理解零知识证明提供了一个新的视角。

Computational Indistinguishability

计算不可区分性
我们用多项式电路族来描述计算不可区分性，通过以下的方法：
定义两个实体，X, Y，S为一个字符串，有如下的关系：
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
对于任何人多项式电路族，Cn，n为w的长度，w属于S和n长字符串的交集。

statistical indistinguishability 计算不可区分是统计不可区分的放宽，即统计任何长度的不可区分性：
在这里插入图片描述
identically distributed 相同分布
在统计不可区分中，所有上文差值都等于零，那我们就称其为分布相同的。类似于零知识证明的层层限定。

以上内容参考《Foundations.of.Cryptography.Volume.2.Basic.Applications(Oded.Goldreich)》
Public Key Cryptography文章分类总结（ PKC 2022）
dedanddwb的博客
08-12 641
可追踪密码学的目标是将身份标识嵌入到加密对象中，如加密方案中的解密密钥或签名方案中的签名密钥，并确保任何成功复制了这些功能的“盗版设备”都可以被追踪到用于构建该设备的一系列身份标识。文章提出了一种新的恶意安全多方计算（MPC）构造，它在公共随机串（CRS）模型中只需要两轮通信，并且第一轮的消息可以被重用，不受计算电路大小的限制。这需要一种特殊的承诺方案（Commitment Scheme），即部分可解密的承诺（VPDC），它允许一个可信的第三方在必要时撤销交易的匿名性，同时保持其他方的隐私。
《A Graduate Coursse in Applied Cryptography》chapter 3 Stream ciphers （3）
密码小仙女
07-12 388
A Graduate Coursse in Applied Cryptography》chapter 3 Stream ciphers （3）原文教材： Boneh Dan , Shoup Victor . A Graduate Course in Applied Cryptography[J]. 《概率论与数理统计教程》（第二版）茆诗松 程依明 濮晓龙 该书项目地址（可以免费获取）：http://toc.cryptobook.us/ ...
计算不可区分
hl156的博客
09-18 1364
在阅读文献的过程中遇到了这两个概念：计算不可区分、统计不可区分。 计算不可区分：给定随机变量序列，m(n)为多项式，如果对每一个概率多项式时间算法A，存在可忽略函数ε :N→［0,1］，使得对每一个n∈N，成立，那么称是计算不可区分。 感觉概念很抽象，查阅了一些资料之后得出的总结：（针对随机数而言的）如果是多项式的计算能力计算不出随机数，就叫计算不可区分。（也看到一种说法，如果多强的计算能力都无法计算出随机数就叫统计不可区分） 我也不太清晰，还望大神指正。 ...
统计不可区分和计算不可区分
Y___A___N的博客
12-01 1372
为了便于说明，我们通过一个随机函数来举例子，在这个例子中有三个角色，挑战者，真随机源头以及一个随机数生成算法。其过程为，真随机源通过扔硬币的方式产生一个真随机数R，随机函数通过一个算法生成一个随机数R'，将R和R'同时发送给挑战者，让挑战者区分哪个是真随机源产生的随机数，哪个是随机函数产生的随机数。 如果挑战者能够区分两者，则我们说挑战成功。 这里区分计算不可区分和统计不可区分的关键点在于挑战者的能力。如果挑战者的能力是无限的，无限能力的挑战者都不能挑战成功那么他就是统计不可区分；如果挑战者的能力是多项式的
SDU Crypto School - 计算不可区分性1
weixin_43466027的博客
08-09 619
教你安全地传小纸条
不可区分性（indistinguishable）中要注意的问题
热门推荐
u014162760的专栏
11-04 1万+
1.不可区分性是两个distribution ensemble（概率整体）间的关系，一个重要的前提是区分者的计算能力，不同的计算能力会导致不同的不可区分性，如：统计不可区分，计算不可区分。我们一般降到的是计算不可区分。 2.不可区分的形式在公钥与私钥下稍微有些不同。 在私钥体制下，一般以密文与随机序列不可区分的概率优势（Adv）来说明某个私钥加密方案的安全性。与这个优势（Adv）密切相
安全性归约（基础）
weixin_44885334的博客
11-09 1478
现代密码学的**三个层次**： 1. 基本困难问题 2. 基于困难问题建立的密码原语（Cryptographic primitive） 3. 密码方案、密码协议、应用系统 安全性： 1. **信息论安全**，两个分布几乎完全相同 2. **计算安全**，两个分布不同（甚至差异很大），但是概率多项式时间（PPT）不可区分 **可证明安全**：给出安全模型，设计方案，归约证明安全性（攻击密码方案的计算复杂度，不低于求解基础困难问题） 1. 基于**模拟**的模型 2. 基于**游戏**的模型 构建密
AI原生应用领域多租户的量子计算潜力探索
最新发布
AI天才研究院
07-13 411
本研究系统探索AI原生应用与多租户架构在量子计算场景下的融合潜力，通过理论推导、架构设计与应用场景分析，揭示量子计算在资源调度优化、模型训练加速、数据隐私增强等核心场景中的颠覆性价值。研究构建了"量子资源池-租户隔离层-AI服务引擎"的三层架构模型，提出基于量子态虚拟化的多租户资源分配策略，并通过金融风控、医疗健康等典型场景验证量子计算的实际增益。研究同时讨论了量子计算在多租户环境中的技术挑战（如退相干管理、跨租户干扰）与伦理风险（如算法偏见放大），为行业从业者提供从理论到实践的完整技术路线图。资源竞争。
替换随机预言机：密码学签名方案的创新探索
早期Canetti开启了相关研究，近期Bellare、Hoang和Keelveedhi提出了UCE（Universal Computational Extractor）的概念，用于替代随机预言机启发式方法。他们指出随机预言机并不存在，而UCE是哈希函数的一个明确定义的...
关于密码学中不可区分性的一些问题
u014162760的专栏
04-15 7100
不可区分性 伪随机数生成器
【区块链与密码学】第10-3讲：零知识证明概念
Digquant的博客
05-27 421
【本课堂内容全部选编自PlatON首席密码学家、武汉大学国家网络安全学院教授、博士生导师何德彪教授的《区块链与密码学》授课讲义、教材及互联网，版权归属其原作者所有，如有侵权请立即与我们联系，我们将及时处理。】 10-3零知识证明 零知识证明系统是交互证明系统的一个实例。 零知识证明系统所要完成的任务是「证明某一个事实并且不泄露知识」。 简而言之，零知识证明是一个两方参与的交互协议，其中证明者向验证者证明某一个断言的正确性，并且满足以下三个条件： 正确性-即若断言为真，则验证...
什么是“判定问题”？（1）－ 可计算性理论与计算复杂性理论
cd2dvd的博客
09-21 6219
什么是“判定问题”？（1）－ 可计算性理论与计算复杂性理论 已有 1843 次阅读 2015-6-6 00:07 |个人分类:不确定性问题和算法讨论|系统分类:科研笔记|关键词:P versus NP 计算复杂性理论 可计算性理论 我们一直在解读，“P versus NP”之所以成为“世纪难题”，失足于NP定义：NP＝Nondeterministic Polynomial
通用协议（四）半诚实模型
密码小仙女
11-14 7387
The Semi-Honest Model 半诚实模型 半诚实的参与方，遵循了协议的执行，但是却保存了协议的中间计算状态，实际上，半诚实的参与方，只要保存内部的掷硬币过程（产生随机数的过程）和所有从其他参与方接收到的消息就行了。特别是，一个半诚实的参与方会选择随机数和根据预定的程序进行操作，即根据预定的程序公平的产生随机数和执行输入与输出。值得注意的是，一个半诚实参与方相当于是零知识中的诚实验证者...
通用协议（三）--- 两方安全计算
密码小仙女
11-13 2670
两方安全计算的情形 在本节中我们主要定义两种模型敌手下的安全，在所有的这两个模型中，敌手都是非适应的并且是计算有界的，并且存在辅助书输入。下面的主要内容如下： 1.考虑一个半诚实的模型。 2.继续考虑恶意的敌手。 两方安全计算框架 一个两方协议问题可以被描述为一个随机的过程，将一对输入映射到一对输出，我们更倾向于定义这个描述为函数体(functionality) ，也就是说对于任意的一对输入(x,...
通用协议（七）两方安全计算-恶意模型
密码小仙女
11-18 2384
在两方安全计算中的恶意敌手模型 一些基础的问题 1.没有任何方法能强制一方参与到协议中，也就是说一种恶意的行为包括阻止这个协议正常开始执行，或者更一般的行为是在任何时刻终止参与，导致协议中断。特别是，一个参与方获得了期望的结果后，终止协议。 ...
通用协议（八）恶意模型分析
密码小仙女
11-19 2209
两方安全计算恶意模型分析 在存在恶意敌手的两方安全模型中，核心是要定义理想与现实不可区分，这个在之前的描述中已经比较清晰了，进一步，我们讨论一些相关的属性。 一个重要的属性在这个模型被实现就是保密性，也就是说，所有的敌手能够有学习通过参与协议的方式，并且使用可能的任意策略，能够本质的推断出相应的输出仅仅通过自己的方式。另一个属性是在这个模型中被实现是正确性，这意味着诚实方的输出必须符合一个输入对，...
通用协议（五）两方安全计算
密码小仙女
11-16 2081
从（real VS ideal）的角度来看两方安全计算 上文说到，基于模拟范式思想的两种证明方法在一般情况下都是可以应用在两方安全计算中的，之前主要说了基于扩展的零知识证明的证明方法，本节主要讨论从现实和理想不可区分的角度来讨论安全的证明。 在这种角度下，我们首先考虑理想模型，两个参与方由一个可信第三方连接，并且由可信第三方来计算。接着在真实的执行过程中就是执行协议没有可信第三方参与。一个协议在真...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值