zkSync

本指南介绍了ZKsync桥接技术，探讨了其迅速、低成本和安全的特点，以及Across协议作为一个高效的桥接选择。文章详细介绍了ZKsync的原理、生态系统和未来潜力，包括DeFi、NFT和其他Web3应用的机会。

本文对 ZKsync VM 中的几个预编译函数进行了审计，涵盖了椭圆曲线点加法、标量乘法、配对和模幂运算的系统合约。文章详细讨论了审计范围、系统概述、安全模型、发现的问题及改进建议，并强调了对这些预编译的实施和文档质量的改善需求。

本文介绍了zksync SSO账户抽象的审计结果，包括安全模型、设计选择、潜在的安全问题以及高、中、低严重性的问题。文章详细列出了每个问题的描述、解决建议及其优先级，并对代码的生产就绪度进行了评估。结尾部分强调了该代码库的灵活性和健壮性，鼓励开发团队进行必要的改进与增强测试。

本文档详细描述了 Matter Labs 的 ZKsync Era 的系统合约和启动加载器的架构与功能。

本周的治理评论回顾了多项新的提案、资助计划及重要讨论。重点介绍了Optimism的Superscan、Optimism Town Hall和Optimism Fractal等多个治理活动及新功能，以及Arbitrum、Polygon和ZKsync的治理更新，包括新提案和去中心化治理框架的进展，展示出这些项目在治理与发展方面的活跃性。

本文介绍了ZKsync升级验证工具，它提供了一种通过CLI命令验证提案、解码交易及防止前端欺骗的方法。该工具为ZKsync治理参与者提供了关键功能，包括提案ID提取、提案动作解码及以太坊提案ID确认，旨在提升治理过程中的安全性和透明度。

本文讲述了在Aave V3激活ZKsync时发现的LLVM编译器的关键优化漏洞，该漏洞可能导致资金被盗。文章详细分析了问题的根源，展示了如何通过手动检查和汇编代码来识别并解决编译器中的错误，强调了在代码校验过程中关注编译器的重要性。

Matter-Labs开源了PLONK算法的验证电路，能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证，并且验证使用的VK是正确的。注意的是，PLONK算法验证的最后一步（配对函数）并没有在电路中验证，而是依赖智能合约进行验证。

zkSync通过zk Rollup协议，实现了L2的转账。zkSync项目非常完整，是学习L2非常好的参考项目。zkSync采用Plonk零知识证明算法向L1证明状态的正确性。Plonk算法是Universal的零知识证明算法，只需要一次可信设置。zkSync电路设计采用Chunk设计，支持不同的区块大小。

该文档是OpenZeppelin对Moonsong-Labs/zksync-social-login-circuit代码仓库进行的安全审计报告，主要内容是利用零知识证明验证Google账户所有权的Circom电路，用于智能账户恢复，审计发现了一些完整性和非确定性问题，并提出了改进代码质量的建议。

zkSync虽然采用PLONK零知识证明算法，但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括：1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取：1/sigma函数 2/ 门系数多项式。

本文详细介绍了zkSync的发展历程、生态现状及技术架构，zkSync是以太坊的Layer2扩展方案，通过zk-rollup技术提高交易吞吐量，降低交易成本，并着重分析了zkSync的三个核心层：执行层、结算层和数据可用性层。此外，还比较了ZK-Stack与OP-Stack在Dapp开发者、核心开发者和商业角度的不同，最后展望了zkSync的未来发展，并强调了其在隐私性和可扩展性方面的潜力。

zkSync采用PlonK零知识证明系统。在电路设计上，非常巧妙的将交易分割成一个个小的通用处理单元（Operation）。一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。多个交易的电路再组合成区块电路。从而，在固定大小的区块中也能包含不同组合的交易。

这段时间，我们好些社区用户开始自发地写数据面板，做链上数据的整合分析，而且常常会用到 LiveQuery 来做面板的展示。于是我们写了这系列的教程，希望能帮大家简单地可视化数据。

本篇文章对Matter Labs的zksync-crypto库进行了详尽的审计，重点指出多项高严重性问题，包括实现错误、缺少安全检查等，并提出了一些优化建议。审计内容广泛，深入探讨了加密算法的实现细节及其对ZKsync的影响。