把一个死循环程序输入ZKVM具体会发生什么？

[kurtpan666]

最先报错的点会是在ZK部分还是VM部分？

[GrapeBaBa]

感觉应该是在VM部分，ZKVM/ZKEVM好像都是执行或者模拟执行生成trace作为input给prover的。VM部分一般就是gas控制或者限制操作码。