如何设计 ZKVM 电路

在设计 zkvm 电路时，由于确定了很多自定义门，所以引入了很多二元选择器。 以（场）除法门为例，我们计划设计一个门来验证关系 q = x/y 在三个元素 q、x、y 之间有效。 为方便起见，我们不会在电路层面进行场划分操作，而是通过验证以下逻辑关系来实现： x * inv_y = q inv_y∗y=1  //确保y≠0 在这两个元素之间，存在平等的关系。因此，我们有以下 Trace 表。