@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
20 lines • 689 B
JavaScript
import fs from 'fs';
const args = process.argv;
const sp1Proof = args[2];
const runDir = args[3];
const workDir = args[4];
const proofName = args[5];
const envPath = `${runDir}/env.${proofName}`;
const sp1 = JSON.parse(fs.readFileSync(sp1Proof, 'utf8'));
const hexPi = Buffer.from(sp1.public_values.buffer.data).toString('hex');
const programVk = sp1.proof.Plonk.public_inputs[0];
const encodedProof = sp1.proof.Plonk.encoded_proof;
const env = `\
WORK_DIR=${workDir}/${proofName}/e2e_plonk
CACHE_DIR=${workDir}/plonk_cache
HEX_PROOF="0x00000000${encodedProof}"
PROGRAM_VK="${programVk}"
HEX_PI="0x${hexPi}"
`;
fs.writeFileSync(envPath, env, 'utf8');
//# sourceMappingURL=sp1_to_env.js.map