文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
本文介绍了零知识虚拟机（ZK-VM）的工作原理，通过“Proof of Meow”的例子，解释了如何证明程序的正确执行。文章将程序编译成字节码，然后在虚拟机中执行，生成执行跟踪。Prover验证执行跟踪的正确性，Verifier验证Prover生成的证明。
RareSkills
Taiko.xyz