Setting up “Nessy” in zero-cunowledge-proof circles
It is not uncommon for encryption and a beginner to fight the complex concepts of leaks. In zero -data technology (ZKP) circles, one of the key factors in SUSTOMS SUSTOMS and requires SSSARY to rotate Roret. But what two dos this? Should Circom’s world and study how the “necessary” conditions in the Determinant Iszero () circuit.
What has formed in the ZKP circles? **
Importance to the witness characteristics of zero-knowledge to the characteristics of valid income (ie TT TT satisfactory), the output decreases determinedly. In addition to the YUVE entry, there is an arbitrary feed and check the tissue vapors forced by the circuits, always cut the Obescent and Deeterminant output.
Iszero () Circuit: Simple is an example
*
Speaking Iszero () in the fraom of the Circomlib circuit:
.
Model iszero () {
// Defining income and results
Input x;
departure and;
// defending the opposite
On the contrary, 1: {y = x> 0;};
structure 2: {yy = y - 1;};
// create output
if (x> 0 &> = 2) {
y = x * y;
} Else {
Nocomm's reputation;
}
}
` S
In this experiment we have a TW TWO TW STORES:
- McSnistent 1 ‘: $ DY stove as 0, $ y – $ 1 must be equal to the equilibrium.
- Cycling 2 ‘: $ DY $ $ $ $$ is 0 (ie cute leses or equal to 0), $ y $ must be 1.
“Nessy” * Setting up
Everyone determines the necessary, we must consider a follower Tonder:
Complity *: Can we obsessed with consistent and deterministically by checking out? (Weak confirmed this in SZA (Iszero () ‘, white returns SY Y y yu to valid income.)
* Repair: Is there a district of respondents’ similar output departures?
Checking the first 1 ‘, check $ x> 0 $ and $ \ \ geq for $ 2, we can smell $ y – 1%$ chess. Homever, this is not necessary because Mayo is able to control van y $ tittatatsfit.
Especially given where the feed is $ x = 0 $. $ Y = 0 (0-1) \ EKVATVALLENT 1 \ PMOD {2} $. Circuit Stell produces a valid start, but it is, but it is not determined to calculate due to the extremely many simple $ dy $ products as a structure.
* Conclusion
Conclusion, Determination of ISSORT, Iszero () Circles require both completion and accuracy to take into account. IIF contrary to the dose of no guarantee that the decerating output of allval income, I am essential for the increasing dependence of the sloping addiction dependencies.
By analysis “Iszroe () circuit and applying the prize and application, you can with Insights intake towels zero knowing the evidence of evidence, such as Iszero (). Remember that performed and accuracy according to the actual objects of the ZKP keys, so make sure that check the income checks to check the income Good coding!