兼容 EVM 的 zkRollup 上的第一个完整应用程序！自从我们在测试网上发布zkSync 2.0 的第一个版本以来，Solidity 编译器已经达到了稳健的状态，我们已经完成了具有额外 L2 特定功能的 Web3 API 的开发。今天，我们非常高兴能够展示一个具有 Solidity 智能合约和 Web3 前端的功能齐全的 dApp！ 试用 UniSync，我们的 Uniswap V2 智能合约和前端端口： >>> 启动 dApp

兼容 EVM 的 zkRollup 上的第一个完整应用程序！自从我们在测试网上发布zkSync 2.0 的第一个版本以来，Solidity 编译器已经达到了稳健的状态，我们已经完成了具有额外 L2 特定功能的 Web3 API 的开发。今天，我们非常高兴能够展示一个具有 Solidity 智能合约和 Web3 前端的功能齐全的 dApp！ 试用 UniSync，我们的 Uniswap V2 智能合约和前端端口： >>> 启动 dApp

新投资者包括 Andreessen Horowitz、Blockchain.com、Crypto.com、Consensys、ByBit、OKEx、Alchemy、Covalent 等美国东部时间 2021 年 11 月 8 日上午 7:00 以太坊第 2 层扩展协议 zkSync 背后的公司 Matter Labs 今天宣布获得 5000 万美元的新资金（除了今年 2 月在 A 轮融资中筹集的 600 万美元） B轮融资由Andreessen Horowitz领投，现有投资者Placeholder、Dragonfly和1kx参与其中。与 Blockchain.com、Crypto.com、Consensys、ByBit、OKEx、Alchemy、Covalent、BECO Capital 等战略合作伙伴完成第二轮融资，AAVE、Parswap、Lido、Futureswap、Gnosis、Rarible 的创始人和领导也加入了融资、Aragon、Liquity、Celer、Connext、Perpetual、Euler、Opium 等 70 多种。 zkSync 使用高级数学以...

新投资者包括 Andreessen Horowitz、Blockchain.com、Crypto.com、Consensys、ByBit、OKEx、Alchemy、Covalent 等美国东部时间 2021 年 11 月 8 日上午 7:00 以太坊第 2 层扩展协议 zkSync 背后的公司 Matter Labs 今天宣布获得 5000 万美元的新资金（除了今年 2 月在 A 轮融资中筹集的 600 万美元） B轮融资由Andreessen Horowitz领投，现有投资者Placeholder、Dragonfly和1kx参与其中。与 Blockchain.com、Crypto.com、Consensys、ByBit、OKEx、Alchemy、Covalent、BECO Capital 等战略合作伙伴完成第二轮融资，AAVE、Parswap、Lido、Futureswap、Gnosis、Rarible 的创始人和领导也加入了融资、Aragon、Liquity、Celer、Connext、Perpetual、Euler、Opium 等 70 多种。 zkSync 使用高级数学以...

一种在安全性和可升级性之间取得平衡的更新方法5 月，我们宣布了我们的3 因素安全方法，其中包括创建一个安全委员会，如果出现严重错误，可以将我们的 4 周升级时间锁缩短到 3 天。经过内部重新评估，我们决定改变安全理事会的参数。回到根本问题！在快速创新的初期，可升级性是必然之恶。这是因为要添加新功能，我们必须就地升级系统，但我们不能使用选择加入的方式来保持用户便利（每个用户都必须手动将资金迁移到新版本）。尽管有必要，但可升级性是一个滑坡！可升级性的阴暗面可升级性已经直接启用了数百个主要在 Polygon 和 Binance 智能链上的地毯，例如FinNexus和Meerkat Finance。 此外，可升级性实现中的错误也带来了许多密切关注！Aave 代码库经过了5 家不同的安全公司的审计，包括形式验证，但这个可升级性错误仍未被发现。更糟糕的是，如果 Aave 之外的许多合约被利用，它就会受到影响，从而暴露出可升级性和 DeFi 可组合性的潜在风险。可升级性漏洞的其他示例包括dYdX和Polygon，这两者也都经过了审计。 此外，重要的是要记住，每次升级都应该被视为协议的全新部署！...

