@nori-zk/proof-conversion
Version:
Verifying zkVM proofs inside o1js circuits, to generate Mina compatible proof
23 lines (22 loc) • 571 B
TypeScript
import { Fp12Type } from '../towers/fp12.js';
import { Risc0RawVk, Risc0Vk } from '../api/sp1/types.js';
export interface AuxWitnessWasm {
c: Fp12Type;
shift_power: string;
}
export interface Alpha {
x: string;
y: string;
}
export interface Beta {
x_c0: string;
x_c1: string;
y_c0: string;
y_c1: string;
}
export interface AlphaBetaWasm {
alpha: Alpha;
beta: Beta;
}
export declare function computeAuxWitness(f12: Fp12Type): AuxWitnessWasm;
export declare function makeAlphaBeta(raw_vk: Risc0RawVk, input: AlphaBetaWasm): Risc0Vk;