o1js/src/examples/zkprogram/program-with-cache.ts

TypeScript framework for zk-SNARKs and zkApps

import { Field, ZkProgram, Cache, verify, setBackend } from 'o1js';

setBackend('native');

let MyProgram = ZkProgram({
  name: 'example-with-output',
  publicOutput: Field,
  methods: {
    baseCase: {
      privateInputs: [],
      async method() {
        return {
          publicOutput: Field(1),
        };
      },
    },
  },
});

const cache = Cache.FileSystem('/tmp/o1js/cache', true);

console.time('compile (with cache)');
let { verificationKey } = await MyProgram.compile({ cache });
console.timeEnd('compile (with cache)');

console.time('proving 1');
let result = await MyProgram.baseCase();
console.timeEnd('proving 1');

console.time('proving 2');
await MyProgram.baseCase();
console.timeEnd('proving 2');

console.log('verifying');
let ok = await verify(result.proof, verificationKey);
console.log('ok', ok);