Too Long; Didn't Read
When designing the zkvm circuit, because of many custom gates determined, there are a lot of binary selectors are introduced.
Taking the (field) division gate as an example, we plan to design a gate to verify that the relationship q = x/y works among three elements q, x, y.
For convenience, we will not perform the field division operation at the circuit level, instead, we will make it by verifying the following logical relationship:
x * inv_y = q
inv_y∗y=1 //ensure y≠0
Between the two elements, there is an equal relationship. Therefore, we have the following Trace table.