feat: Smart contract & circuit adjustments, using Groth16

Author: imiskii

.gitignore

@@ -45,6 +45,8 @@ circuits/build
 *.wasm
 *.zkey
 *.ptau
-*.zkey
-verification_key.json
-Verifier.sol
+*.wtns
+circuits/proof.json
+circuits/public.json
+circuits/verification_key.json
+src/Verifier.sol

circuits/TaskProof.circom

@@ -10,9 +10,6 @@ include "../node_modules/circomlib/circuits/poseidon.circom";
 
   Private inputs:
     solution
-
-  NOTE: component main {public [...]} ensures these inputs are exported as
-  public inputs (and in that order) for snarkjs / verifier.sol.
 */
 
 template TaskProof() {

circuits/inputs/computeCommit.js

@@ -0,0 +1,15 @@
+import { buildPoseidon } from "circomlibjs";
+
+async function main() {
+  const poseidon = await buildPoseidon();
+  const F = poseidon.F;
+
+  const solution = 42n;
+  const taskId = 7n;
+  const taskSalt = 123456n;
+
+  const commit = poseidon([solution, taskId, taskSalt]);
+  console.log("Commit:", F.toString(commit));
+}
+
+main();

circuits/inputs/input.json

@@ -0,0 +1,7 @@
+{
+  "solution": "42",
+  "taskId": "7",
+  "taskSalt": "123456",
+  "recipient": "987654321",
+  "commit": "11500528584593830379883139624647731070623497308416655972613955003754148633922"
+}