zk-Rollup 明星项目——zkSync 全解读 ｜ZK 科普系列（三）
在 zk-Rollup (以下简称 zkr）领域，zkSync 是最令人期待的项目之一，并即将在以太坊主网上发布 zkSync 2.0，也就是 zkEVM 。今天我们将来全方位了解下 zkSync 的团队、技术方案以及实现路径。Matter Labs 的诞生2018年，Alex Gluchowski 和 Alexandr Vlasov 为以太坊 L2 扩容而创办了 Matter Labs (以下简称为 “ML”) ，并在2019年3月拿到了以太坊基金会的 grant。ML 在介绍中将自己描述成“一个对自由、区块链和数学充满热情的工程师团队”。ML 一直将以太坊扩容为目标，并致力于用已有的技术来促进大众对于区块链的接纳，ML 认为这种技术就是 zkr。 ML 是非常理想主义的一批人，自称为密码朋克。作为 co-founder 之一的 Alex Gluchowski 来自于乌克兰，过去几十年中，那里一直被经济动荡和政治腐败所笼罩。从 zkSync 平台本身也可以看出 ML 对于自由和去中心化的向往，而关于团队其他成员鲜有介绍，几乎所有的对外采访都由另一位 co-founder Ale...
zk-Rollup 明星项目——zkSync 全解读 ｜ZK 科普系列（三）
在 zk-Rollup (以下简称 zkr）领域，zkSync 是最令人期待的项目之一，并即将在以太坊主网上发布 zkSync 2.0，也就是 zkEVM 。今天我们将来全方位了解下 zkSync 的团队、技术方案以及实现路径。Matter Labs 的诞生2018年，Alex Gluchowski 和 Alexandr Vlasov 为以太坊 L2 扩容而创办了 Matter Labs (以下简称为 “ML”) ，并在2019年3月拿到了以太坊基金会的 grant。ML 在介绍中将自己描述成“一个对自由、区块链和数学充满热情的工程师团队”。ML 一直将以太坊扩容为目标，并致力于用已有的技术来促进大众对于区块链的接纳，ML 认为这种技术就是 zkr。 ML 是非常理想主义的一批人，自称为密码朋克。作为 co-founder 之一的 Alex Gluchowski 来自于乌克兰，过去几十年中，那里一直被经济动荡和政治腐败所笼罩。从 zkSync 平台本身也可以看出 ML 对于自由和去中心化的向往，而关于团队其他成员鲜有介绍，几乎所有的对外采访都由另一位 co-founder Ale...
Layer2 的发展以及 zk-Rollup 的崛起 | ZK 科普系列（二）
zk-Rollup （ZKR） 被 V 神称为以太坊的终极 L2 扩容解决方案。很多专家学者，包括 Vitalik 本人认为通用型的 ZKR 平台还需要数年的时间才会看到。因此，现阶段的焦点是期望 Optimistic Rollup （比如 Optimism、 Arbitrum 和 Boba Network）可以先担起以太坊扩容的大旗，之后随着 ZKR 技术的成熟和就绪，大家再转向 ZKR。但令人激动的是，ZKR 技术已经开始通过 zkSync 和 StarkWare 等平台走向市场。 本文将聚焦于 L2 扩容的发展以及 zk-Rollup 的崛起。L2: 重要性和历史发展“不可能三角”是以太坊这样的 L1 区块链面临的永恒的难题，不同的链也总是在去中心化、安全性和可扩展性三者间寻找平衡。很多时候，一条区块链为了顾及其中两个方面，而不得不牺牲第三个方面。https://cdn.substack.com/image/fetch/w_1100,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fbucketeer...
Layer2 的发展以及 zk-Rollup 的崛起 | ZK 科普系列（二）
zk-Rollup （ZKR） 被 V 神称为以太坊的终极 L2 扩容解决方案。很多专家学者，包括 Vitalik 本人认为通用型的 ZKR 平台还需要数年的时间才会看到。因此，现阶段的焦点是期望 Optimistic Rollup （比如 Optimism、 Arbitrum 和 Boba Network）可以先担起以太坊扩容的大旗，之后随着 ZKR 技术的成熟和就绪，大家再转向 ZKR。但令人激动的是，ZKR 技术已经开始通过 zkSync 和 StarkWare 等平台走向市场。 本文将聚焦于 L2 扩容的发展以及 zk-Rollup 的崛起。L2: 重要性和历史发展“不可能三角”是以太坊这样的 L1 区块链面临的永恒的难题，不同的链也总是在去中心化、安全性和可扩展性三者间寻找平衡。很多时候，一条区块链为了顾及其中两个方面，而不得不牺牲第三个方面。https://cdn.substack.com/image/fetch/w_1100,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fbucketeer...
什么是零知识证明？｜ZK 科普系列（一）
近来，我们在国外社区看到越来越多关于 ZKP （零知识证明）的讨论。无论是 Aztec 的新一轮融资，还是以 Polygon 为代表的以太坊二层网络的进展，都让 ZK 受到了极大的关注。但在国内，ZK 技术尚没有得到大规模的讨论，这其中原因不乏通俗易懂科普资料的匮乏。而作者，作为 ZK 的爱好者和初学者，试图通过系统的资料归纳和学习定期为大家奉献一系列的科普文章，让大家对于 ZK 有更全面的理解。本文为 ZK 科普系列第一篇：《什么是零知识证明？》零知识证明（Zero-knowledge proofs，以下简称 ZKP）零知识证明的想法最初是在1980年的一份学术论文中——《交互性证明系统的知识复杂度》中被提出。论文中提到：证明者可以在不披露信息本身的情况下向验证者证实信息的真实性。 从更技术的角度说，ZKP 是证明者与验证者两方之间的一个协议，证明者可以在不透露证明本身之外任何信息的前提下，让验证者确认某项证明是有效的。这是证明的“零知识”部分——没有知识或信息可以支持这条证明，除了证明本身。这听起来毫无道理，也似乎是不可能的。正是如此，这些技术才更加重要。 经常拿来解释 ZK...
什么是零知识证明？｜ZK 科普系列（一）
近来，我们在国外社区看到越来越多关于 ZKP （零知识证明）的讨论。无论是 Aztec 的新一轮融资，还是以 Polygon 为代表的以太坊二层网络的进展，都让 ZK 受到了极大的关注。但在国内，ZK 技术尚没有得到大规模的讨论，这其中原因不乏通俗易懂科普资料的匮乏。而作者，作为 ZK 的爱好者和初学者，试图通过系统的资料归纳和学习定期为大家奉献一系列的科普文章，让大家对于 ZK 有更全面的理解。本文为 ZK 科普系列第一篇：《什么是零知识证明？》零知识证明（Zero-knowledge proofs，以下简称 ZKP）零知识证明的想法最初是在1980年的一份学术论文中——《交互性证明系统的知识复杂度》中被提出。论文中提到：证明者可以在不披露信息本身的情况下向验证者证实信息的真实性。 从更技术的角度说，ZKP 是证明者与验证者两方之间的一个协议，证明者可以在不透露证明本身之外任何信息的前提下，让验证者确认某项证明是有效的。这是证明的“零知识”部分——没有知识或信息可以支持这条证明，除了证明本身。这听起来毫无道理，也似乎是不可能的。正是如此，这些技术才更加重要。 经常拿来解释 ZK...
