Fiat-Shamir transform 和零知识证明

最新推荐文章于 2024-05-19 17:45:42 发布
最新推荐文章于 2024-05-19 17:45:42 发布
阅读量2.3k 收藏 2
点赞数
分类专栏： 零知识证明 数论密码学 区块链 数字签名
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_38200023/article/details/79871285
版权
零知识证明是区块链密码学的关键，其中Fiat-Shamir变换用于减少互动。通过使用Hash函数H(g,y,t)替代随机数c，证明者无法预知输出，增加了安全性。虽然随机预言机模型有争议，但目前没有有效的Fiat-Shamir变换破解方法。" 105114740,9414413,SUSE11 Linux网络配置与FTP服务管理,"['Linux系统管理', '网络配置', 'FTP服务', '安全设置']
摘要由CSDN通过智能技术生成

零知识证明是区块链密码学的重要内容。近期在学习环签名，因此了解了一下证明机制。
零知识证明：向对方证明自己知道某个秘密，但不泄露秘密。
一个传统的证明步骤如下：
1 以离散对数加密为例，一证明者公开一系列信息 (g,y1) ( g , y 1 ) ，其中g是本原元，如果用椭圆曲线离散对数就是基点坐标，y1就是公钥。
2 选择一个伪随机数 v∈Z

