Sin7Y Tech Review (28): Specification for Marlin | HackerNoon

Brasil Notícia Notícia

Sin7Y Tech Review (28): Specification for Marlin | HackerNoon
Brasil Últimas Notícias,Brasil Manchetes
  • 📰 hackernoon
  • ⏱ Reading Time:
  • 27 sec. here
  • 2 min. at publisher
  • 📊 Quality Score:
  • News: 14%
  • Publisher: 51%

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.

Resumimos esta notícia para que você possa lê-la rapidamente. Se você se interessou pela notícia, pode ler o texto completo aqui. Consulte Mais informação:

hackernoon /  🏆 532. in US

Brasil Últimas Notícias, Brasil Manchetes

Similar News:Você também pode ler notícias semelhantes a esta que coletamos de outras fontes de notícias.

Zero-Knowledge Proof Algorithm, PLONK—Protocol: Sin7Y Tech Review (17) | HackerNoonZero-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.
Consulte Mais informação »

Lookup Argument in Halo2 - Sin7Y Tech Review (14) | HackerNoonLookup 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.
Consulte Mais informação »

Halo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoonHalo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoonRead on to know what we need to pay attention to when developing circuits with Halo2.
Consulte Mais informação »

Zero-Knowledge Proof Algorithm, PLONK —Circuit: Sin7Y Tech Review (16) | HackerNoonZero-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.
Consulte Mais informação »

Permutation Argument in Halo 2: Sin7Y Tech Review (15) | HackerNoonPermutation Argument in Halo 2: Sin7Y Tech Review (15) | HackerNoon
Consulte Mais informação »



Render Time: 2025-03-01 17:57:51