木星链 木星链
Ctrl+D收藏木星链
首页 > MEXC > 正文

ARK:简明理解零知识证明历史、原理与发展现状

作者:

时间:1900/1/1 0:00:00

原文标题:《零知识证明最简介绍:历史、原理、实现》

密码学可以说是区块链技术的基石,而其中的零知识证明更是因为深度契合区块链的技术特点,而得到了广泛的应用和关注。

本文旨在用最简单的语言和形式,向大家介绍零知识证明相关的历史、概念、原理、技术实现以及发展现状。

那么让我们开始吧。

历史和起源

密码学是一门可以追溯到2000多年前的古老学问,其发展历史主要可以划分为以下几个阶段:

古典密码学

这一时期的密码学主要被应用于军事领域,如何有效的传递密文,又能防止被敌人截获后破解,是其主要考量。16世纪由法国人发明的「维吉尼亚密码」是古典密码理论发展上的一个重要里程碑,它使用一个词组作为密钥,词组中每一个字母都将确定一个替换表,「维吉尼亚密码」循环的使用每一个替换表完成明文字母到密文字母的变化。

明文:ilovebitcoin

密钥:satoshi

对于第一个字母i,取第i行第s列,得到A;第二个字母l,取第l行第a列,得到L…依次循环,最后得到密文:ALHJWIQLCHWF。可见,在不知道密钥的前提下,不借助计算机已经非常难以破解这样的密码。

近代密码学

这一阶段真正的开始源于香农在20世纪40年代末发表的一系列论文,特别是1949年的「CommunicationTheoryofSecrecySystems」,把已有数千年历史的密码学推向了基于信息论的科学轨道,密码学终于从艺术转向科学。

这一时期的重要突破是DES的出现,直至今日也只能用穷举法对其进行破解。DES加密算法风行世界,并在金融等商业领域得到了广泛的应用。

Base链上DEX LeetSwap 24H交易额达2.33亿美元,BALD交易额占比近50%:7月31日消息,DEX Screener数据显示,Base链上最大DEX LeetSwap 24H交易额达2.33亿美元,交易笔数达52.61万笔。

在LeetSwap的前十大交易对中,除了平台币LEET外,其余9个均为meme币。BALD/WETH 24H交易额达1.08亿美元,占LeetSwap平台24H总交易额的近50%。

据此前报道,Lookonchain监测显示,昨晚BALD的部署者已向LeetSwap总共添加7.27亿枚BALD和6471枚ETH(约合1215万美元)流动性。[2023/7/31 16:08:50]

现代密码学

1977年,麻省理工学院的RonRivest、AdiShamir、LeonardAdleman提出的非对称加密算法RSA,有效的解决了密钥传送的问题,标志着密码学进入了百家争鸣的现代阶段。

1989年,由麻省理工学院研究人员Goldwasser、Micali及Rackoff提出了「零知识证明」的概念,当时的他们一定不曾想到,若干年后出现的区块链技术彻底激活了零知识证明的应用,而零知识证明则为区块链技术提供了一种绝佳的解决方案。零知识证明的方法特点和区块链技术的系统特点达成了完美的契合。

零知识证明及zkSNARK

零知识证明是指,在不揭晓我所知道或拥有的某样东西的前提下,向别人证明我有很大概率确实知道或拥有这样东西。

zkSNARK则是在区块链中应用最广泛的一种零知识证明,其全称是「zero-knowledgeSuccinctNon-InteractiveArgumentsofKnowledge」。

一Smart Money在休眠一年多后购买了6种MEME币:金色财经报道,据Lookonchain监测,一位在SHIB上赚了约750万美元的Smart Money在休眠一年多后,购买了6种MEME币。包括PEPE、WOJAK、AFY、Dione、DMTR、VAI。他也非常幸运地从 Flokitars Deployer 获得了 1.79 亿枚 FLOKI(9,378 美元)。此外,该Smart Money用10枚ETH(价值约18,742美元)买入586.6亿枚PEPE,以16.55枚ETH(价值约31,569)卖出。然后以17.3 枚ETH(价值约33,005)买入470亿枚PEPE,目前价值13.5万美元。[2023/5/6 14:46:13]

光听定义,大家一定一头雾水,本节将借用一个例子,尽可能接地气的向大家介绍这两个概念。

