How to Design the ZKVM Circuitby@sin7y
1,095 reads

How to Design the ZKVM Circuit

June 27th 2022
4m
by @sin7y 1,095 reads
tldt arrow
EN
Read on Terminal Reader
Read this story w/o Javascript

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.

Company Mentioned

Mention Thumbnail
featured image - How to Design the ZKVM Circuit
Sin7Y HackerNoon profile picture

@sin7y

Sin7Y

Sin7Y is a tech team that explores layer 2, cross-chain, ZK, and privacy computing. #WHAT IS HAPPENING IN BLOCKCHAIN#

react to story with heart

RELATED STORIES

L O A D I N G
. . . comments & more!