UNPKG

@nori-zk/proof-conversion

Version:

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

9 lines (8 loc) • 410 B
1
2
3
4
5
6
7
8
9
import { G1Affine } from '../../ec/index.js'; import { Fp12 } from '../../towers/index.js'; declare const get_shift_power: () => import("node_modules/o1js/dist/node/lib/provable/field.js").Field; declare const make_w27: () => Fp12; declare const make_c: () => Fp12; declare const make_A: () => G1Affine; declare const make_negB: () => G1Affine; export { get_shift_power, make_w27, make_c, make_A, make_negB };