You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
in zkps we want to prove a statement where f evaluated at x_i results in (y_1,...,y_n), i.e., f(x_1, ..., x_n) = (y_1, ..., y_n)
this can be expressed as a fixed computational graph, where relationships between nodes are related by operations such as multiplication or addition
in addition, some nodes can be related with an equality relationship on which the node's value is computed outside of the graph and constrained by a hint