@nori-zk/proof-conversion/build/src/groth/witness_tracker.d.ts

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

import { Field } from 'o1js';
import { Accumulator } from './recursion/data.js';
import { Fp12 } from '../towers/index.js';
import { G2Line } from '../lines/index.js';
import { Proof } from './proof.js';
import { AuXWitness } from '../aux_witness.js';
import { G1Affine } from '../ec/index.js';
declare class WitnessTracker {
    proof: Proof;
    acc: Accumulator;
    line_hashes: Array<Field>;
    g: Array<Fp12>;
    b_lines: Array<G2Line>;
    constructor(proof: Proof, auxWitness: AuXWitness);
    runT(begin: number, end: number): void;
    updateTFrob(): void;
    in0(): [Accumulator, Array<Field>, Array<G2Line>];
    zkp0(): [Accumulator, Array<Field>];
    zkp1(): [Accumulator, Array<Field>];
    zkp2(): [Accumulator, Array<Field>];
    zkp3(): [Accumulator, Array<Field>];
    zkp4(): [Accumulator, Array<Field>];
    zkp5(): [Accumulator, Array<Field>];
    zkp6(): [Accumulator, Array<Field>];
    zkp7(): Accumulator;
    zkp8(): Accumulator;
    zkp9(): Accumulator;
    zkp10(): Accumulator;
    zkp11(): Accumulator;
    zkp12(): Accumulator;
    zkp13(): Accumulator;
    zkp14(): G1Affine;
}
export { WitnessTracker };