@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
42 lines • 1.68 kB
JavaScript
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 zkp11 = ZkProgram({
name: 'zkp11',
publicInput: Field,
publicOutput: Field,
methods: {
compute: {
privateInputs: [
Accumulator,
Provable.Array(Field, 9 + 11 + 11 + 11),
Provable.Array(Fp12, 11),
Provable.Array(Field, ATE_LOOP_COUNT.length - 9 - 11 - 11 - 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 = 43; i < 54; 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 ZKP11Proof = ZkProgram.Proof(zkp11);
export { ZKP11Proof, zkp11 };
//# sourceMappingURL=zkp11.js.map