Step1. Build trace （fib2-example）
赤い部分は公開情報です
Step2. Prover for Trace
プロトコルパラメータの選択:
1. AIR のインスタンス化
副題
2. AIR と Trace の整合性を確認します（デバッグ モード）
2.1 基本パラメータの確認
2.3 トレースが遷移 cs を満たすことを確認する (デバッグ モジュール)
Transcript
3.Commit for trace
ドメインパラメータの選択:
3.1 Interpolate -> LDE -> evaluate over LDE-domain
3.2 Commitment
Tracescript
4.Evaluate CS
副題
4.1 線形結合係数の取得
係数の数は制約の数と同じです
この例 (fib2-example) では、遷移 cs 2、境界 cs 3
4.2.1 t-cs
4.2.2 b-cs
4.3 Evaluate t/s-cs over ce_domain
4.3.1 評価者テーブルの定義
5 Commitment to Evaluate CS
副題
5.2 commitment to composition poly
Example:
Compose_poly = a * x^3 + b * x^2 + c * x + d = (a * x^2 + c) * x^ + (b * x^2 + d)
(a * x^2 + c),(b *x^2 +d) はそれぞれ 2 つの列に対応します
副題
The general formal: f(x) = q(x)* t(x)
Need check at random z
1. f(z) = q(z) * t(z)
2. f(x),q(x),t(x) indeed equal respectively f(z), q(z), t(z)
3. calculate Deep_composition = (q(x) - q(z)) / (x - z)
4. Check LDT for q_q(x)
6.1 select z which out of domain(ood)
draw an out-of-domain point z. Depending on the type of E, the point is drawn either from the base field or from an extension field defined by E.
The purpose of sampling from the extension field here (instead of the base field) is to increase security.
6.2 evaluate trace and constraint polynomials at the OOD point z
6.2.1 trace_poly at z & z * g
6.2.2 composition poly at z
6. DEEP合成多項式を確立する
6.3.1 乱数の生成
6.3.2 cal quotient poly
6.4 evaluate Deep over LDE
7. Deep の FRI レイヤー番号を計算する
副題
lde_domain から複数のクエリの場所を選択します。
副題
9. 証明オブジェクトを構築する
9.2 query trace poly at above positions
9.1 FRI プルーフの生成
9.3 query constraint poly at above positions
上記と同様の
9.4 スタークプルーフの構築
Step3. Verify for proof
トランスクリプトから pub-info を読み取り、検証プロセスを実行するための関連データを取得します。
1. Ood consistency check
セクション 5.2 で説明されている数学的関係の一貫性を検証します。
2. FRI-verifier オブジェクトをインスタンス化します。
副題
計算方法は6.4章と同様です。
Sin7y は 2021 年に設立され、トップのブロックチェーン開発者で構成されています。私たちはプロジェクト インキュベーターであると同時にブロックチェーン テクノロジー研究チームでもあり、EVM、レイヤー 2、クロスチェーン、プライバシー コンピューティング、自律型決済ソリューションなどの最も重要で最先端のテクノロジーを研究しています。
私たちについて
Sin7y は 2021 年に設立され、トップのブロックチェーン開発者で構成されています。私たちはプロジェクト インキュベーターであると同時にブロックチェーン テクノロジー研究チームでもあり、EVM、レイヤー 2、クロスチェーン、プライバシー コンピューティング、自律型決済ソリューションなどの最も重要で最先端のテクノロジーを研究しています。
WeChat 公開アカウント: Sin7Y
GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon
IOS
Android