@nori-zk/proof-conversion/build/src/plonk/piop/plonk_utils.d.ts

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

import { FpC, FrC } from '../../towers/index.js';
import { Sp1PlonkVk } from '../vk.js';
import { Sp1PlonkProof } from '../proof.js';
export declare function evalVanishing(zeta: FrC, vk: Sp1PlonkVk): [FrC, FrC];
export declare function pi_contribution(pub_inputs: FrC[], zeta: FrC, zh_eval: FrC, domain_inv: FrC, w: FrC): FrC;
export declare function compute_alpha_square_lagrange_0(zh_eval: FrC, zeta: FrC, alpha: FrC, vk: Sp1PlonkVk): FrC;
export declare function fold_quotient(h0_x: FpC, h0_y: FpC, h1_x: FpC, h1_y: FpC, h2_x: FpC, h2_y: FpC, zeta: FrC, zeta_pow_n: FrC, zh_eval: FrC): [FpC, FpC];
export declare function fold_quotient_split_0(h0_x: FpC, h0_y: FpC, h1_x: FpC, h1_y: FpC, h2_x: FpC, h2_y: FpC, zeta: FrC, zeta_pow_n: FrC): [FpC, FpC];
export declare function fold_quotient_split_1(fold_quotient_x: FpC, fold_quotient_y: FpC, zh_eval: FrC): [FpC, FpC];
export declare function customPiLagrange(zeta: FrC, zh_eval: FrC, x: FpC, y: FpC, vk: Sp1PlonkVk): FrC;
export declare function opening_of_linearized_polynomial(proof: Sp1PlonkProof, alpha: FrC, beta: FrC, gamma: FrC, pi: FrC, alpha_2_lagrange_0: FrC): FrC;
export declare function compute_commitment_linearized_polynomial(vk: Sp1PlonkVk, proof: Sp1PlonkProof, alpha: FrC, beta: FrC, gamma: FrC, zeta: FrC, alpha_2_lagrange_0: FrC, fold_quotient_x: FpC, fold_quotient_y: FpC): [FpC, FpC];
export declare function compute_commitment_linearized_polynomial_split_0(proof: Sp1PlonkProof, vk: Sp1PlonkVk): [FpC, FpC];
export declare function compute_commitment_linearized_polynomial_split_1(lcm_x: FpC, lcm_y: FpC, proof: Sp1PlonkProof, vk: Sp1PlonkVk, beta: FrC, gamma: FrC, alpha: FrC): [FpC, FpC];
export declare function compute_commitment_linearized_polynomial_split_2(lcm_x: FpC, lcm_y: FpC, proof: Sp1PlonkProof, vk: Sp1PlonkVk, beta: FrC, gamma: FrC, alpha: FrC, zeta: FrC, alpha_2_lagrange_0: FrC, fold_quotient_x: FpC, fold_quotient_y: FpC): [FpC, FpC];
export declare function fold_state(vk: Sp1PlonkVk, proof: Sp1PlonkProof, lcm_x: FpC, lcm_y: FpC, lcm_opening: FrC, gamma_kzg: FrC): [FpC, FpC, FrC];
export declare function fold_state_0(proof: Sp1PlonkProof, lcm_x: FpC, lcm_y: FpC, lcm_opening: FrC, gamma_kzg: FrC): [FpC, FpC, FrC];
export declare function fold_state_1(vk: Sp1PlonkVk, proof: Sp1PlonkProof, cm_x: FpC, cm_y: FpC, gamma_kzg: FrC): [FpC, FpC];
export declare function fold_state_2(vk: Sp1PlonkVk, proof: Sp1PlonkProof, cm_x: FpC, cm_y: FpC, gamma_kzg: FrC): [FpC, FpC];
export declare function preparePairing(vk: Sp1PlonkVk, proof: Sp1PlonkProof, random: FrC, cm_x: FpC, cm_y: FpC, cm_opening: FrC, zeta: FrC): [FpC, FpC, FpC, FpC];
export declare function preparePairing_0(vk: Sp1PlonkVk, proof: Sp1PlonkProof, random: FrC, cm_x: FpC, cm_y: FpC, cm_opening: FrC): [FpC, FpC, FpC, FpC];
export declare function preparePairing_1(vk: Sp1PlonkVk, proof: Sp1PlonkProof, random: FrC, folded_cm_x: FpC, folded_cm_y: FpC, zeta: FrC): [FpC, FpC];