add zkprogram example (wip)

package.json

@@ -21,7 +21,7 @@
     "test": "node --experimental-vm-modules node_modules/jest/bin/jest.js",
     "testw": "node --experimental-vm-modules node_modules/jest/bin/jest.js --watch",
     "lint": "npx eslint src/* --fix",
-    "example": "npm run build && node build/src/ecdh-secp256k1.js"
+    "example": "npm run build && node build/src/run.js"
   },
   "devDependencies": {
     "@babel/preset-env": "^7.16.4",

src/ecdh-secp256k1.ts

@@ -51,7 +51,7 @@ class ECDHSecp256k1 {
    * The shared secret is derived by performing scalar multiplication of the peer's public key with the local private key.
    * This operation relies on the elliptic curve's property where both parties arrive at the same shared secret.
    * Mathematically, the shared secret is computed as S = dP, where d is the local private key and P is the peer's public key.
-   * 
+   *
    * @param {CanonicalForeignField} privateKey - The local private key.
    * @param {ForeignCurveV2} peersPublicKey - The public key of the peer.
    * @returns {ForeignCurveV2} - The computed shared secret.

src/run.ts

@@ -0,0 +1,44 @@
+import { CanonicalForeignField, ForeignCurveV2, Provable, ZkProgram } from 'o1js';
+import { ECDHSecp256k1, Secp256k1Curve } from './ecdh-secp256k1.js';
+
+// Create a zkSNARK program for verifying the ECDH operation on Secp256k1
+let ecdhVerificationProgram = ZkProgram({
+    name: 'ecdh-secp256k1-verification',
+    publicOutput: ForeignCurveV2,
+    methods: {
+        verifyECDHSecp256k1: {
+            privateInputs: [Secp256k1Curve.Scalar.Canonical, ForeignCurveV2],
+            async method(
+                userPrivateKey: CanonicalForeignField,
+                peersPublicKey: ForeignCurveV2,
+            ) {
+                return ECDHSecp256k1.computeSharedSecret(userPrivateKey, peersPublicKey);
+            },
+        },
+    },
+});
+
+let { verifyECDHSecp256k1 } = await ecdhVerificationProgram.analyzeMethods();
+
+console.log(verifyECDHSecp256k1.summary());
+
+console.time('compile');
+const forceRecompile = false;
+await ecdhVerificationProgram.compile({ forceRecompile });
+console.timeEnd('compile');
+
+console.time('generate ECDH keys');
+const ecdhInstance = new ECDHSecp256k1();
+const { privateKey: alicePrivateKey, publicKey: alicePublicKey } = ecdhInstance.generateKey();
+const { privateKey: bobPrivateKey, publicKey: bobPublicKey } = ecdhInstance.generateKey();
+console.timeEnd('generate ECDH keys');
+
+console.time('prove');
+let proof = await ecdhVerificationProgram.verifyECDHSecp256k1(alicePrivateKey, bobPublicKey);
+console.timeEnd('prove');
+
+console.time('verify');
+let isVerified = await ecdhVerificationProgram.verify(proof);
+console.timeEnd('verify');
+
+console.log(`Proof verified: ${isVerified}`);