ゼロ知識証明アルゴリズム Marlin の詳細説明

arkworks for marlin 

Marlin 

Fractal

RICS

最初のレベルのタイトル

Transition into Polynomial (efficiency）

Prepare

Define polynomial

文章

その後、R1CS が確立されます。

最初のレベルのタイトルpaper5.2.1副題

Linearity check

2. ベクトル z = (x, w) の多項式 (LDE) を定義します。

同様に、次の式から求めることもできます。

AHP for R1CS

Common

Prover

=>Prover

=>Oracle

=>Prover - sumcheck-1

=> Oracle

=> Prover - sumcheck-1

=> Prover - sumcheck-2

=> Oracle

=> Prover - sumcheck-2

=> Prover - sumcheck-3

=> Oracle

=> Prover - sumcheck-3

Verifier

=> Verifier-sumcheck-3

=> Verifier-sumcheck-2

Recall the equality

=> Verifier-sumcheck-1

Recall the equality

=> Verifier

Polynomial commitment 

副題

Optimization

Sum(s(X)) = 0

副題

Reduce sumcheck 

によるとCOS20. Claim6.7によると

Common

Prover

Verifier

Reduce polynomial numbers for Sumcheck - 2 

(フラクタル) 論文で言及されている最適化については、次のようにします。

副題

副題

Set b = 1 

行列多項式が 9 から 3 に減りました。

Final Procotol 

Marlin in arkworks

私たちについて

Sin7y は 2021 年に設立され、トップのブロックチェーン開発者で構成されています。私たちはプロジェクト インキュベーターであると同時にブロックチェーン テクノロジー研究チームでもあり、EVM、レイヤー 2、クロスチェーン、プライバシー コンピューティング、自律型決済ソリューションなどの最も重要で最先端のテクノロジーを研究しています。

WeChat 公開アカウント: Sin7Y

GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon