o1js/src/examples/benchmarks/foreign-field.ts

TypeScript framework for zk-SNARKs and zkApps

import { Crypto, Provable, createForeignField } from 'o1js';

class ForeignScalar extends createForeignField(
  Crypto.CurveParams.Secp256k1.modulus
) {}

function main() {
  let s = Provable.witness(
    ForeignScalar.Canonical.provable,
    ForeignScalar.random
  );
  let t = Provable.witness(
    ForeignScalar.Canonical.provable,
    ForeignScalar.random
  );
  s.mul(t);
}

console.time('running constant version');
main();
console.timeEnd('running constant version');

console.time('running witness generation & checks');
await Provable.runAndCheck(main);
console.timeEnd('running witness generation & checks');

console.time('creating constraint system');
let cs = await Provable.constraintSystem(main);
console.timeEnd('creating constraint system');

console.log(cs.summary());