Alice、Bob和Charlie都是数独爱好者,所谓数独是这样一种游戏,玩家需要根据9×9盘面上的已知数字,推理出所有剩余空格的数字,并满足每一行、每一列、每一个粗线宫的数字均含1到9,且不重复。

有一天Alice设计了一道巨难的数独题目来考Bob和Charlie,Bob苦思冥想了几天也做不出,便向Alice抱怨这肯定是道无解的题目。Alice不想将实际的解告诉Bob,但是又需要证明她确实知道解,于是她设计了一种巧妙的「零知识证明」的方式。

证明(TheProof)

Alice拿出81张空白的卡片,并在每张纸上写上1-9中的一个数字,接着她将代表谜面的卡片数字面朝上、代表谜底的卡片数字面朝下都放在桌上,并组成了9x9的矩阵。

欧易OKX宣布将基于全览默克尔树、零知识证明升级储备金证明:3月2日消息,据欧易 OKX 官方消息,平台宣布在未来几个月内升级储备金证明,将基于全览默克尔树、零知识证明的技术来证明偿付能力。后续将允许任何人查阅默克尔树中的所有资产情况,但也会通过拆分和洗牌的方式保障用户隐私。

据了解,除储备金干净度为 100% 外,欧易 OKX 是目前唯一一家同时实现默克尔树开源验证、钱包地址所有权开源验证、链上资产开源验证的交易平台。自去年 11 月份以来,欧易按月定期发布 PoR 报告,持续引领行业提升透明度。[2023/3/2 12:38:51]

随机挑战

接下来怎么让Bob确认这就是正确的解呢?很简单,由Bob随机选择行、列或是粗线宫中的一种进行验证,假如选择行,则将这81张卡片按9行分别放到9个麻布袋中,摇匀并确保卡片次序打乱。

验证

简洁

虽然数独游戏有3种情况需要验证,但每次验证时Bob实际只需要验证其中的一种,这有效减少了验证工作量,提供给验证者的实际是一个比原命题小的多的证明,这就是所谓的简洁。

重复

之后重复这个随机验证步骤,我们假设Alice运气很好,每次都能提前猜中Bob会选择哪种验证方式,并以此来模拟一个解,那么她通过1次验证的概率为1/3,通过2次验证的概率为1/9,通过10次验证概率就只有1/59049了。在不厌其烦的进行了20次验证之后,Bob无奈的承认,Alice是真的知道这个答案的解,因为Alice凭运气通过验证的概率只有35亿分之一!

数据:当前比特币总持币地址数超5302万:1月6日消息,据Tokenview数据显示,当前比特币全网算力达243.86 EH/s;比特币全网难度为34.09 T;比特币24h交易笔数39,245;24h活跃地址数176,526;24h新增地址数88,615;比特币持币地址数53,026,948。[2023/1/6 10:58:10]

模拟

这个时候,Charlie也来向Alice抱怨这个题目的无解,Alice和Bob又重复了刚才的证明,没想到却没有得到Charlie的认可。Charlie提出了这个证明中的漏洞,如果Bob和Alice是一伙的,每次Bob都会提前告诉Alice他要选择的验证方式,那么Alice就可以很容易的在没有解的情况下模拟出一个证明来通过这些测试。

非交互式证明

不可能让每个持有这种怀疑的人都重复一遍Bob进行的随机验证,于是三个小伙伴设计了一台神奇的机器,Alice只需要提交一次卡片,这台机器就可以按照初始设置好的验证序列,自动化的对这些卡片进行重复验证。验证从交互式的,变成了非交互式的。这里我们要注意,并不是说非交互式证明就没有重复随机实验这个过程。实际上,只不过是随机点不由验证者给出,而是由一个可信的第三方在初始化阶段就给出,这样一来,证明者就可以直接给出证明,验证者只需要验证证明即可,验证者和证明者之间不再需要交互。

可信设置仪式

其中最有趣也最重要的环节就是验证序列的初始设置。在机器启动前,会有一排设置旋钮,通过这些旋钮可以选定每一轮的验证方式。在设置这些旋钮时,每个人依次进入放置机器的房间,选择一个旋钮并设置好,之后就用一个铁盒子彻底焊死这个旋钮,让其他人无法看见也无法改变这个旋钮的选择。为了让初始设置尽可能的可信,小伙伴们邀请了镇长、小学校长和警察局长这三位小镇上最德高望重的长者来参加设置仪式,大家都相信他们绝对不可能参与作假,因此他们称之为「可信任的初始设置仪式」。

