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

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

import { Field } from 'o1js';
import { KzgAccumulator } from '../../kzg/structs.js';
import { Accumulator } from '../accumulator.js';
import { Fp12 } from '../../towers/fp12.js';
declare class WitnessTracker {
    acc: Accumulator;
    kzg: KzgAccumulator;
    line_hashes: Array<Field>;
    g: Array<Fp12>;
    constructor(acc: Accumulator);
    zkp0(): Accumulator;
    zkp1(): Accumulator;
    zkp2(): Accumulator;
    zkp3(): Accumulator;
    zkp4(): Accumulator;
    zkp5(): Accumulator;
    zkp6(): Accumulator;
    zkp7(): Accumulator;
    zkp8(): Accumulator;
    zkp9(): Accumulator;
    zkp10(): Accumulator;
    zkp11(): Accumulator;
    zkp12(shift_power: Field, c: Fp12): [KzgAccumulator, Array<Field>];
    zkp13(): [KzgAccumulator, Array<Field>];
    zkp14(): [KzgAccumulator, Array<Field>];
    zkp15(): [KzgAccumulator, Array<Field>];
    zkp16(): [KzgAccumulator, Array<Field>];
    zkp17(): KzgAccumulator;
    zkp18(): KzgAccumulator;
    zkp19(): KzgAccumulator;
    zkp20(): KzgAccumulator;
    zkp21(): KzgAccumulator;
    zkp22(): KzgAccumulator;
    zkp23(): KzgAccumulator;
    fullGHashes(): import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
}
export { WitnessTracker };