小学生也能看懂的零知识证明科普(1)零知识证明与交互式证明 | ZKP101
注:本篇示例引用自 https://medium.com/qed-it/the-incredible-machine-4d1270d7363a。作者 Aviv Zohar,Ghost、Spectre 协议创始团队成员。为什么要关注这个系列文章?1/ 赛道关注高。资本对该赛道预期较高,零知识证明概念项目动辄千万美元级别以上融资,且大部分当前估值过亿美元。 以太坊创始人 Vitalik 等业内大佬,对零知识证明也有较高期待,他曾表示长期来看 zk-Rollup 将成为以太坊主要 Layer2 扩容方案,并撰写多篇文章,阐释零知识证明相关概念。 2/ 赛道尚属早期。由于开发难度较大,且项目大多于近几年创立,绝大多数项目主网、代币未上线,赛道尚属早期。可提早关注。 3/ 零知识证明名词和概念较多 zk-Rollup、zk-EVM、zk-SNACK、zk-STARK 等名词多且繁琐。 本系列将试图用通俗的举例和语言,帮助大家理解复杂概念。本系列非学术论述,举例只为帮助大家通俗理解,更严谨的表述,欢迎大家查看专业论文学习。从数独游戏开始奇异博士和绿巨人很喜欢玩数独。 数独是一种如下图所示的数...

ZK 赛道深度探讨,Manta 创始人 Shumo 对话清华密码学博士
北京时间7月23日21:00,Manta Network 联合创始人 Shumo Chu 受清华大学学生区块链协会(THUBA)邀请在 Twitter Space 与密码学博士 Sputnik 进行了一场对话 ,话题涉及 ZK 基础知识、ZK 科研及应用,以及 Manta 如何利于 ZK 解决 Web3隐私问题,以下为对话全程文字实录: Yiki(主持人): 大家好我是清华区块链协会(THUBA)的 vice president , Yiki。从 2017 年成立至今,我们已经有了 5 年的历史,举办过近 200 场的活动。在即将到来的 8 月还会举办首次的黑客松,欢迎大家关注和报名参加。那么下面可不可以请 Shumo 来简单地介绍一下 Manta 是做什么的以及您的一个自我介绍。 Shumo: 大家好,非常荣幸参加这个活动,我是 Shumo,Manta Network cofounder 。首先介绍一下 Manta ,我们大概是 2020 年 10 月份成立。当时我们成立 Manta 的原因是觉得区块链(Web3)有很大的一个问题,就是隐私。我们当时就非常看好 Web 3这个行...
Manta Network Dolphin 测试网上线,体验波卡生态内 ZK 隐私支付
Dolphin 是 Manta Network 和 先行网 Calamari Network 的测试网,在新产品正式上线 Calamari 和 Manta 前,用户可以先在测试网抢先体验,并欢迎积极反馈在测试网使用过程遇到的各种问题以及对于产品的建议。🐬 DolphinPay目前,隐私支付功能 DolphinPay 已上线测试网,隐私兑换功能仍在设计中。DolphinPay 可以将波卡生态内的资产转换为隐私代币,并支持隐私代币的转账以及赎回。🐬 Manta SignerManta Signer 是 Manta、Calamari 和 Dolphin 的零知识证明生成器和隐私管理工具。请注意:您必须在电脑上安装 Manta Signer 和 Polkadot js 插件才能参与 Dolphin 测试网,macOS /Windows/Ubuntu 最新版本下载链接🔗 https://github.com/Manta-Network/manta-signer/releases/tag/0.5.2-beta https://polkadot.js.org/extension/ Man...

Subscribe to Manta Network
Share Dialog
<100 subscribers

