1/ 人人都能看懂的零知识证明(ZK或ZKP)、ZK-Rollup、ZK-EVM解释,以及ZK的应用。

什么是ZK?

如何证明自己会开车?
出示驾照。
2/ 该例解释了ZK的特性:

证明:有效的证明——驾照。

效率:仅需出示证明,无需再去开着车转几圈,做一些倒车入库等操作,来展示自己会开车。

隐私:仅出示了驾照,未透露其他信息。
3/ 再看更严谨的例子:

想象下,你正在面对亿万亩成熟小麦。

其中有一棵燕麦,请你把它找出来。(这得花费几十年时间,或者根本不可能)

但我告诉你,我知道这棵燕麦在哪,你相信我吗?
4/ 于是,我给你戴上眼罩,在麦田里东绕西绕,让你蹲在燕麦前,摘下眼罩,看到燕麦。然后,仍旧戴上眼罩,站起来,走出麦田。

你相信我知道燕麦的位置,但你仍不知道燕麦在哪。因为你戴了眼罩,还蹲下了,无法获取自己的位置。
5/ 稍微密码一点,ZK是证明者向检验者证明某命题的方法,在过程中,证明者无需透露任何其他信息,即可证明命题为真。

在密码学中,ZK由非常复杂的数学公式实现,本文就不展开讲了。
6/ 目前,在加密领域,ZK技术相对成熟,但部署有门槛,主要表现在:

首先,对开发环境有一定要求。如以太坊就不是很适合ZK的开发。
7/ 为了解决该问题,在 #MantaNetwork 测试网 Dolphin 里,用户需要下载 Manta Signer,用来快速生成零知识证明。生成时间缩短至几秒钟。

当前,Manta 技术团队也正在着手解决该问题,让用户省去下载 Manta Signer 步骤,提升体验。

