Week 3 演習 yuki-js#101
Merged
Merged
Conversation
| @@ -0,0 +1,23 @@ | |||
| SNARK とは … ARgument of Knowledge（p.7）を指しますが、なぜ「証明」であるのに “argument” と表現しているのでしょうか？ | |||
|
|
|||
| 検証者が有限の計算資源しか持たないと仮定しているから。もし検証者の計算資源が無限であるならば、それを棄却することができてしまう、といったニュアンスを含めたかったから。 | |||
Collaborator
There was a problem hiding this comment.
ここで肝となる知識の健全性は、検証者ではなく、証明者の計算資源の制約（i.e., 多項式時間・空間か、無制限か）に対して定義されます（i.e., 偽の証明の検証を通せないこと = 健全性）。
より詳しい定義は、↓の p.24 あたりを確認してみてください。
https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
|
|
||
| p.21のKZGにおいて、コミットメントに秘匿性（i.e., ゼロ知識性）を与えるにはどうすれば良いでしょうか？具体的な構築方法を調べて説明してみましょう。 | ||
|
|
||
| 毎回異なるランダム値をべき乗することで、コミットメントに秘匿性を与えることができる。C' = C * g^r のようにすれば、離散対数問題の困難性により、C から C' を元に戻すことができないため、秘匿性が保たれる。 |
Collaborator
There was a problem hiding this comment.
ここで重要なのは、ランダムなスカラー値は元々の生成元
また見方を変えると、これは pedersen commitment の形であるため、ゼロ知識性が担保できるということになります。
|
|
||
| f(a, b) = 5 * (a * b - a) + 2 * b を PLONK が適用できる形（i.e., 複数の一変量多項式）に途中経過をわかりやすく明示しながら変換してみましょう。 | ||
|
|
||
| 画像の通りに分解を進めていくと、以下の画像の通りになった。 |
Collaborator
There was a problem hiding this comment.
これを元に各種制約をベクトルとして表現し、それらをそれぞれ補間することで多項式にし、KZG を適用できる形に変形する、という点がミソですね
|
|
||
|  | ||
|
|
||
| p.52におけるパブリックインプット・アウトプットの証明をたった1つのKZG評価証明で行うにはどうすれば良いか、調べて説明してみましょう。 |
Collaborator
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
2 participants
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
Week3の演習課題
💬 Comments