SNARK

本文介绍了两项新技术——Lasso和Jolt，它们为SNARK设计带来了根本性的新方法，显著提升了性能并改善了开发者体验。Lasso提供了更快的查找论证，支持大型表格的高效查找，而Jolt则为零知识虚拟机（zkVM）设计带来了简化，使开发者可以更容易地编写高效的SNARK应用。

Goblin Plonk 是一种lazy recursive proof composition 技术，它通过使用Instruction Machine和 Curve Transposition Circuit 来提高SNARKs的效率。

Matter Labs 获得了以太坊基金会的资助，用于开发基于零知识证明的 L2 扩展解决方案。他们的工作包括创建可扩展的 L2 平台、改进开发者工具以及推广零知识证明的应用。

本文深入探讨了轻客户端（Light Clients）的概念、重要性及其在Web3中的应用，特别是在高安全性钱包和区块链桥梁方面的应用，并分析了不同类型的区块链客户端及其优缺点，同时讨论了轻客户端的设计考虑因素，如SPV、客观性与弱主观性、验证器集合与同步委员会、SNARK证明等。文章还展望了轻客户端的未来发展方向，包括向SNARKs过渡、与全节点激励对齐、分片系统以及更安全的轻客户端桥梁。

该文档介绍了micro-zk-proofs库，一个用于并行创建和验证零知识SNARK证明的工具，它支持Groth16协议，并计划支持PLONK等。

本文探讨了在拥有1000台机器的集群上并行化10亿指令周期计算证明的通信复杂度，分别针对RISC Zero的Bonsai架构上的递归证明和基于折叠的证明进行了分析。分析表明，通过调整折叠见证人的大小，可以使折叠的通信复杂度与FRI系统相匹配，但实际应用中存在工程权衡。

本文深入探讨了KZG多项式承诺方案的多种单变量变体，包括用于批量处理多个开放的技术以及实现无条件隐藏属性的方法。文章详细介绍了Plain KZG、Batched Variants等方案，并探讨了如何使用随机多项式或随机群元素来实现无条件隐藏特性，为构建zkSNARKs提供理论基础。

这篇博客文章是关于使用SNARKs验证FHE引导（Bootstrapping）的研究，旨在提高FHE的实际应用性。

本文深入探讨了零知识证明（ZKP）中可能出现漏洞的各个层次，包括电路层、前端层、后端层和集成层。重点介绍了用于检测电路漏洞的安全工具的现状，如静态分析、符号执行、动态分析、模糊测试和形式化验证等技术，并强调了在前端和后端层中发现漏洞的重要性，以及zkSecurity在开发相关安全工具上的努力。

本文介绍了 Taiko 实现多重证明的方法，旨在通过多客户端和多 SNARKs 保证系统的安全性。Taiko 的多重证明架构具有模块化和开放性，通过与 Powdr Labs 和 Risc Zero 等项目的合作，实现交叉编译和灵活的 ZKP 实现，从而推动 ZK 技术的进步和应用。

零知识证明（ZKPs）是一种加密技术，允许一方在不暴露具体信息的情况下证明其对该信息的知识。文章深入探讨了ZKPs的工作原理、种类及其在区块链应用中的作用，旨在帮助程序员理解如何实际实现这一技术，并涵盖了交互式和非交互式证明、关键组件以及信任设置等重要概念。

以太坊基金会和Mina基金会发布提案征集（RfP），旨在设计并实现一种在以太坊上验证Pickles SNARK的机制。目标是实现Mina区块链在以太坊上的完全验证，从而实现两个链之间的互操作，并使应用程序更广泛地在以太坊上使用递归SNARK。该提案详细介绍了验证过程中的关键步骤，包括哈希计算、算术方程检查和多标量乘法（MSM），并提出了使用辅助证明系统来验证计算密集型步骤的方案。

本文介绍了在zkEVM中使用plookup来创建执行轨迹的方法，以克服字节码转换为SNARK的难题。通过将操作码及其索引存储在查找表t_opcodes中，并在执行证明阶段允许prover选择任何操作码，结合程序计数器检查索引的正确性，从而实现对循环和复杂操作码（如returndatacopy和哈希函数）的支持，优化了zkEVM的性能，降低了约束开销。

本文深入探讨了在大规模共识系统中使用的签名聚合技术，特别关注了以太坊的Proof-of-Stake（PoS）区块链如何通过签名合并（Signature Merge）方案来解决bitfield合并问题。

本文深入探讨了加密货币桥接的概念以及其重要性，阐述了桥接如何促进不同区块链之间的数据传输与互操作性，并分析了现有桥接技术的优缺点。文中提出了理想桥接的特征，强调在多链环境中，如何通过权衡安全性和可扩展性来寻找最佳解决方案，最后展望了未来的桥接技术发展方向。