make proof provable

src/examples/zkprogram/witness-proof-2.ts

@@ -0,0 +1,54 @@
+import {
+  SelfProof,
+  Field,
+  ZkProgram,
+  verify,
+  isReady,
+  Proof,
+  JsonProof,
+  Provable,
+  Empty,
+} from 'o1js';
+
+await isReady;
+
+let MyProgram = ZkProgram({
+  name: 'example-with-output',
+  publicOutput: Field,
+
+  methods: {
+    baseCase: {
+      privateInputs: [],
+      method() {
+        return Field(0);
+      },
+    },
+  },
+});
+
+class ProgramProof extends ZkProgram.Proof(MyProgram) {}
+
+await MyProgram.compile();
+
+let proof = await MyProgram.baseCase();
+
+let MyProgram2 = ZkProgram({
+  name: 'example-with-output2',
+
+  methods: {
+    baseCase: {
+      privateInputs: [ProgramProof],
+      method(p: ProgramProof) {
+        p.verify();
+
+        // should say 0 and fail verification
+        Provable.log(proof.publicOutput);
+      },
+    },
+  },
+});
+console.log('GOING INTO SECOND ZKPROGRAM');
+await MyProgram2.compile();
+console.log('PROVING');
+
+await MyProgram2.baseCase(proof);

src/examples/zkprogram/witness-proof.ts

@@ -0,0 +1,58 @@
+import {
+  SelfProof,
+  Field,
+  ZkProgram,
+  verify,
+  isReady,
+  Proof,
+  JsonProof,
+  Provable,
+  Empty,
+} from 'o1js';
+
+await isReady;
+
+let MyProgram = ZkProgram({
+  name: 'example-with-output',
+  publicOutput: Field,
+
+  methods: {
+    baseCase: {
+      privateInputs: [],
+      method() {
+        return Field(0);
+      },
+    },
+  },
+});
+
+class ProgramProof extends ZkProgram.Proof(MyProgram) {}
+
+await MyProgram.compile();
+
+let proof = await MyProgram.baseCase();
+
+let MyProgram2 = ZkProgram({
+  name: 'example-with-output2',
+
+  methods: {
+    baseCase: {
+      privateInputs: [],
+      method() {
+        let p = Provable.witness(ProgramProof.provable, () => {
+          proof.publicOutput = Field(5);
+          return proof;
+        });
+
+        ProgramProof.declare(p);
+        p.verify();
+        // should say 0 and fail verification
+        Provable.log(proof.publicOutput);
+      },
+    },
+  },
+});
+console.log('GOING INTO SECOND ZKPROGRAM');
+await MyProgram2.compile();
+console.log('PROVING');
+await MyProgram2.baseCase();

src/lib/gadgets/ecdsa.unit-test.ts

@@ -175,7 +175,7 @@ Provable.runAndCheck(program.rawMethods.ecdsa);
 console.timeEnd('ecdsa verify (witness gen / check)');
 
 console.time('ecdsa verify (build constraint system)');
-let cs = program.analyzeMethods().ecdsa;
+let cs = program.analyzeMethods().ecdsa.cs;
 console.timeEnd('ecdsa verify (build constraint system)');
 
 console.log(cs.summary());