这些是实现细节。据我理解，OP的担忧在于，要探究被证明语句的真实协议，可以说是困难的/不切实际的。 在像 Circom 这样的语言中，输出的程序包含一个见证生成器和一个约束。