@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
6 lines (5 loc) • 298 B
TypeScript
import { FrC } from '../towers/index.js';
import { Bytes } from 'o1js';
export declare function parsePublicInputs(programVk: string, piHex: string): [FrC, FrC];
export declare function parseDigestProvable(digest: Bytes): FrC;
export declare function parsePublicInputsProvable(piBytes: Bytes): FrC;