1/ #MantaNetwork #MantaPrivacyLayer
关于零知识证明与共识成本

如何更好理解零知识证明的意义?

要从共识说起。以太坊高交易成本,背后的经济学原因在于共识:共识一定是昂贵的,因为不贵的共识是不可信的。

theblockbeats.info/news/29557?sea…
2/ 假设有 10,000 个节点,每个节点做同样的计算,产生的结果就很可靠,不会因为少部分节点的不诚实而对共识结果产生影响。

这也是为何区块链可以去中心化——通过算法的手段建立信任。
3/ 然而,共识成本在于 10,000 个节点重复计算,成本比在 1 个节点上贵 10,000 倍。这是所有共识协议,不管是 PoW 还是 PoS 都存在的问题。
4/ 零知识证明是可以从本质上降低成本的一种方式——可以在 1 个节点上运行计算,其它节点用密码学方法验证计算的可靠性,不需要重复计算。

在以太坊等比较昂贵的链上,验证计算的正确性,比重复计算更便宜,更节省 gas。 这也是大家看好 zk-Rollup 的原因。
5/ zk-Rollup 搭建在 L1 主链上,将多笔交易打包成一笔,提交给以太坊主链,通过 ZK(SNARK 或 STARK)被主链快速验证,而不是让主链单独处理每一笔交易。

每笔交易的大小会进行压缩,同时 ZK 验证成本会分摊到每个交易上,可以节省 Gas 费,提高 TPS。

• • •

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!

:(