UNPKG

@nori-zk/proof-conversion

Version:

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

4 lines (3 loc) • 409 B
1
2
3
4
import { Risc0Groth16Vk, Risc0Groth16PairedVk } from '../api/risc0/schema.js'; export { compute_aux_witness as computeAuxWitness, convert_sp1_groth16_to_o1js as convertSp1Groth16ToO1js, convert_snarkjs_groth16_to_o1js as convertSnarkjsGroth16ToO1js, } from '@nori-zk/proof-conversion-utils'; export declare const computeRisc0Groth16Pairing: ({ alpha, beta, ...rest }: Risc0Groth16Vk) => Risc0Groth16PairedVk;