リスク警告:「仮想通貨」「ブロックチェーン」の名のもとでの違法な資金調達のリスクに注意してください。—銀行保険監督管理委員会など5部門
検索
ログイン
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
View Market
ゼロ知識証明アルゴリズム Marlin の詳細説明
Sin7y
特邀专栏作者
2022-09-23 12:31
この記事は約998文字で、全文を読むには約2分かかります
本稿では、R1CS証明システムに基づくゼロ知識証明アルゴリズム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 | MediumMirror | HackMD | HackerNoon

開発者
Odaily公式コミュニティへの参加を歓迎します
購読グループ
https://t.me/Odaily_News
チャットグループ
https://t.me/Odaily_CryptoPunk
公式アカウント
https://twitter.com/OdailyChina
チャットグループ
https://t.me/Odaily_CryptoPunk