Skip to content

Exercise <Week 4>: yamdan#85

Merged
SeiyaKobayashi merged 2 commits into
zk-tokyo:mainfrom
yamdan:week4/exercises/yamdan
Sep 22, 2025
Merged

Exercise <Week 4>: yamdan#85
SeiyaKobayashi merged 2 commits into
zk-tokyo:mainfrom
yamdan:week4/exercises/yamdan

Conversation

@yamdan
Copy link
Copy Markdown
Contributor

@yamdan yamdan commented Aug 22, 2025

🎁 Deliverables

前半だけですが week4 の事前課題への回答です。

💬 Comments

後半は後日提出します。 → 提出しました(8/27)

@yamdan yamdan force-pushed the week4/exercises/yamdan branch from cab4568 to d16fe43 Compare August 27, 2025 07:45

yamdan

## 1. STARKにおいては、多項式に関する低次元テスト(LDT, p.39)が必要ですが、これまでみてきたSNARKでは不要でした。なぜSTARKではLDTが必要で、Groth16とPLONKではそれぞれ不要なのかを数式をまじえて説明してみましょう。
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

良い回答です!

## 2. スライドで説明されている構築方法では、STARKにゼロ知識性が付与されていません。STARKをzkSTARKに変換する方法を1つ取り上げ、なぜその方法がゼロ知識性を付与するのかを数式ベースで説明してみましょう。

実行トレースの多項式 $P(X)$ に、
ランダム多項式 $R(X)$ と
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

このランダムな多項式は、元の実行トレースを表す多項式の次元以下であることが理想的で、尚且つ証明者のみが知っている(i.e., 検証者には知られてはいけない)という条件はあります

は元のトレースの値 $P(x)$ と独立になり、
結果としてゼロ知識性の付与に繋がる。

(加えてLDTにおける情報漏洩に関する手当ても必要?)
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FRI における次数の制限を $Z(X)$ の次数分あげてあげる必要はありますね

Copy link
Copy Markdown
Collaborator

@SeiyaKobayashi SeiyaKobayashi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!!

@SeiyaKobayashi SeiyaKobayashi merged commit 84ccc42 into zk-tokyo:main Sep 22, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants