零知识证明

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

powersoftau，采用MPC以及随机Beacon，完成可信设置。通过POK算法实现可验证的密钥对，并建立和上一个参与方计算结果的绑定。参与可信设置的人数可扩展，并且参与方只需要按照顺序一个个的进行指定的计算即可。协调方在接收到某个参与方的计算后，验证后，发送给下一个参与方。

PLONK算法的电路采用新的描述模型。整个电路由门电路约束和Copy约束（连线约束）组成。门电路约束和Copy约束都转换为多项式表达。Copy约束通过累加算法实现。

本文深入探讨了Signal应用使用Ristretto哈希和零知识证明的隐私保护机制，介绍了Ristretto哈希的实现原理及其在用户名生成中的应用。通过对源码的分析，本文展示了如何保护用户隐私，并确保服务器无法推导用户的真实用户名。

本文详细介绍了Medjai，一种用于寻找Cairo程序中的错误的符号执行工具。文章从Cairo语言的背景出发，深入探讨了零知识证明、Cairo工作流程、符号执行技术及其在实际开发中的应用，特别是如何帮助开发者发现Bug并验证修复。文章结构清晰，内容丰富，适合对区块链智能合约开发和安全感兴趣的读者。

本文档提供了一份详细的指南，旨在帮助用户在Mainnet上验证proof verifier智能合约（elderberry-fork.8）的部署。主要内容包括：准备工作站环境、安装和配置circom、编译生成verifier智能合约、编译合约、下载已部署合约的字节码，并最终比对两者是否一致，以验证部署的正确性。

10 篇塑造现代零知识证明的必读论文

本文介绍了存储证明的概念及其在区块链中的应用，特别是在增强或替代预言机方面的潜力。存储证明允许跨链验证特定状态的存在和有效性，无需信任第三方。文章探讨了存储证明的用例，包括跨链信息访问、简化的跨链投票系统、替代跨链桥以及增强账户抽象的用户体验，并讨论了存储证明如何与预言机进行对比，以及如何在某些情况下替代或增强预言机的功能，最后探讨了在Starknet上使用存储证明增强预言机的可行性。

Nova算法是一种针对IVC（增量可验证计算，Incrementally Verifiable Computation）的新型的零知识证明算法。

本文是零知识虚拟机（zkVM）安全系列的第一篇文章，主要介绍了zkVM的基本概念、工作原理及其在可验证计算中的作用。文章还简要介绍了zkEVM及其在区块链中的应用，并概述了该系列后续文章的主题，旨在为零知识领域的研究人员和zkVM开发者提供有用的安全指导。

Aptos 推出了保密交易（ACTs）功能，旨在对链上的token余额和交易金额进行加密，除了指定的第三方审计员外，对外部网络参与者（包括验证者）保密。ACTs基于同态加密和零知识证明，允许在不泄露明文金额的情况下进行链上余额更新和验证。此功能支持合规性审计，并为机密薪资等新用例开启了大门。

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，

L2 Iterative Ventures（L2IV）发布了2023年第三季度市场回顾与前景展望报告，尽管经历波动，L2IV预示加密和数字资产生态系统将继续发展。报告分析了宏观动态、主要生态系统及关键主题，强调了去中心化基础设施的重要性及其在金融和高级应用中的未来潜力。

这篇文章探讨了未来一年区块链技术、加密应用和数字身份等领域的主要趋势和发展方向，包括移动区块链、零知识证明、多方计算、全面链上游戏等。不同领域的合作伙伴分享了各自对这些主题的期待和想法，强调了去中心化、开发者引导以及可持续发展的重要性。