最低0.47元/天 解锁文章
ZKNARK零知识证明方案的构造
weixin_39466908的博客
01-26 1112
ZK-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) 是一种非交互式的零知识证明，它具有证明简洁和验证快速的特点，但是它需要一个被称为“信任设置”（trusted setup）的过程。
Feige-Fiat-Shamir:Feige-Fiat-Shamir 零知识证明的一个小概念证明
07-05
菲格-菲亚特-沙米尔 Feige、Uriel、Amos Fiat 和 Adi Shamir 中描述的 Feige-Fiat-Shamir 零知识证明的小概念证明。 “身份的零知识证明。” 运行：python main.py mode nkt 其中“mode”是“verifier”、“prover”或“cheater”之一（无论如何必须首先运行验证器），n是商定的大整数，k是密钥大小，t是要执行的挑战次数
07、the Fiat-Shamir Transform 【Fiat-Shamir转换】
qq_43479839的博客
01-28 582
The Fiat-Shamir Transform
非交互零知识证明：Fiat-Shamir Transform
weixin_44885334的博客
05-07 1710
非交互证明系统 令R⊆X×YR \subseteq X \times YR⊆X×Y是一个有效关系，那么关于RRR的非交互系统是一个算法对(Gen,Check)(Gen,Check)(Gen,Check)，定义如下： GenGenGen：一个有效的概率算法，形如π←RGen(x,y)\pi \leftarrow_R Gen(x,y)π←R​Gen(x,y)，其中(x,y)∈R(x,y) \in R(x,y)∈R，π∈PS\pi \in PSπ∈PS，这里的PSPSPS是证明空间（proof space） C
Fiat-Shamir 变换
taylorswift的博客
02-22 715
上述方法就叫做 Fiat-Shamir 变换。Fiat-Shamir 变换只能将公开随机数的交互证明转化为非交互证明。
零知识证明
09-05
通过对零知识证明的mpc阐述，说明零知识证明原理，和落地实现可能性。
nzkp:一种网络 Feige-Fiat-Shamir 零知识证明身份协议
07-05
无锡 这是源自 Daniele Raffo 的 Feige-Fiat-Shamir 零知识证明身份协议的 nzkp 客户端和服务器软件。 原始代码位于： : 。 建造 Make sure you have dependencies: libgmp, m4, and libsocket. $ make 安装 $ sudo make install 这会将 nzkp 客户端安装到：/opt/nzkp/bin/nzkp 并将 nzkp 服务器安装到：/opt/nzkp/bin/nzkpd To uninstall: $ sudo make uninstall 流浪汉 可以通过简单地运行来执行自动运行： $ vagrant up
Last Challenge Attack：KZG-based SNARK中Fiat-Shamir Transform实现漏洞
最新发布
mutourend2010@gmail.com
05-19 627
Last Challenge Attack：KZG-based SNARK中Fiat-Shamir Transform实现漏洞
零知识证明四——Fiat-Shamir，三分钟零知识证明入门
软件工程小施同学 的专栏
12-08 1200
看了一些密码学的书籍，都是老外的，才发现歪果仁还真是喜欢alice和bob，这二位霸占了密码学的故事的主角。今天我们也邀请二位来参与我们的故事。今天介绍的是比较简单的零知识证明，交互式零知识证明——Fiat-Shamir，不过这就是为了把大家领上道，实际应用是比这个要负责的； Fiat-Shamir 要进行Fiat-Shamir，首先进行准备工作，由可信第三方，随机选择两个大的素数p和q，计算n = p*q的值（n的值是公开的，p和q的值要保密）。 Alice选择s属于（1～n-1），...
学习笔记：ZKP & Fiat-Shamir变换的漏洞
日常学习记录，随缘更新
04-19 640
Jim Miller关于 Fiat-Shamir transformation和ZKP的开篇blog。文章相对基础，可以帮助初学者快速理解交互式零知识证明和Fiat-Shamir变换的问题：https://blog.trailofbits.com/2021/02/19/serving-up-zero-knowledge-proofs/#comments 这个漏洞对所有未规范使用Fiat-Shamir变换的证明系统都产生威胁。 ZKP & Fiat-Shamir变换ZKP简介类比“网球”ZKP与Fia
shamir 秘密共享算法
06-04
Shamir 的(k,n)秘密共享算法将秘密S 分为n个子秘密，任意k 个子秘密都可以恢复 出S ，而任意k 1个子秘密无法恢复出S 。
Fiat-Shamir heuristic（含实现）和Random oracle
mutourend2010@gmail.com
07-02 1639
1. Fiat-Shamir 定义 通过Fiat-Shamir转换，可将Bulletproof中Verifier多次challenge的interactive证明切换为Non-Interactive proof. The Fiat-Shamir heuristic. The Fiat-Shamir transformation takes an interactive public coin ar...
后量子签名：Fiat-Shamir（上篇）
weixin_44885334的博客
06-19 1272
Fiat-Shamir 范式：令 Π\PiΠ 是一个 Sigma 协议（333-round public-coin ZK proof/argument），证明者和验证者交互的副本形如 (a,e,z)(a,e,z)(a,e,z)，其中 aaa 是承诺，eee 是公开掷币的一系列挑战（使得 soundness error 可忽略），zzz 是对这些挑战的回应，证明者将证据 www 作为私钥。我们用 HHH 表示随机神谕（Random Oracle）。给定消息 mmm，签名者随机生成 aaa，询问 RO
信息安全与密码学博士：应该掌握的52个知识--（4）T46-- 菲亚特-沙米尔（Fiat-Shamir）变换
u010665790的博客
01-28 2413
目录 概念和应用 背景和数学表示 Schnorr 协议 数学表示[2] 概念和应用 Fiat-Shamir变换，又叫Fiat-Shamir Heurisitc（启发式），或者Fiat-Shamir Paradigm（范式）。是Fiat和Shamir 在1986年提出的一个变换，其特点是可以将交互式零知识证明转换为非交互式零知识证明。这样就通过减少通信步骤而提高了通信的效率！ 背...
Fiat-Shamir 与零知识证明
y734564892的博客
05-26 5354
零知识证明：不泄露个人信息的前提下证明自己是某信息的合法拥有者 Fiat-Shamir heuristic 根据wiki：前提：持有相同的message x的用户可以相互认证，他们持有相同的验证函数，以指数函数为例 f(x)=gx  1. alice想向bob证明她知道message x 同时又不想泄露出x2. Alice取一个非零整数v，同时得到t=gv3. 用加密哈希函数 c=H(g,y,t)...
Fiat–Shamir heuristic 启发式的应用 理解 代码实现
ChainingBlocks
12-07 1324
先讲问题，再引入Fiat–Shamir heuristic。 问题 平时我们使用密码注册和登录一个网站的过程可能是这样的。我们使用用户名和密码注册一个网站，网站后台收到用户名和密码之后，使用一个hash算法计算密码的哈希值，然后将用户名和哈希值存入数据库。下次用户登录的时候，后台以同样的方式计算出哈希值，对比数据库中的是否一样，如果两者的用户名和哈希值都一样，登录成功。好一点的后台可能在计算哈希值...
密码学读书笔记——Fiat-Shamir
little_pants的博客
11-22 1650
密码学读书笔记——Fiat-Shamir交互式的身份验证非交互式的签名方案关于Fait-Shamir安全性的思考 交互式的身份验证 在中心准备签发智能卡时，会信选择出一个模数n和一个伪随机函数f，这个伪随机函数f可以将任意的字符串与[0,n)当中的一个数联系起来。n是两个秘密（只有中心知道）素数p和q的乘积。 当一个合法的用户希望申请一个智能卡时，中心会解析它的所有相关信息，包括名字、地址、ID、物理特征描述等，这些信息会被包括在一个字符串当中，同时有关卡片本身的一些信息也会被包含在其中（发行日期，有效性限
掌握Feige-Fiat-Shamir零知识证明及其Python实现
资源摘要信息:"Feige-Fiat-Shamir零知识证明是一个密码学概念，由Feige、Uriel、Amos Fiat和Adi Shamir在1986年提出。该技术属于密码学协议的一部分，它允许多个参与方在不泄露各自秘密信息的情况下，相互验证对方的...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

_viceversa

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值