@nori-zk/proof-conversion/build/src/line_parser.js

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

import { ATE_LOOP_COUNT } from './towers/consts.js';
function ateCntSlice(from, to) {
    let line_cnt = 0;
    for (let i = from; i < to; i++) {
        if (ATE_LOOP_COUNT[i] == 0) {
            line_cnt += 1;
        }
        else {
            line_cnt += 2;
        }
    }
    return line_cnt;
}
class LineParser {
    static parse(from, to, lines) {
        let start = ateCntSlice(1, from);
        let toSlice = ateCntSlice(from, to);
        return lines.slice(start, start + toSlice);
    }
    static frobenius_lines(lines) {
        return lines.slice(-2);
    }
}
export { LineParser };
//# sourceMappingURL=line_parser.js.map