@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
12 lines • 426 B
JavaScript
import { bn254 } from '../ec/g1.js';
// pis are sent without beginning 1
export function computePI(VK, pis) {
let acc = new bn254({ x: VK.ic0.x, y: VK.ic0.y });
acc = acc.add(VK.ic1.scale(pis[0]));
acc = acc.add(VK.ic2.scale(pis[1]));
acc = acc.add(VK.ic3.scale(pis[2]));
acc = acc.add(VK.ic4.scale(pis[3]));
acc = acc.add(VK.ic5.scale(pis[4]));
return acc;
}
//# sourceMappingURL=compute_pi.js.map