美联储梅斯特:倾向于在2023年初将利率提高到4%以上:金色财经消息,美联储梅斯特重申,她倾向于在2023年初将利率提高到4%以上,得出通胀已经见顶的结论为时尚早。(金十)[2022/8/31 13:00:46]

一台数独游戏的简洁非交互式零知识证明机,诞生了!

zkSNARK的技术实现

通过上一节我们已经弄明白了零知识证明和zkSNARK的基本概念和原理,这一节我们再来一窥zkSNARK的技术实现。可以说整个实现过程相当的繁琐晦涩,且需要一定的背景知识,因此本小节只力图讲清楚其核心思想,而不拘泥于过分复杂的数学推导。

我们从一个方程式开始,X^3+X+5=35,显然解是3。那么现在,证明者如何向验证者证明自己知道方程的解是3,而又不告诉验证者这个解呢?

首先,我们将方程转化为计算机语言,这很容易实现:

y=x*3returnx+y+5

接着,我们将上面的代码拍平。所谓将代码拍平,是指让代码一次只做一件事,形如x=yopz。

拍平后,代码变成以下语句:

sym_1=x*xy=sym_1*xsym_2=y+x~out=sym2+5

然后,我们引入R1CS一阶约束系统,R1CS是一个由三向量组组成的序列,同时有一个解向量s,s满足s·a*s·b-s·c=0。

在本例中,s的结构为,可见其由一个特殊的~one、方程的解x、方程的输出~out和一系列中间变量构成,其顺序不重要,只要保证有序即可。

我们把语句变换成如下形式,来方便我们求解abc:

x*x-sym_1=0sym_1*x-y=0y+x-sym_2=0sym_2+5-~out=0

我们很容易得出第一个式子对应的三个向量:

a=b=c=

推导过程其实很简单,我们知道要满足s·a*s·b-s·c=0,那么对应第一个式子x*x-sym_1=0,只需要s·a=x、s·b=x、s·c=sym_1即可,而s=,那么a只要在x的位置等于1,其余位置等于0,即得出。

大家可能对上面一系列眼花缭乱的变换感到莫名其妙,我们究竟在做什么?这里要揭晓谜底了,我们对每个式子验证s·a*s·b-s·c=0,其本质是在验证每一步都得到了正确的计算,也即如果我们可以验证每一步都是正确的,那么最终结果也一定是正确的。

以上的每一步,看似都在舍近求远,因为s里本身就包含了方程的解x,验证者只需把x代入就能进行验证。但从另一个角度看,通过这一系列的转换,我们构建了一种将证明和验证分离的方式。在证明过程中,证明者需要知道解并生成一系列中间结果,而验证者则只需要验证其一系列结果构成的解向量是否满足一系列约束,而不需要关心这个解到底是多少。

现在只剩一个问题留待解决,就是能否通过一种方式,让验证者看不到裸着的解x,同时依然可以进行验证过程。答案是肯定的,借由椭圆曲线、双线性对运算和指数知识假设这一系列数学手段我们就可以做到这一点,因为其推导过程过于复杂,本文不做赘述。整个zkSNARK的技术实现流程参见下图,需要了解更多细节的同学可以阅读参考资料中给出的Vitalik的文章。

零知识证明发展现状

零知识证明协议

零知识证明目前有如下几种协议,每个协议代表一条实现零知识证明的道路,不同道路最后会产生不一样的效果。

其中,安全性最高的是STARKs算法,其不依赖数学难题假设,具有抗量子性,并实现了透明通用字符串;Proofsize最小的snarks协议是groth16算法;Plonk是SNARK协议中的一个算法,Proofsize和安全性处于适中状态。

SNARKs协议算法

作为区块链技术中应用最广泛的SNARKs,已经发展出了诸多各具特点的协议算法:

Groth16:Groth16是目前最快、数据量最小的zk-SNARK,被用于Zcash等。Groth16的CRS不是通用的,其设置需要绑定到一个特定的电路。由于其速度和证明的小数据量,因此常常被新的zk-SNARK拿来比较性能。

