o1js/src/examples/constraint-system.ts

TypeScript framework for zk-SNARKs and zkApps

import { Field, Poseidon, Provable } from 'o1js';

let hash = Poseidon.hash([Field(1), Field(-1)]);

let { rows, digest, publicInputSize, print } = await Provable.constraintSystem(
  () => {
    let x = Provable.witness(Field, () => 1);
    let y = Provable.witness(Field, () => -1);
    x.add(y).assertEquals(Field(0));
    let z = Poseidon.hash([x, y]);
    z.assertEquals(hash);
  }
);

print();
console.log({ rows, digest, publicInputSize });