@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
10 lines • 476 B
JavaScript
import { parseProof } from './proof.js';
import { Groth16Verifier } from './verifier.js';
import fs from 'fs';
// args = [vk_path, proof_path, mlo_write_path]
const groth16 = new Groth16Verifier(process.argv[2]);
const proof = parseProof(groth16.vk, process.argv[3]);
const mlo = groth16.multiMillerLoop(proof);
fs.writeFileSync(process.argv[4], mlo.toJSON(), 'utf-8');
console.log(`JSON data has been written to ${process.argv[4]}`);
//# sourceMappingURL=serialize_mlo.js.map