Merge pull request #39 from lambdaclass/demo

Demo
lambdaclass · Oct 17, 2023 · 8237536 · 8237536
2 parents 74e168c + 9117601
commit 8237536
Show file tree

Hide file tree

Showing 26 changed files with 11,263 additions and 0 deletions.
diff --git a/demo/Makefile b/demo/Makefile
@@ -0,0 +1,7 @@
+.PHONY: prove
+
+prove:
+	# 1. take o1js user-defined circuit
+	# 2. execute utility to generate a KZG+bn254 proof
+	# 3. serialize proof into JSON
+	# 4. send proof into Solidity program to verify proof
diff --git a/demo/eth_verifier/Makefile b/demo/eth_verifier/Makefile
@@ -0,0 +1,7 @@
+.PHONY: all proof
+
+all: proof
+	solc --bin verifier.sol
+
+proof:
+	cd circuit_gen && cargo run
diff --git a/demo/eth_verifier/circuit_gen/.gitignore b/demo/eth_verifier/circuit_gen/.gitignore
@@ -0,0 +1 @@
+target/