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
私たちについて
Sin7y は 2021 年に設立され、トップのブロックチェーン開発者で構成されています。私たちはプロジェクト インキュベーターであると同時にブロックチェーン テクノロジー研究チームでもあり、EVM、レイヤー 2、クロスチェーン、プライバシー コンピューティング、自律型決済ソリューションなどの最も重要で最先端のテクノロジーを研究しています。
WeChat 公開アカウント: Sin7Y
GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon
