@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
8 lines (7 loc) • 374 B
TypeScript
import { G1Affine, G2Affine } from '../ec/index.js';
import { G2Line } from '../lines/index.js';
import { Fp12 } from '../towers/index.js';
declare class LineAccumulator {
static accumulate(b_lines: Array<G2Line>, gamma_lines: Array<G2Line>, delta_lines: Array<G2Line>, B: G2Affine, negA: G1Affine, PI: G1Affine, C: G1Affine): Array<Fp12>;
}
export { LineAccumulator };