一种在安全性和可升级性之间取得平衡的更新方法5 月，我们宣布了我们的3 因素安全方法，其中包括创建一个安全委员会，如果出现严重错误，可以将我们的 4 周升级时间锁缩短到 3 天。经过内部重新评估，我们决定改变安全理事会的参数。回到根本问题！在快速创新的初期，可升级性是必然之恶。这是因为要添加新功能，我们必须就地升级系统，但我们不能使用选择加入的方式来保持用户便利（每个用户都必须手动将资金迁移到新版本）。尽管有必要，但可升级性是一个滑坡！可升级性的阴暗面可升级性已经直接启用了数百个主要在 Polygon 和 Binance 智能链上的地毯，例如FinNexus和Meerkat Finance。 此外，可升级性实现中的错误也带来了许多密切关注！Aave 代码库经过了5 家不同的安全公司的审计，包括形式验证，但这个可升级性错误仍未被发现。更糟糕的是，如果 Aave 之外的许多合约被利用，它就会受到影响，从而暴露出可升级性和 DeFi 可组合性的潜在风险。可升级性漏洞的其他示例包括dYdX和Polygon，这两者也都经过了审计。 此外，重要的是要记住，每次升级都应该被视为协议的全新部署！...

zkEVM 测试网的 Alpha 版本已经上线。我可以把你比作夏日吗？ 你的可扩展性和安全性更高。 狂风确实震撼了五月亲爱的心灵， 夏天的租约日期太短了。 ——中本聪莎士比亚，2021介绍面对最大的技术挑战，我们开始在与 EVM 兼容的环境中部署智能合约。测试网的第一个版本已经上线：您已经可以使用区块浏览器查看 zkSync 2.0 上的活动。在这篇文章中，我们将深入解释每个关键组件、提供进度更新以及下一个版本的计划。 >> ZKSYNC 2.0 测试网探索者

zkEVM 测试网的 Alpha 版本已经上线。我可以把你比作夏日吗？ 你的可扩展性和安全性更高。 狂风确实震撼了五月亲爱的心灵， 夏天的租约日期太短了。 ——中本聪莎士比亚，2021介绍面对最大的技术挑战，我们开始在与 EVM 兼容的环境中部署智能合约。测试网的第一个版本已经上线：您已经可以使用区块浏览器查看 zkSync 2.0 上的活动。在这篇文章中，我们将深入解释每个关键组件、提供进度更新以及下一个版本的计划。 >> ZKSYNC 2.0 测试网探索者

视频链接： 幻灯片 https://mirror.xyz/baikaishui.eth/yOjnxl21405-7KtgNqz_qFYpz_WI1WU54O7RaDYWUfo https://mirror.xyz/baikaishui.eth/ph3smM_SgjS0gu2vlXz8lZvb8MFxvXHAESHEYoMfPZ0

视频链接： 幻灯片 https://mirror.xyz/baikaishui.eth/yOjnxl21405-7KtgNqz_qFYpz_WI1WU54O7RaDYWUfo https://mirror.xyz/baikaishui.eth/ph3smM_SgjS0gu2vlXz8lZvb8MFxvXHAESHEYoMfPZ0

随着炎热的 zkSync 夏天即将结束，我们离终点还有多远？2021 年 3 月 27 日，我们宣布了 zkSync 1.x 和 2.0 的计划。 我们成功地将 zkSync 1.x 升级部署到主网，但未能达到我们对 zkSync 2.0 8 月预测的发布效果。在这个夏末更新中，我们将讨论延迟、逐步推出测试网以及主网的公平启动。作为奖励，我们还写了一篇单独的帖子，分享了我们在研发过程中克服的挑战的详细技术见解。为什么要延迟？早在 3 月份，我们在迪拜的异地公司一年两次，最终确定了 zkSync 2.0 的设计，并估计了构建需要多长时间。由于 gas 费用一直居高不下，我们的设计优先考虑安全性（始终）和时间，在效率、优化和与以太坊的兼容性方面进行了一些权衡——由于电路的基本限制，使电路环境适应 zk EVM 并不简单。 但是，有一个关键决定没有优先考虑主网的时间：选择 LLVM。虽然从头开始实现自定义编译器会更快，但从长远来看，除了 LLVM 之外别无选择。LLVM 由致力于工业级产品的工程师构建（LLVM 是 macOS 和 iOS 不可或缺的一部分），它是生产工业级产品的最先进...