(Dolphin 测试地址:app.dolphin.manta.network/#/transact
8/ 其次,开源ZK少,团队需雇佣密码学家。当前ZK构建方案主要有以下两种:

A. 使用 Circom 等高阶编程语言
缺点是不能进行性能优化,很可能使得应用的使用体验变差。

B. 直接使用 Arkworks' Groth16 等 ZK 库构建协议
缺点是需要开发者有深厚的密码学背景,而且开发过程中很容易出现错误。
9/ ZK能做什么?

目前,可将 ZK应用,大致划分为两个领域——扩容和隐私。

扩容方面,代表性的应用是 #ZKRollup Layer2,如 @StarkWareLtd @zksync @Scroll_ZKP @loopringorg 等等

而着重将 ZK 应用在隐私领域的项目有 @MantaNetwork @AleoHQ @aztecnetwork
10/ #ZKRollup 扩容

Roll,卷、滚的意思。Up,向上、起来的意思。Rollup,就是把交易“卷”起来,在自己的网络里处理掉。

ZK-Rollup 会在交易执行完成后,生成一个零知识证明 ZK Proof。负责校验的合约,只需要校验这个证明就行(看驾照信息),不需要具体校验细节(不用花时间炫车技)。
11/ 由于证明文件很小,验证时间一定,所以证明本身不会随着交易数量增加而变大。
12/ ZK隐私

在交易过程中,网络里的验证者,通过验证生成的证明 Proof,来验证交易者资产及交易的真实性。
在确保资产隐私的前提下,(还记得驾照和燕麦的示例吗),从而实现隐私交易。
13/ ZK-EVM

所谓 ZK-EVM,指的是,能否基于 ZK 实现以太坊 EVM 开发环境兼容,从而让以太坊现有 dApp 直接将代码“复制粘贴”到 Layer2 上,便于开发。

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with Manta Network 中文社区(🔱,🔱)RWA & Meme

Manta Network 中文社区(🔱,🔱)RWA & Meme Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @manta_china

Dec 6, 2022
1/ 继续 #WhyZK?
讲讲 #zkRollup

首先,什么是Rollup?
Roll,意为卷。Up,是向上、起来。Rollup就是“卷起来”,把许许多多多笔交易“卷”起来,在自己链上处理掉。
Rollup通常运行一组中心化定序器(Sequencer),定序器就像中心化的服务器。

前情回顾👇👇👇
1.1/
用户在 Rollup 交互,交互信息并不直接提交到以太坊主网上。定序器会对 Rollup 里的交易,统一进行排序、打包、压缩,隔一段时间提交到以太坊主网,由以太坊主网共识节点校验交易数据,提供结算,以减轻以太坊主网负担。
这个过程,称为“链下扩容”,所谓“链下”指的是在以太坊链下。
1.2/
以太坊主网共识节点,可通过欺诈证明(Fraud Proof,通常由Optimistic Rollup采用)或有效性证明(Validity Proof,通常由zk-Rollup采用),验证 Rollup 提交的交易数据是否真实。
Read 18 tweets
Nov 21, 2022
1/ #Manta101 #WhyManta
@OneBlock_ 专访Manta创始人、密码学家 @shumochu

以下是详细文章:👇
mirror.xyz/0xeB125d270FC1…
1.1/ 为什么选择零知识证明?
Shumo 从2018年开始关注零知识证明,2019年在 #Algorand 任Research Scientist(研究科学家),Algorand有业界最强密码学团队,创始人图灵奖得主、麻省理工学院教授Silvio Micali,也是零知识证明发明人。
1.2/
不为人知的是,Algorand当时还有全同态加密的发明者Craig Gentry,大家在交流时都认为零知识证明是未来趋势。

离开Algorand,Shumo去了加州大学圣塔芭芭拉分校任助理教授,研究方向是零知识证明的编译器。
Read 18 tweets
Nov 16, 2022
关于 Manta Signer

1/ 什么是Manta Signer?
Manta Signer是ZK证明快速生成工具,使用Poseidon Hash在本地生成证明,使ZK计算成本更低、速度更快。
任何建立在Manta上的DApp都可以应用Manta Signer。

2/
Manta Signer类似插件。体验Dolphin测试网,需要下载Manta Signer。可以在Discord里获取水龙头Token。
Discord:discord.com/invite/PRDBTCh…
Dolphin测试网:app.manta.network/dolphin/transa…
3/ 为什么需要Manta Signer?
在ZK网络交互时,需要生成ZK证明,生成速度慢且需要耗费更多计算。这也是为什么,一些ZK项目测试网实际体验,暂时未能达到预期,TPS似乎达不到官方宣传的量级。
Read 4 tweets
Nov 15, 2022
1/X
此前我们开了一个Threads系列连载,希望能以通俗的方式,解释零知识证明(ZK)。
这个Threads,是对之前要点的提炼。

第一篇:

第二篇:

第三篇:
2/X ZK基本原理
ZK 网络中,参与者主要分为两类:证明者(Prover)和验证者(Verifier)。证明者验证交易,生成证明,验证者验证该证明。

零知识证明是对计算本身的加密。加密后,会生成一个密码学证明(真的是有一个证明要生成的哦),正是这个证明,让ZK技术有了更广阔的应用和想象空间。
3/X 特性
完备性(Complete):提交者若确实掌握了答案,那他能找到方法向验证者证明为真,即真的假不了。

合理性(Sound):若提交者未掌握答案,那他无法向验证者证明为真,即假的真不了。

零知识性(Zero-Knowledge):证明过程中,验证者除了“证明”之外,不会获得其他相关信息。
Read 6 tweets
Oct 28, 2022
1/X 继续 #WhyZK
这个 Thread 是“小学生也能看懂的零知识证明科普”系列第一部分,从这个系列开始,会通俗解释零知识证明相关概念名词。

若有不当之处欢迎批评指正,希望与大家一起进步。

前情提要:
2/X
示例引用自:medium.com/qed-it/the-inc…,作者 Aviv Zohar
中文:
mirror.xyz/0xeB125d270FC1…

数独,一种数字游戏,玩家需要在空格内,任意填上 1-9 ,使每一行、每一列、每个粗线格(33格)内的数字,均包含 1-9,且不重复。

奇异博士和绿巨人很喜欢玩数独。
3/X
有天,奇异博士给绿巨人出了一道很难的数独,把绿巨人难住了。

绿巨人觉得这题可能根本无解。但博士有办法,在不让绿巨人知道解的前提下,让他相信有解。

这就是零知识证明的原理。

博士拿出 81 张牌,按照解法摆好,把“答案”翻过去,只让题面卡牌朝上。 Image
Read 8 tweets
Oct 25, 2022
1/X
打算开个Threads连载,讲讲 #WhyZK
先从为什么要关注零知识证明ZK赛道,以及为什么ZK会是下一个周期主要叙事之一说起。

@RaeWrh 统计了波哥大 @EFDevcon 主论坛及其他Panel话题情况。ZK相关占比最高,超20%,其中ZK应用、工具、扩容是大家最关心的话题。

2/X
波哥大首日,V神参与《What to know about Zero Knowledge》(关于零知识证明该知道些什么)圆桌讨论说到,“我认为 ZK 天然是区块链的补充。区块链提供的抗审查特性,是以牺牲掉‘可扩展性’和‘隐私性’为代价的。而 ZK-SNARKs 则是为这两种属性量身订做的技术。”
3/X
其次,资本关注度高。资本对该赛道预期较高,零知识证明项目动辄千万美元级别以上融资,大部分项目估值过亿美元。若从投资回报的角度看,换句话说,资本看好未来该赛道会出现几十亿美元,甚至百亿美元的项目。
Read 9 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

:(