@nori-zk/proof-conversion/build/src/plonk/vk_1.0.8.d.ts

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

import { FpC, FrC } from '../towers/index.js';
type Sp1PlonkVk = {
    pub_inputs: FrC;
    domain_size: number[];
    inv_domain_size: FrC;
    g1_gen_x: FpC;
    g1_gen_y: FpC;
    omega: FrC;
    ql_x: FpC;
    ql_y: FpC;
    qr_x: FpC;
    qr_y: FpC;
    qm_x: FpC;
    qm_y: FpC;
    qo_x: FpC;
    qo_y: FpC;
    qk_x: FpC;
    qk_y: FpC;
    qs1_x: FpC;
    qs1_y: FpC;
    qs2_x: FpC;
    qs2_y: FpC;
    qs3_x: FpC;
    qs3_y: FpC;
    coset_shift: FrC;
    qcp_0_x: FpC;
    qcp_0_y: FpC;
    index_commit_api_0: FrC;
    num_custom_gates: FrC;
    omega_pow_i: FrC;
    omega_pow_i_div_n: FrC;
};
declare const VK: Sp1PlonkVk;
export { Sp1PlonkVk, VK };