Exercise <Week 4>: yamdan#85
Merged
Merged
Conversation
1bee1d7 to
1982f0c
Compare
cab4568 to
d16fe43
Compare
|
|
||
| yamdan | ||
|
|
||
| ## 1. STARKにおいては、多項式に関する低次元テスト(LDT, p.39)が必要ですが、これまでみてきたSNARKでは不要でした。なぜSTARKではLDTが必要で、Groth16とPLONKではそれぞれ不要なのかを数式をまじえて説明してみましょう。 |
| ## 2. スライドで説明されている構築方法では、STARKにゼロ知識性が付与されていません。STARKをzkSTARKに変換する方法を1つ取り上げ、なぜその方法がゼロ知識性を付与するのかを数式ベースで説明してみましょう。 | ||
|
|
||
| 実行トレースの多項式 $P(X)$ に、 | ||
| ランダム多項式 $R(X)$ と |
Collaborator
There was a problem hiding this comment.
このランダムな多項式は、元の実行トレースを表す多項式の次元以下であることが理想的で、尚且つ証明者のみが知っている(i.e., 検証者には知られてはいけない)という条件はあります
| は元のトレースの値 $P(x)$ と独立になり、 | ||
| 結果としてゼロ知識性の付与に繋がる。 | ||
|
|
||
| (加えてLDTにおける情報漏洩に関する手当ても必要?) |
Collaborator
There was a problem hiding this comment.
FRI における次数の制限を
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
🎁 Deliverables
前半だけですがweek4 の事前課題への回答です。💬 Comments
後半は後日提出します。→ 提出しました(8/27)