@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
10 lines • 326 B
JavaScript
import { Provable } from 'o1js';
import { Fp12 } from './fp12.js';
function main() {
let a = Provable.witness(Fp12, () => Fp12.one());
let b = Provable.witness(Fp12, () => Fp12.one());
a.mul(b);
}
let cs = await Provable.constraintSystem(main);
console.log(cs.summary());
//# sourceMappingURL=fp12-benchmark.js.map