文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
该项目旨在分析和模拟zk-rollup网络中Prover的选择、管理和激励机制。通过对现有方法和激励措施的评估，找出潜在的低效、漏洞和改进机会。项目将建立经济模型和仿真环境，提出Prover选择和激励的优化策略，从而提高网络的性能、安全性和可扩展性。
本文介绍了零知识虚拟机（ZK-VM）的工作原理，通过“Proof of Meow”的例子，解释了如何证明程序的正确执行。文章将程序编译成字节码，然后在虚拟机中执行，生成执行跟踪。Prover验证执行跟踪的正确性，Verifier验证Prover生成的证明。
本文介绍了以太坊区块证明的过程，包括获取区块信息、将信息转换为prover可理解的格式（witness generation），以及运行prover。Prover可以在GPU或CPU上运行，文中提供了在GPU和CPU上运行prover的具体步骤和命令，以及验证最终证明的方法。
RareSkills
eth-protocol-fellows
Taiko.xyz
matter-labs