随着炎热的 zkSync 夏天即将结束，我们离终点还有多远？2021 年 3 月 27 日，我们宣布了 zkSync 1.x 和 2.0 的计划。 我们成功地将 zkSync 1.x 升级部署到主网，但未能达到我们对 zkSync 2.0 8 月预测的发布效果。在这个夏末更新中，我们将讨论延迟、逐步推出测试网以及主网的公平启动。作为奖励，我们还写了一篇单独的帖子，分享了我们在研发过程中克服的挑战的详细技术见解。为什么要延迟？早在 3 月份，我们在迪拜的异地公司一年两次，最终确定了 zkSync 2.0 的设计，并估计了构建需要多长时间。由于 gas 费用一直居高不下，我们的设计优先考虑安全性（始终）和时间，在效率、优化和与以太坊的兼容性方面进行了一些权衡——由于电路的基本限制，使电路环境适应 zk EVM 并不简单。 但是，有一个关键决定没有优先考虑主网的时间：选择 LLVM。虽然从头开始实现自定义编译器会更快，但从长远来看，除了 LLVM 之外别无选择。LLVM 由致力于工业级产品的工程师构建（LLVM 是 macOS 和 iOS 不可或缺的一部分），它是生产工业级产品的最先进...

Matter Labs 很荣幸地宣布zkSync的 A 轮融资来自区块链领域中一些最知名的项目。本轮融资由 Union Square Ventures 领投，后者是 Twitter、Cloudflare、Firebase、Twilio、MongoDB 和 Coinbase 的早期投资者。它还包括我们现有的投资者——Placeholder、1kx 和 Dragonfly——他们在过去两年中为我们提供了难以置信的支持。我们很高兴欢迎我们的新战略投资者：著名加密项目背后的公司和创始人，他们有兴趣使用 zkSync 来扩展他们的协议和服务。我们决定将这一轮的参与限制在主要战略合作伙伴，以保持社区份额在未来 zkSync 网络中的主导地位——与其他扩展解决方案资产和治理的预期分布形成对比。回到首要原则：用加密代替信任扩展以太坊的迫切需求具有微妙但值得注意的维度。加密社区将强烈倾向于在安全性、去中心化和用户体验方面妥协最少的解决方案 。 这就是 ZK rollup 技术如此重要的原因。它依赖于纯粹的密码学而不是博弈论机制，因此是唯一一种对它可以在 L2 中安全处理的值没有上限的扩展方法。从另...

Matter Labs 很荣幸地宣布zkSync的 A 轮融资来自区块链领域中一些最知名的项目。本轮融资由 Union Square Ventures 领投，后者是 Twitter、Cloudflare、Firebase、Twilio、MongoDB 和 Coinbase 的早期投资者。它还包括我们现有的投资者——Placeholder、1kx 和 Dragonfly——他们在过去两年中为我们提供了难以置信的支持。我们很高兴欢迎我们的新战略投资者：著名加密项目背后的公司和创始人，他们有兴趣使用 zkSync 来扩展他们的协议和服务。我们决定将这一轮的参与限制在主要战略合作伙伴，以保持社区份额在未来 zkSync 网络中的主导地位——与其他扩展解决方案资产和治理的预期分布形成对比。回到首要原则：用加密代替信任扩展以太坊的迫切需求具有微妙但值得注意的维度。加密社区将强烈倾向于在安全性、去中心化和用户体验方面妥协最少的解决方案 。 这就是 ZK rollup 技术如此重要的原因。它依赖于纯粹的密码学而不是博弈论机制，因此是唯一一种对它可以在 L2 中安全处理的值没有上限的扩展方法。从另...

