R1CSに対する理解
今までやってたことをつなげたい
Introduction to zk-SNARKs (Part 1)
非対話零知識証明 zk-SNARKs の解説良記事を数学的ハードルを下げつつ日本語で解説していく Part-6/7 - Qiita
Quadratic Arithmetic Programs: from Zero to Hero
zk-SNARKs | logic gates → R1CS → QAP - LayerX Research
https://electriccoin.co/blog/snark-explain2/
特定のサーキットに対応した証明用の鍵(proving key)と検証用の鍵(varification key)を作成する
(Phase2) R1CS >>> QAP
Phase1に関して
(Phase1 >> Random numberを決める
一定時間が経過すると利用できないランダム性をもつ情報源。たとえば、Loopringというプロジェクトでは、ビットコインの602168番目のブロックのハッシュ値をつかうと宣言し利用した。
random numberを決定する
このポイントでいうところのsかな?