質問編集履歴
1
ゼロ知識証明について説明を追加しました。
test
CHANGED
File without changes
|
test
CHANGED
@@ -1,6 +1,6 @@
|
|
1
1
|
任意のJavaScriptをC言語に変換したいです。なぜなら、[pequin](https://github.com/pepper-project/pequin)というCのライブラリで任意のJavaScriptの関数をゼロ知識証明できるようにしたいからです。
|
2
2
|
|
3
|
-
|
3
|
+
(今回実装したいゼロ知識証明は、Ethereumのzk-SNARKのように任意のコードを正しく実行したかをゼロ知識・非対話で証明するようなものです。このサイトのような感じです。https://zoom-blc.com/what-is-ethereum-zk-snark)
|
4
4
|
|
5
5
|
もちろん、JavaScriptは動的型付け言語なのに対しC言語は静的型付け言語なので、実行しながら変換しても大丈夫です。
|
6
6
|
|