本文介绍了零知识虚拟机（ZK-VM）的工作原理，通过“Proof of Meow”的例子，解释了如何证明程序的正确执行。文章将程序编译成字节码，然后在虚拟机中执行，生成执行跟踪。Prover验证执行跟踪的正确性，Verifier验证Prover生成的证明。
Taiko.xyz