UNPKG

@nori-zk/proof-conversion

Version:

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

5 lines (4 loc) • 190 B
1
2
3
4
5
import { GrothVk } from './vk.js'; import { FrC } from '../towers/fr.js'; import { ForeignCurve } from 'o1js'; export declare function computePI(VK: GrothVk, pis: Array<FrC>): ForeignCurve;