Make proofs witnessable

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/mina/zkapp.ts

@@ -342,7 +342,8 @@ function wrapMethod(
  // proofs actually don't have to be cloned
  previousProofs: getPreviousProofsForProver(
  actualArgs,
- methodIntf
+ methodIntf,
+ []
  ),
  ZkappClass,
  memoized,
@@ -434,7 +435,8 @@ function wrapMethod(
  args: constantArgs,
  previousProofs: getPreviousProofsForProver(
  constantArgs,
- methodIntf
+ methodIntf,
+ []
  ),
  ZkappClass,
  memoized,