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 });