Skip to content

Commit

Permalink
Initial makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
xqft committed Oct 13, 2023
1 parent 74e168c commit 9f9e238
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions demo/Makefile
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 9f9e238

Please sign in to comment.