snarkyjs -> o1js

Author: chfanghr

package-lock.json

@@ -29,8 +29,7 @@
     "jsonwebtoken": "^9.0.2",
     "passport": "^0.6.0",
     "passport-jwt": "^4.0.1",
-    "passport-strategy": "^1.0.0",
-    "snarkyjs": "^0.12.1"
+    "passport-strategy": "^1.0.0"
   },
   "devDependencies": {
     "@types/axios": "^0.14.0",
@@ -44,5 +43,8 @@
     "prettier": "^3.0.3",
     "ts-node": "^10.9.1",
     "typescript": "^5.2.2"
+  },
+  "peerDependencies": {
+    "o1js": "0.13.*"
   }
 }

package.json

@@ -3,7 +3,7 @@ import { Request } from 'express';
 import { Strategy } from 'passport-strategy';
 import jwt from 'jsonwebtoken';
 import crypto from 'crypto';
-import { JsonProof } from 'snarkyjs';
+import { JsonProof } from 'o1js';
 
 const PROVER_URL: string = 'http://localhost:3001/verifyProof';
 const SECRET_KEY: string = 'YOUR_SECRET_KEY';

src/apiServer/minauthStrategy.ts

@@ -1,4 +1,4 @@
-import { JsonProof } from "snarkyjs";
+import { JsonProof } from "o1js";
 
 export type PluginType = {
   compile: () => Promise<string>;

src/pluginInteropServer/plugin.ts

@@ -1,7 +1,7 @@
 import express, { Request, Response } from 'express';
 import bodyParser from 'body-parser';
 import { SimplePreimage } from './plugins/simplePreimage';
-import { JsonProof } from 'snarkyjs';
+import { JsonProof } from 'o1js';
 import { PluginType } from './plugin';
 import SimplePasswordTree from './plugins/simplePasswordTree';
 

src/pluginInteropServer/pluginServer.ts

@@ -1,4 +1,4 @@
-import { Experimental, Field, JsonProof, MerkleTree, Poseidon, verify } from "snarkyjs";
+import { Experimental, Field, JsonProof, MerkleTree, Poseidon, verify } from "o1js";
 import ProvePasswordInTreeProgram, { PASSWORD_TREE_HEIGHT, PasswordTreePublicInput, PasswordTreeWitness } from "../zkPrograms/passwordTreeProof";
 import { PluginType } from "../plugin";
 

src/pluginInteropServer/plugins/simplePasswordTree.ts

@@ -1,4 +1,4 @@
-import { verify, Proof, Field, JsonProof, Experimental } from 'snarkyjs';
+import { verify, Proof, Field, JsonProof, Experimental } from 'o1js';
 import { ProvePreimageProgram } from '../zkPrograms/hashPreimageProof';
 import { PluginType } from '../plugin';
 

src/pluginInteropServer/plugins/simplePreimage.ts

@@ -1,4 +1,4 @@
-import { Field, Experimental, Poseidon } from 'snarkyjs';
+import { Field, Experimental, Poseidon } from 'o1js';
 
 export const ProvePreimageProgram = Experimental.ZkProgram({
     publicInput: Field,

src/pluginInteropServer/zkPrograms/hashPreimageProof.ts

@@ -1,4 +1,4 @@
-import { Experimental, Field, MerkleWitness, Poseidon, Struct } from "snarkyjs";
+import { Experimental, Field, MerkleWitness, Poseidon, Struct } from "o1js";
 
 export const PASSWORD_TREE_HEIGHT = 10;