zk-SNARKSのGo実装
動機
Cosmos SDKにzk-SNARKのモジュールがなかったので実装してやろうというモチベ
一応、フォーラムの議題には上がってるけど話が止まってる
https://forum.cosmos.network/search?q=snark%20topic%3A2809
外観
cosmos SDK自体はGoで実装されている。
なので、Goで実装されたzk-SNARKのライブラリを見つけ、それをモジュール化していきたい。
良さげなやつ
すでに、Go実装されたのを見つけた
https://asecuritysite.com/encryption/go_r1cs2
ちなみに、フォーラムで発言していた人のライブラリが使用されてた
読み物
Vitalikがzk-SNARKについて書いたmediumの記事
ここに記載されている例がテストで使われたりしている
https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649