@nori-zk/proof-conversion/build/src/api/sp1/plonk.js

Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof

import { PlonkComputationalPlan } from '../../compute/plans/plonk/index.js';
export async function performSp1ToPlonk(executor, sp1) {
    // Unpack arguments
    const hexPi = `0x${Buffer.from(sp1.public_values.buffer.data).toString('hex')}`;
    const programVK = sp1.proof.Plonk.public_inputs[0];
    const encodedProof = `0x00000000${sp1.proof.Plonk.encoded_proof}`;
    // Invoke executor
    return executor.execute(new PlonkComputationalPlan(), {
        hexPi,
        programVK,
        encodedProof,
    });
}
//# sourceMappingURL=plonk.js.map