Groth16论文链接

Sonic:Sonic是一种早期的通用zk-SNARK协议,支持通用、可升级的参考字符串,论文发表于2019年1月。Sonic的证明大小固定,但是验证成本高,理论上可以将多个证明分批验证以获得更好的性能。下面列举的许多新的zk-SNARK都是基于Sonic。

Sonic论文链接

Fractal:Fractal是一种允许递归的zk-SNARK。通过对电路的预处理实现了透明设置。证明最大250KB,这比其他构建生成的证明都要大的多。

Fractal论文链接

Halo:Halo支持递归证据组织,无需可信设置,与其他新的zk-SNARK构建不同,Halo的验证时间是线性的。

Halo论文链接

SuperSonic:Sonic的改进版,是第一个在验证时间和证明数据量方面实用化的透明zk-SNARK。

SuperSonic论文链接

Marlin:Sonic的改进版,证明时间缩短10倍,验证时间缩短4倍。

Marlin论文链接

Plonk:Sonic的改进版,证明时间缩短5倍。

Plonk论文链接

硬件成本

当前零知识证明缺乏专用硬件,导致硬件成本偏高,租用云服务器满负荷下成本约为0.002元/笔,有空载情况下约为0.02元/笔。Vitalik曾提出一个设想,当以太坊共识机制改为PoS,不需要那么多挖矿硬件后,这些算力可以经改造后转向支持零知识证明,这可能有效降低零知识证明的运行成本。

写在最后

如今,零知识证明已经在区块链领域大放异彩,包括第一个实现zkSNARK的匿名加密货币Zcash、Layer2的主要解决方案zkRollup等等。

DeGate团队也将在产品实现中大量应用零知识证明,藉由其强大特性,我们将Orderbook的撮合交易转到MatchNode中进行,使用户可以实时的挂单、撤单和成交,且其中挂单撤单免费;之后再将订单批量结果生成证明,传回Layer2上进行验证,这让DeGate在继承以太坊安全性的同时,既可以隐藏下单关键信息又可以有效降低Layer2上的Gas费消耗。而我们的最终目标是,无论在操作体验上,还是手续费消耗上,都使DeGate达到媲美中心化交易所的水平。

标签:ARKNARALIICEDeutsche eMarklunar币归零ALIA价格Juiice

MEXC热门资讯
ETHER:金色观察丨Tether“几个月”后将发布新储备金审计报告 但还能安抚人心吗?

金色财经?区块链7月22日讯??据Tether总法律顾问StuartHoegner透露,对Tether储备的新审计结果可能会在几个月后发布.

1900/1/1 0:00:00
比特币:富达:解析机构投资者配置比特币六种方式的优劣权衡

到目前为止,机构投资者社区的大部分讨论都集中在「为什么是比特币?」如果有人确实得出比特币适合其投资组合的结论,那么下一个逻辑问题通常是「如何」投资比特币.

1900/1/1 0:00:00
元宇宙:专访扎克伯格:万字解读Facebook为何将转型为元宇宙公司

六月末,FacebookCEO马克·扎克伯格向员工介绍了一项雄心勃勃的新计划。根据这项计划,该公司的业务范畴将远远超出当前的一系列社交应用以及相关的硬件项目.

1900/1/1 0:00:00
稳定币:美财长耶伦召开总统金融市场工作组会议 讨论稳定币监管问题

根据官方公告,美国财政部长JanetYellen周一召集了总统金融市场工作组、货币审计长办公室、联邦存款保险公司讨论稳定币.

1900/1/1 0:00:00
BOS:首发 | 火币研究院:自动做市商的演变与未来(一):逐鹿流动性

LBank蓝贝壳于4月10日01:00首发 BOSON,开放USDT交易:据官方公告,4月10日01:00,LBank蓝贝壳首发BOSON(Boson Protocol),开放USDT交易.

1900/1/1 0:00:00
300:虚拟货币打击又来了 欧盟考虑禁止匿名加密货币钱包

欧盟委员会当地时间7月20日公布了一揽子提案,将在全欧盟范围内加强对和恐怖主义融资的打击,为此建立一个机构.

1900/1/1 0:00:00