R1CSに対する理解

今までやってたことをつなげたい

Screen Shot 2022-06-18 at 11.45.31.png

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/

MPCセレモニー(第二段階)

特定のサーキットに対応した証明用の鍵(proving key)と検証用の鍵(varification key)を作成する

(Phase2) R1CS >>> QAP

Phase1に関して

(Phase1 >> Random numberを決める

一定時間が経過すると利用できないランダム性をもつ情報源。たとえば、Loopringというプロジェクトでは、ビットコインの602168番目のブロックのハッシュ値をつかうと宣言し利用した。

random numberを決定する

このポイントでいうところのsかな?