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
其次,资本关注度高。资本对该赛道预期较高,零知识证明项目动辄千万美元级别以上融资,大部分项目估值过亿美元。若从投资回报的角度看,换句话说,资本看好未来该赛道会出现几十亿美元,甚至百亿美元的项目。
4/X
赛道尚属早期。由于开发难度较大,大多数项目主网、代币未上线。
名词和概念较多 ZK-Rollup、ZK-EVM、ZK-SNACK、ZK-STARK 等等,有一定门槛。
5/X
ZK技术本身应用场景广,且或许能带来某种范式变革。
在扩容方面:我们曾阐释过利用ZK实现扩容的原理:
以太坊安全性来自节点冗余计算,重复计算越多,结果越可靠。而ZK可以生成证明,可以在 1 个节点上运行计算,其它节点验证计算的可靠性,无需重复计算。

6/X
V神在波哥大还分享了《Hardening rollups with multi-proofs》,采用多证明机制,加强Rollup安全。
方案之一采用欺诈证明加ZK证明,再加上治理小组,形成2/3 机制 (Two-provers plus governance tie break)。不必信任治理(不能与证明相矛盾),当一个证明系统出现漏洞,另一个系统不受影响。
7/X
在隐私方面:
@shumochu 在接受PAnews采访时提到,目前,主要隐私技术有零知识证明和可信执行环境。但我们认为可信执行环境不太适合在去中心化的环境实现隐私,可行执行环境并不能从根本上解决隐私的问题。
长远地看,零知识证明让链上密文交易转变为现实,是目前链上隐私唯一解决方案。
8/X
Manta 基于ZK构建隐私资产类型zkAssets。
1)支持将 ERC20、ERC721、ERC1155等转入 Manta。
将原本链上公开资产,转变为隐私资产 zkAssets,在 Manta链上进行隐私交易、DeFi 交互、NFT买卖,隐私 GameFi等操作。
2)支持开发者创建 Manta链上原生隐私资产。
10/X
小结:
行业和资本对ZK赛道关注度很高,且资本看好该领域会出现百亿美元级别项目,但由于学习ZK知识有一定门槛,会天然造成信息差。

讨论:
ZK+Layer2或者ZK+隐私,能挑战现有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 10, 2022
1/X #Manta101
zkAssets 是 Manta基于零知识证明构建的隐私资产类型。

主要特点:
1)支持将 ERC20、ERC721、ERC1155等转入 Manta。
将原本链上公开资产,转变为隐私资产 zkAssets,在 Manta链上进行隐私交易、DeFi 交互、NFT买卖,隐私 GameFi等操作。
2)支持开发者创建 Manta链上原生隐私资产。
2/X
zkAssets 支持用户自主披露信息,资产发行者定制 KYC 权限。

zkAssets 基于零知识证明创建,可让交易发起者向验证者,证明信息为真,同时不透露任何额外信息,达到隐私保护及扩容目的。
3/X
Manta 就像隐私商场。基于 Manta智能合约架构的 dApp,是商场内的店铺。

用户将 ERC20、NFT等转入 Manta。资产初始状态为公开状态(Public Assets),相当于拿着钱站在商场门口。

之后,用户可将公开资产加密,变成隐私资产,就是 zkAssets。这时已经进了商场大门,但还没开始购物。
Read 12 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!

:(