对构建 zkSync 2.0 挑战的详细技术见解在这篇文章中，我们将分享尝试的不是一个，而是两个以前从未做过的事情的研发过程，zkSync 2.0 的重新设计如何更高效和兼容，以及使用具有独特架构的 LLVM 的挑战作为 zk EVM。zkSync 2.0 的设计目标zkSync 2.0的设计涉及到两件以前从未做过的事情：zk EVM：对 SNARK 友好的 EVM 堆栈操作操作码（例如 popN、dup）准备数据并且不执行有意义的计算，但它们通常构成交易的相当大的成本。这种语义对于 zkSNARKs 来说是低效的，所以我们的 zkEVM 使用了不同的操作数寻址方法，但是从一个到另一个的转换需要在编译器端进行额外的工作。通过编译成对 SNARK 友好的 zkEVM，我们可以为操作码提供更通用的操作数寻址，降低交易成本，减少证明的延迟，并提供额外的好处，例如一个块中许多交易的摊销公共数据使用。不同的每账户数据可用性政策 在同一个地址空间中为 zkRollup 和 zkPorter 账户进行交互设计可以比作 ETH 2.0 分片但具有同步执行。此外，如果其中一个“碎片”不可用，则两者...

对构建 zkSync 2.0 挑战的详细技术见解在这篇文章中，我们将分享尝试的不是一个，而是两个以前从未做过的事情的研发过程，zkSync 2.0 的重新设计如何更高效和兼容，以及使用具有独特架构的 LLVM 的挑战作为 zk EVM。zkSync 2.0 的设计目标zkSync 2.0的设计涉及到两件以前从未做过的事情：zk EVM：对 SNARK 友好的 EVM 堆栈操作操作码（例如 popN、dup）准备数据并且不执行有意义的计算，但它们通常构成交易的相当大的成本。这种语义对于 zkSNARKs 来说是低效的，所以我们的 zkEVM 使用了不同的操作数寻址方法，但是从一个到另一个的转换需要在编译器端进行额外的工作。通过编译成对 SNARK 友好的 zkEVM，我们可以为操作码提供更通用的操作数寻址，降低交易成本，减少证明的延迟，并提供额外的好处，例如一个块中许多交易的摊销公共数据使用。不同的每账户数据可用性政策 在同一个地址空间中为 zkRollup 和 zkPorter 账户进行交互设计可以比作 ETH 2.0 分片但具有同步执行。此外，如果其中一个“碎片”不可用，则两者...

结束 ZK 和Optimistic Rollups之间的争论第 2 层的大规模迁移即将发生。随着协议从以太坊基础层转移到乐观汇总和与EVM 兼容的 zkRollups，许多人希望我们最终能够使链上费用变得可控。但是每个从事以太坊扩容工作的人都知道这个行业的肮脏秘密：即使使用汇总，我们最终也可能会回到我们开始的地方。这是因为任何实际的吞吐量增加都会很快被诱导需求所吞噬。 Rollups 只能提供吞吐量的线性增加——所有数据仍然必须传播到所有完整节点。但要实现真正的可扩展性，我们需要吞吐量呈指数级增长。 这就是为什么我们认为这是一个如此重要的突破。我们设计了一个具有 20,000+ TPS 的系统， 它提供了比乐观汇总更高的安全性。更重要的是，它将在 6 个月内与 zkSync 2.0 一起进入主网。为什么Rollups还不够？2020 年 10 月，Vitalik 宣布了以汇总为中心的以太坊路线图，预测如果所有 L1 活动都转移到汇总，以太坊可以实现约 3000 的净 TPS。这将很快成为现实：Optimistic 和zkRollups 现在都支持 EVM 兼容性，促进应用程序从 ...

