ようこそ
数学、AI、暗号、CSなど、気になること全般について書いています。文書は短いけど、内容は本格的。専門知識は不要。
ゼロ知識証明：SNARKの証明を構築する（第2回/全3回）
トラステッドセットアップ、曲線上の8つのコミットメント、5つのペアリングチェック：多項式恒等式をどうやって動くゼロ知識SNARKに変えるか。
Read more →
数学、AI、暗号、CSなど、気になること全般について書いています。文書は短いけど、内容は本格的。専門知識は不要。
トラステッドセットアップ、曲線上の8つのコミットメント、5つのペアリングチェック：多項式恒等式をどうやって動くゼロ知識SNARKに変えるか。