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

TypeScript framework for zk-SNARKs and zkApps

import { Field, Cache, Gadgets, ZkProgram } from 'o1js';

let MyProgram = ZkProgram({
  chunks: 1,
  overrideWrapDomain: 0,
  name: 'example-with-chunking',
  publicOutput: Field,

  methods: {
    baseCase: {
      privateInputs: [Field],
      async method(input: Field) {
        for (let i = 0; i < 1 << 16; i++) {
          Gadgets.rangeCheck64(Field(input).add(Field(i)));
        }
        // The above generates 2^16+2^15 rows which needs to be split into 2 chunks
        return {
          publicOutput: Field(0),
        };
      },
    },
  },
});

console.log(await MyProgram.analyzeMethods());

console.log('compiling MyProgram...');
await MyProgram.compile({ cache: Cache.None });

console.log('proving base case...');
let { proof } = await MyProgram.baseCase(Field(0));

console.log('verify...');
let ok = await MyProgram.verify(proof);
console.log('ok?', ok);