结束 ZK 和Optimistic Rollups之间的争论第 2 层的大规模迁移即将发生。随着协议从以太坊基础层转移到乐观汇总和与EVM 兼容的 zkRollups，许多人希望我们最终能够使链上费用变得可控。但是每个从事以太坊扩容工作的人都知道这个行业的肮脏秘密：即使使用汇总，我们最终也可能会回到我们开始的地方。这是因为任何实际的吞吐量增加都会很快被诱导需求所吞噬。 Rollups 只能提供吞吐量的线性增加——所有数据仍然必须传播到所有完整节点。但要实现真正的可扩展性，我们需要吞吐量呈指数级增长。 这就是为什么我们认为这是一个如此重要的突破。我们设计了一个具有 20,000+ TPS 的系统， 它提供了比乐观汇总更高的安全性。更重要的是，它将在 6 个月内与 zkSync 2.0 一起进入主网。为什么Rollups还不够？2020 年 10 月，Vitalik 宣布了以汇总为中心的以太坊路线图，预测如果所有 L1 活动都转移到汇总，以太坊可以实现约 3000 的净 TPS。这将很快成为现实：Optimistic 和zkRollups 现在都支持 EVM 兼容性，促进应用程序从 ...

宣布zkSync v1.1为The Great Reddit Scaling Bak-Off而设介绍我们 Matter Labs 对 Reddit雄心勃勃的计划让 5 亿社区成员加入分散的 subreddit 所有权模型感到无比兴奋！ 我们的zkSync扩展解决方案（v1.0 在以太坊主网上运行）已经满足了 Great Scaling Bake-Off 的大部分要求。以下是我们在过去一个月中为增强它所做的工作：实施递归 ZK 证明，解锁全部 zkRollup 容量（最高 3,000 TPS）！这里有一个包含 300,000 个事务的负载测试。展示了我们FPGA研究项目的激动人心的成果：世界上第一个实用的硬件zkSNARK加速器。添加了对自动定期付款（订阅）的支持。启用交易以在单独的令牌中进行批处理和支付费用。使在 zkSync 中燃烧和铸造代币成为可能。设计并推出了zkPorter：一种新的面向未来的架构，用于扩展数据可用性。您将在本文末尾找到有关新功能的详细技术说明。 我们很高兴地报告 zkSync 现在满足 Reddit 100% 的要求！🎉🎊🥳什么是 zkSync？z...

宣布zkSync v1.1为The Great Reddit Scaling Bak-Off而设介绍我们 Matter Labs 对 Reddit雄心勃勃的计划让 5 亿社区成员加入分散的 subreddit 所有权模型感到无比兴奋！ 我们的zkSync扩展解决方案（v1.0 在以太坊主网上运行）已经满足了 Great Scaling Bake-Off 的大部分要求。以下是我们在过去一个月中为增强它所做的工作：实施递归 ZK 证明，解锁全部 zkRollup 容量（最高 3,000 TPS）！这里有一个包含 300,000 个事务的负载测试。展示了我们FPGA研究项目的激动人心的成果：世界上第一个实用的硬件zkSNARK加速器。添加了对自动定期付款（订阅）的支持。启用交易以在单独的令牌中进行批处理和支付费用。使在 zkSync 中燃烧和铸造代币成为可能。设计并推出了zkPorter：一种新的面向未来的架构，用于扩展数据可用性。您将在本文末尾找到有关新功能的详细技术说明。 我们很高兴地报告 zkSync 现在满足 Reddit 100% 的要求！🎉🎊🥳什么是 zkSync？z...

通过隔离和冗余、信任最小化的可升级性以及引入 zkSync 的安全委员会来实现安全性“只有偏执狂才能生存。” ——安迪·格鲁夫，英特尔首席执行官 当我们准备推出 NFT、swap、zkEVM以及用户和资金流入 zkSync 的指数级增长时，我们发现有必要警告新用户并提醒当前用户在期间使用新协议相关的风险和信任假设他们发展的早期阶段。 风险源于 L2 中应用的技术新颖性以及这些解决方案中集中化的潜在增加。与大多数务实的团队一样，zkSync 正在走一条渐进式去中心化的道路，以快速创新并快速交付以太坊生态系统的安全性和可扩展性。以下是需要注意的主要事项： 不能保证零错误。但是，通过遵循行业最新的安全最佳实践并获得涵盖合同、电路和基础密码学的领先审计公司的审计，错误的可能性将降到最低。这种风险适用于在以太坊上构建的所有新应用程序，但在我们的案例中，由于零知识证明技术的新颖性和复杂性而被放大。 zkSync 将保持可升级，直到功能范围稳定。但是，可升级性将由协议治理控制，并受制于 4 周的时间锁定，我们将在下面进一步讨论。 zkSync 目前依赖于可信设置。我们使用超过200 名参与者（...

