Read on to know about zero-knowledge proof algorithm Marlin which is a R1CS based proof system.
Define polynomial ^zA,^zB,^zC∈F<|H|+b[X]z^A,z^B,z^C∈F<|H|+b[X] for vectors z_A, z_B, z_C satisfying that the value on the group H is consistent with the vector, where the order of the groupAdd b redundant point without exposing any information of wDefine a polynomial for wDefine Polynomials for Matrices A, B, C
In order to reduce the computational complexity for the verifier , we use a special form to represent the matrix. Below is an example using matrix A.
Now, we multiply a factor r for each element of ^z_A on group H, then in order to ensure balance, we should multiply a factor r for the A^z which is as shown in the following figureLikewise, we can also derive it from the formula That is, if it can be proved that the accumulation of polynomials q on group H is 0, the linear relationship among ^z_A, A, ^z is established.
Australia Latest News, Australia Headlines
Similar News:You can also read news stories similar to this one that we have collected from other news sources.
Zero-Knowledge Proof Algorithm, PLONK—Protocol: Sin7Y Tech Review (17) | HackerNoonIn this report, Sin7Y will analyze the details of the PLONK protocol and elaborate on how the constraint relationship of the gate is valid.
Read more »
Lookup Argument in Halo2 - Sin7Y Tech Review (14) | HackerNoonHalo2 uses the lookup argument technique, allowing to run lookup on any random sets. Read on for a tech review of the lookup argument in Halo2.
Read more »
Halo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoonRead on to know what we need to pay attention to when developing circuits with Halo2.
Read more »
Zero-Knowledge Proof Algorithm, PLONK —Circuit: Sin7Y Tech Review (16) | HackerNoonWe recently investigated the Zero-Knowledge proof algorithm-PLONK. Read on to know our learning experience.
Read more »
Permutation Argument in Halo 2: Sin7Y Tech Review (15) | HackerNoon
Read more »