@nori-zk/proof-conversion/build/src/groth/recursion/zkp9.js

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

import { ZkProgram, Field, Poseidon, Provable } from 'o1js';
import { Accumulator } from './data.js';
import { Fp12 } from '../../towers/fp12.js';
import { ATE_LOOP_COUNT } from '../../towers/consts.js';
import { ArrayListHasher } from '../../array_list_hasher.js';
const zkp9 = ZkProgram({
    name: 'zkp9',
    publicInput: Field,
    publicOutput: Field,
    methods: {
        compute: {
            privateInputs: [
                Accumulator,
                Provable.Array(Field, 9 + 11),
                Provable.Array(Fp12, 11),
                Provable.Array(Field, ATE_LOOP_COUNT.length - 9 - 11 - 11),
            ],
            async method(input, acc, lhs_line_hashes, g_chunk, rhs_lines_hashes) {
                input.assertEquals(Poseidon.hashPacked(Accumulator, acc));
                const opening = ArrayListHasher.open(lhs_line_hashes, g_chunk, rhs_lines_hashes);
                acc.state.g_digest.assertEquals(opening);
                let f = acc.state.f;
                let idx = 0;
                for (let i = 21; i < 32; i++) {
                    f = f.square().mul(g_chunk[idx]);
                    if (ATE_LOOP_COUNT[i] == 1) {
                        f = f.mul(acc.proof.c_inv);
                    }
                    if (ATE_LOOP_COUNT[i] == -1) {
                        f = f.mul(acc.proof.c);
                    }
                    idx += 1;
                }
                acc.state.f = f;
                return { publicOutput: Poseidon.hashPacked(Accumulator, acc) };
            },
        },
    },
});
const ZKP9Proof = ZkProgram.Proof(zkp9);
export { ZKP9Proof, zkp9 };
//# sourceMappingURL=zkp9.js.map