通过隔离和冗余、信任最小化的可升级性以及引入 zkSync 的安全委员会来实现安全性“只有偏执狂才能生存。” ——安迪·格鲁夫，英特尔首席执行官 当我们准备推出 NFT、swap、zkEVM以及用户和资金流入 zkSync 的指数级增长时，我们发现有必要警告新用户并提醒当前用户在期间使用新协议相关的风险和信任假设他们发展的早期阶段。 风险源于 L2 中应用的技术新颖性以及这些解决方案中集中化的潜在增加。与大多数务实的团队一样，zkSync 正在走一条渐进式去中心化的道路，以快速创新并快速交付以太坊生态系统的安全性和可扩展性。以下是需要注意的主要事项： 不能保证零错误。但是，通过遵循行业最新的安全最佳实践并获得涵盖合同、电路和基础密码学的领先审计公司的审计，错误的可能性将降到最低。这种风险适用于在以太坊上构建的所有新应用程序，但在我们的案例中，由于零知识证明技术的新颖性和复杂性而被放大。 zkSync 将保持可升级，直到功能范围稳定。但是，可升级性将由协议治理控制，并受制于 4 周的时间锁定，我们将在下面进一步讨论。 zkSync 目前依赖于可信设置。我们使用超过200 名参与者（...

我们的安全系统如何准备好在不断发展的协议中进行保护可升级性，创新的管道在这个早期增长阶段，zkSync 是一个快速发展的协议，它要求 zkSync 协议保持可升级性。如果我们要放弃可升级性，则需要所有用户和开发者每六个月提取和存款才能迁移到新版本。掌握可升级性的力量是我们一直关注的焦点（我们已经写了两篇文章），我们很高兴地宣布，我们在 Matter Labs 管理可升级性方面的一些变化。 虽然我们之前关于可升级性的文章侧重于在信任最小化和对具有时间锁的错误的反应性以及安全委员会的外部检查和平衡之间找到平衡，但本文将重点关注升级后的安全方法来处理后续升级可能引入的错误.安全的幻觉系统安全性是时间的函数。但是升级会扭曲这种对时间的感知。一个在主网上经过长时间实战测试的项目被广泛认为是安全的，但每次升级都会为攻击带来额外的表面积，从而可能使整个系统处于危险之中。虽然第一个版本有时间慢慢积累锁定的总价值，因为安全容忍度降低的用户加入了加班，但升级直接跳到了深处，在高 TVL 下，用户对安全性的期望很高。 2021 年 7 月 26 日，我们向 Matter Labs 团队报告了我们智能合...

我们的安全系统如何准备好在不断发展的协议中进行保护可升级性，创新的管道在这个早期增长阶段，zkSync 是一个快速发展的协议，它要求 zkSync 协议保持可升级性。如果我们要放弃可升级性，则需要所有用户和开发者每六个月提取和存款才能迁移到新版本。掌握可升级性的力量是我们一直关注的焦点（我们已经写了两篇文章），我们很高兴地宣布，我们在 Matter Labs 管理可升级性方面的一些变化。 虽然我们之前关于可升级性的文章侧重于在信任最小化和对具有时间锁的错误的反应性以及安全委员会的外部检查和平衡之间找到平衡，但本文将重点关注升级后的安全方法来处理后续升级可能引入的错误.安全的幻觉系统安全性是时间的函数。但是升级会扭曲这种对时间的感知。一个在主网上经过长时间实战测试的项目被广泛认为是安全的，但每次升级都会为攻击带来额外的表面积，从而可能使整个系统处于危险之中。虽然第一个版本有时间慢慢积累锁定的总价值，因为安全容忍度降低的用户加入了加班，但升级直接跳到了深处，在高 TVL 下，用户对安全性的期望很高。 2021 年 7 月 26 日，我们向 Matter Labs 团队报告了我们智能合...