Dolphin 测试网是 Manta Network 和先行网 Calamari Network 的测试网,为了保证新产品可以安全上线 Manta 和 Calamari 主网,这些产品和功能将首先在测试网上得到验证。
通过 Dolphin 测试网, 用户可以体验不同平行链资产间的隐私转账。Dolphin 测试网上所有的隐私交易都通过零知识证明(zkSNARK) 进行加密保护。测试网数据可通过 Dolphin 测试网 区块浏览器进行查询( https://dolphin.subscan.io/)。
2021年12月10日,Manta & Calamari Network 上线了隐私转账测试网「Dolphin」。自上线以来,Dolphin 测试网收到了来自社区的广泛关注和兴趣。在过去的3个月时间里,测试网钱包地址超过2,100个,转账数量超过 30,000笔。

自 Dolphin 测试网上线以来,我们收到了423份问卷反馈, 用户对于测试网的给出了4.5分的评分(总分为5)。其中大部分用户表示隐私支付产品简洁,体验流畅。最主要的不足点在于 ZKP 生成的速度较慢,这一点我们将在即将发布的 V2版本中进行大幅改进。

2021年12月10日
Dolphin 测试网上线,macOS 版本 ZKP signer 发布;
2021年12月28日
Windows 版本 ZKP signer 发布;
2022年1月14日
Linux (Ubuntu) 版本 ZKP signer 发布;
2022年2月2日
Dolphin 测试网转账数量超过 10,000笔;
2022年3月14日
Dolphin 测试网转账数量超过 30,000笔;
本月我们将发布V2版本 Dolphin 测试网;下个版本将引入更多新功能,优化 ZKP 的生成速度以及提升用户体验。
增加可重复使用隐私地址以改进用户体验
V1 版本测试网使用的是一次性地址,每一笔交易对应了唯一的地址,这些地址从长期密钥衍生而来。发送者使用一次性地址来构建之后可用于花费的 UTXO 和 NOTE 。
V2 版本测试网使用可重复使用的隐私地址系统,提供与常规公私钥对(例如 DOT 钱包地址的密钥对)相同的使用体验。隐私地址可以无限期使用,用户也可以选择只使用一次。
查看密钥:自我主权合规的关键
查看密钥(Viewing keys)是 Manta/Calamari 实现自主权合规和审计的第一步。查看密钥的构建方式并不会影响核心支付协议本身。
查看密钥可以让用户对从特定公钥发送的所有隐私交易进行解密和去匿名化。查看密钥是只读的,因此它们不会赋予查看者任何花费隐私资产的权力。
优化 ZK 成员证明以提高性能
基于默克尔树的成员证明(membership proofs)是隐私支付电路中成本最高的部分。这些证明是对固定二进制哈希函数的链式调用,因此我们需要尽可能优化这个函数。
对于这些成员证明,我们还需要在默克尔树的每一层都使用统一的数据类型。字段元素是操作成本最低的数据类型,因此我们需要找到一个仅对 on-field elements 进行操作的快速哈希。
在哈希函数的选择中,我们选择波塞冬(Poseidon)哈希函数来优化电路中最昂贵的部分。Poseidon 是一个非常简单的基于循环的哈希函数,它完全基于 on-field elements 的代数运算,因此是目前最先进的证明系统中最适合 ZK 的哈希函数。
ZK 证明系统针对已有领域中的这些代数构造进行了优化。Poseidon 正是我们在该环境中减少限制数量所需要的。
V2 版本测试网预计将于本月发布,届时将有更多关于隐私支付产品和性能的优化进展,敬请期待。
关于 Manta Network
Manta Network 致力于通过隐私保护构建一个更好的 Web3 世界。Manta 的产品设计从第一性原理出发,通过 zkSNARK 等领先的密码学架构为区块链用户提供端对端的隐私保护。在保障隐私的同时,Manta 兼具互操作性、便捷性、高性能以及可审计性,允许用户进行任意平行链资产间的隐私转账和交易。Manta 的愿景是为整个区块链世界提供更便捷的隐私保护服务。
Manta 的创始团队由多位加密货币资深人士,教授和学者组成,他们的经验包括哈佛大学,麻省理工学院和 Algorand。Manta 的顾问包括 Hypersphere Ventures 联合创始人 Jack Platts,Polychain 合伙人 Tekin Salimi,前 Web3 基金会联合创始人 Ashley Tyson,Consensys 的 Shuyao Kong。
Manta 的投资机构包括 Polychain、ParaFi、Binance Labs、Multicoin、CoinFund、 Alameda、DeFiance 以及 Hypersphere 等。Manta 也是波卡官方 Web3 基金会资助获得者,Substrate Builder Program 成员,伯克利大学区块链加速器成员。
关注官方频道了解有关 Manta/Calamari 的更多信息:
Website:https://manta.network/
Github:https://github.com/Manta-Network
Twitter:https://twitter.com/MantaNetwork
Medium:https://mantanetwork.medium.com/
Telegram:https://t.me/mantanetwork
Telegram中文:https://t.me/mantanetwork_zh
Discord:https://discord.gg/ZtSuSKRy8X