双线性配对实现零知识证明的核心原理【BILINEAR PAIRING】

简介:

就像汽车一样,zk-SNARK零知识证明系统是由很多具有不同功能的部件组成的。在我看来zk-SNARK这辆车的引擎就是用来保护私有信息的双线性配对。配对是一种特殊的映射,它模糊了信息但依然允许你进行有限的计算,非常令人着迷。

用自己熟悉的语言学习以太坊DApp开发: Java | Php | Python | .Net / C# | Golang | Node.JS | Flutter / Dart

配对的基本概念

配对(Pairing)将输入的两个群成员映射为第三个群的成员,将配对记为e
在这里插入图片描述
上式左边的群由椭圆曲线上的点构成。你可以在很多地方找到椭圆曲线数学的介绍,不过我推荐Nick Sullivan写的这篇。上式右边的群被称为目标群,通常是一些大型有限群。

有趣的是,第一个椭圆曲线配对是法国数学家André Weil二战期间在监狱中给出的:
在这里插入图片描述

配对必须具备一些代数特征,下面是最重要的一个,被称为双线性:

在这里插入图片描述
下面是另一种表达方式:

在这里插入图片描述
配对的另一个重要特征是非退化性(non-degeneracy):

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-BHFzz20C-1591326183453)(bilinear-pairing/non-degeneracy.png)]

右边的1表示目标群中的乘法单位元。非退化性保证了只要我们选择椭圆曲线上的非单位成员G,就能得到目标群中的非单位元。

双线性配对在零知识证明中的应用

正如Vitalik Buterin指出的,配对可以用于验证一个数学过程是否正确执行,这也是配对在zk-SNARK中的用途。例如,假设我声称自己知道一个满足以下二次方程的数值:

在这里插入图片描述

为了说服你我的确知道上述方程的一个解,一个办法就是告诉你
我知道的这个解,然后你自己带入上述方程去验证。另一个办法
就是我不告诉你这个具体的解是多少,但是使用椭圆曲线上的配对
进行验证。

首先注意,如果:

在这里插入图片描述

那么k要么是0,要么是群的阶的倍数,因此如果以下等式成立,我们
就可以确定二次方程成立:

在这里插入图片描述

由于x²-x-42可以为0或目标群的阶的倍数, 因此我们需要更多x的信息来判断x的确是0,这一问题在另一篇文章已经介绍过了。

利用双线性,我们可以将上述等式重写为:

在这里插入图片描述

进一步整理:

在这里插入图片描述

现在,不需要验证原始的二次方程成立,只需要验证上面这个配对方程成立即可。
我不需要提供x的具体数值,只需要告诉验证人xG就可以了 —— 这隐藏了真实的x,
同时也让验证人可以验证我的x的确让等式成立。


原文链接:双线性配对:零知识证明的引擎 —— 汇智网

目录
相关文章
【密码学】一文读懂SHAMIR门限方案
【密码学】一文读懂SHAMIR门限方案
1361 0
【密码学】一文读懂SHAMIR门限方案
|
3月前
八问八答搞懂Transformer内部运作原理
【8月更文挑战第28天】这篇名为“Transformer Layers as Painters”的论文通过一系列实验,深入探讨了Transformer模型内部不同层级的信息处理机制。研究发现,中间层级在表示空间上具有一致性,但功能各异,且模型对层级的去除或重排表现出较强的鲁棒性。此外,论文还分析了层级顺序、并行执行及循环等因素对模型性能的影响,揭示了不同任务下层级顺序的重要性差异,并指出随机化层级顺序和循环并行化对性能损害最小。
46 5
|
6月前
|
安全 算法 数据安全/隐私保护
现代密码学 补充1:两种窃听不可区分实验的区别
现代密码学 补充1:两种窃听不可区分实验的区别
53 0
|
区块链 数据库 数据安全/隐私保护
如何理解区块链的运行原理?
通过今天的武侠故事聊了比特币区块链,其中包括区块链中公开记账、创建创世区块、交易、打包 Transaction、广播交易的几个步骤。
168 0
如何理解区块链的运行原理?
|
安全 算法 Java
Paillier半同态加密:原理、高效实现方法和应用
《数据安全法》已于9月1日起正式实施,两个月后《个人信息保护法》也将开始施行,意味着数据安全和隐私保护方面的监管将会在年内陆续到位。在合规收紧大背景下,“数据孤岛”现象日渐明显。如何实现安全的数据流通,保护数据隐私并发挥数据的价值,支持多方的联合计算,是各大数据平台亟需解决的问题。
Paillier半同态加密:原理、高效实现方法和应用
|
芯片 存储
带你读《PDN设计之电源完整性: 高速数字产品的鲁棒和高效设计》之二:PDN阻抗设计基本原理
基于本书关注的重点,作者阐述了瞬时电流和PDN电压噪声之间的关系。作者引入了瞬时电流的概念,并讨论了该电流对电压响应的影响,并提供几个特定情况下的瞬时电流波形来加以说明和验证。这些知识能够帮助读者理解PDN的阻抗曲线,以及与特定电流模型之间的相互作用,并可以获得其相应的电压响应。
|
存储 5G Linux
虚拟化C-RAN的概念证明验证 | 带你读《5G系统关键技术详解》之九
上节介绍了 C-RAN 中虚拟化实现的挑战。由于虚拟化主要是一个实现问题,在本节介绍的内容中,开发了一个 PoC 来验证虚拟化 C-RAN 的适用性。
虚拟化C-RAN的概念证明验证  | 带你读《5G系统关键技术详解》之九
|
区块链 算法
《区块链核心算法解析》| 每日读本书
全面解读共识在各种应用场景中的实现机制!权威、全面、易读好懂!每日搜罗最具权威专业书籍,更多图书请关注“每日读本书”。
1446 0
|
量子技术
如何用“大白话”描述量子通信?
文章很深入地讲解了量子技术及相关的应用。不过,很多同学在文章下面留言说仍旧看不太明白,于是保障君到处搜罗,最终整理出以下的内容。
706 0