/* tslint:disable */
/* eslint-disable */
/**
* @param {string} s
* @param {number} _len
* @param {number} base
* @returns {Uint8Array}
*/
export function caml_bigint_256_of_numeral(s: string, _len: number, base: number): Uint8Array;
/**
* @param {string} s
* @returns {Uint8Array}
*/
export function caml_bigint_256_of_decimal_string(s: string): Uint8Array;
/**
* @returns {number}
*/
export function caml_bigint_256_num_limbs(): number;
/**
* @returns {number}
*/
export function caml_bigint_256_bytes_per_limb(): number;
/**
* @param {Uint8Array} x
* @param {Uint8Array} y
* @returns {Uint8Array}
*/
export function caml_bigint_256_div(x: Uint8Array, y: Uint8Array): Uint8Array;
/**
* @param {Uint8Array} x
* @param {Uint8Array} y
* @returns {number}
*/
export function caml_bigint_256_compare(x: Uint8Array, y: Uint8Array): number;
/**
* @param {Uint8Array} x
* @param {number} i
* @returns {boolean}
*/
export function caml_bigint_256_test_bit(x: Uint8Array, i: number): boolean;
/**
* @param {Uint8Array} x
* @returns {Uint8Array}
*/
export function caml_bigint_256_to_bytes(x: Uint8Array): Uint8Array;
/**
* @param {Uint8Array} x
* @returns {Uint8Array}
*/
export function caml_bigint_256_of_bytes(x: Uint8Array): Uint8Array;
/**
* @param {Uint8Array} x
* @returns {Uint8Array}
*/
export function caml_bigint_256_deep_copy(x: Uint8Array): Uint8Array;
/**
* @returns {WasmGPallas}
*/
export function caml_pallas_affine_one(): WasmGPallas;
/**
* @returns {WasmGVesta}
*/
export function caml_vesta_affine_one(): WasmGVesta;
/**
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_one(): WasmVestaGProjective;
/**
* @param {WasmVestaGProjective} x
* @param {WasmVestaGProjective} y
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_add(x: WasmVestaGProjective, y: WasmVestaGProjective): WasmVestaGProjective;
/**
* @param {WasmVestaGProjective} x
* @param {WasmVestaGProjective} y
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_sub(x: WasmVestaGProjective, y: WasmVestaGProjective): WasmVestaGProjective;
/**
* @param {WasmVestaGProjective} x
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_negate(x: WasmVestaGProjective): WasmVestaGProjective;
/**
* @param {WasmVestaGProjective} x
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_double(x: WasmVestaGProjective): WasmVestaGProjective;
/**
* @param {WasmVestaGProjective} x
* @param {Uint8Array} y
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_scale(x: WasmVestaGProjective, y: Uint8Array): WasmVestaGProjective;
/**
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_random(): WasmVestaGProjective;
/**
* @param {number} i
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_rng(i: number): WasmVestaGProjective;
/**
* @returns {Uint8Array}
*/
export function caml_vesta_endo_base(): Uint8Array;
/**
* @returns {Uint8Array}
*/
export function caml_vesta_endo_scalar(): Uint8Array;
/**
* @param {WasmVestaGProjective} x
* @returns {WasmGVesta}
*/
export function caml_vesta_to_affine(x: WasmVestaGProjective): WasmGVesta;
/**
* @param {WasmGVesta} x
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_of_affine(x: WasmGVesta): WasmVestaGProjective;
/**
* @param {Uint8Array} x
* @param {Uint8Array} y
* @returns {WasmVestaGProjective}
*/
export function caml_vesta_of_affine_coordinates(x: Uint8Array, y: Uint8Array): WasmVestaGProjective;
/**
* @param {WasmGVesta} x
* @returns {WasmGVesta}
*/
export function caml_vesta_affine_deep_copy(x: WasmGVesta): WasmGVesta;
/**
* @param {number} depth
* @returns {WasmFpSrs}
*/
export function caml_fp_srs_create(depth: number): WasmFpSrs;
/**
* @param {WasmFpSrs} srs
* @param {number} log2_size
*/
export function caml_fp_srs_add_lagrange_basis(srs: WasmFpSrs, log2_size: number): void;
/**
* @param {boolean | undefined} append
* @param {WasmFpSrs} srs
* @param {string} path
*/
export function caml_fp_srs_write(append: boolean | undefined, srs: WasmFpSrs, path: string): void;
/**
* @param {number | undefined} offset
* @param {string} path
* @returns {WasmFpSrs | undefined}
*/
export function caml_fp_srs_read(offset: number | undefined, path: string): WasmFpSrs | undefined;
/**
* @param {WasmFpSrs} srs
* @param {number} domain_size
* @returns {number}
*/
export function caml_fp_srs_lagrange_commitments_whole_domain_ptr(srs: WasmFpSrs, domain_size: number): number;
/**
* Reads the lagrange commitments from a raw pointer.
*
* # Safety
*
* This function is unsafe because it might dereference a
* raw pointer.
* @param {number} ptr
* @returns {Uint32Array}
*/
export function caml_fp_srs_lagrange_commitments_whole_domain_read_from_ptr(ptr: number): Uint32Array;
/**
* @param {WasmFpSrs} srs
* @param {number} domain_size
* @param {number} i
* @returns {WasmFpPolyComm}
*/
export function caml_fp_srs_lagrange_commitment(srs: WasmFpSrs, domain_size: number, i: number): WasmFpPolyComm;
/**
* @param {WasmFpSrs} srs
* @param {number} domain_size
* @param {Uint8Array} evals
* @returns {WasmFpPolyComm}
*/
export function caml_fp_srs_commit_evaluations(srs: WasmFpSrs, domain_size: number, evals: Uint8Array): WasmFpPolyComm;
/**
* @param {WasmFpSrs} srs
* @param {Uint8Array} chals
* @returns {WasmFpPolyComm}
*/
export function caml_fp_srs_b_poly_commitment(srs: WasmFpSrs, chals: Uint8Array): WasmFpPolyComm;
/**
* @param {WasmFpSrs} srs
* @param {Uint32Array} comms
* @param {Uint8Array} chals
* @returns {boolean}
*/
export function caml_fp_srs_batch_accumulator_check(srs: WasmFpSrs, comms: Uint32Array, chals: Uint8Array): boolean;
/**
* @param {WasmFpSrs} srs
* @param {number} comms
* @param {Uint8Array} chals
* @returns {Uint32Array}
*/
export function caml_fp_srs_batch_accumulator_generate(srs: WasmFpSrs, comms: number, chals: Uint8Array): Uint32Array;
/**
* @param {WasmFpSrs} srs
* @returns {WasmGVesta}
*/
export function caml_fp_srs_h(srs: WasmFpSrs): WasmGVesta;
/**
* @param {number} depth
* @returns {WasmFpSrs}
*/
export function caml_fp_srs_create_parallel(depth: number): WasmFpSrs;
/**
* @param {WasmFpSrs} srs
* @returns {Uint32Array}
*/
export function caml_fp_srs_get(srs: WasmFpSrs): Uint32Array;
/**
* @param {Uint32Array} h_and_gs
* @returns {WasmFpSrs}
*/
export function caml_fp_srs_set(h_and_gs: Uint32Array): WasmFpSrs;
/**
* @param {WasmFpSrs} srs
* @param {number} domain_size
* @param {number} i
* @returns {WasmFpPolyComm | undefined}
*/
export function caml_fp_srs_maybe_lagrange_commitment(srs: WasmFpSrs, domain_size: number, i: number): WasmFpPolyComm | undefined;
/**
* @param {WasmFpSrs} srs
* @param {number} domain_size
* @param {Uint32Array} input_bases
*/
export function caml_fp_srs_set_lagrange_basis(srs: WasmFpSrs, domain_size: number, input_bases: Uint32Array): void;
/**
* @param {WasmFpSrs} srs
* @param {number} domain_size
* @returns {Uint32Array}
*/
export function caml_fp_srs_get_lagrange_basis(srs: WasmFpSrs, domain_size: number): Uint32Array;
/**
* @param {WasmFpGateVector} gates
* @param {number} public_
* @param {Uint32Array} lookup_tables
* @param {Uint32Array} runtime_table_cfgs
* @param {number} prev_challenges
* @param {WasmFpSrs} srs
* @param {boolean} lazy_mode
* @returns {WasmPastaFpPlonkIndex}
*/
export function caml_pasta_fp_plonk_index_create(gates: WasmFpGateVector, public_: number, lookup_tables: Uint32Array, runtime_table_cfgs: Uint32Array, prev_challenges: number, srs: WasmFpSrs, lazy_mode: boolean): WasmPastaFpPlonkIndex;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fp_plonk_index_max_degree(index: WasmPastaFpPlonkIndex): number;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fp_plonk_index_public_inputs(index: WasmPastaFpPlonkIndex): number;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fp_plonk_index_domain_d1_size(index: WasmPastaFpPlonkIndex): number;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fp_plonk_index_domain_d4_size(index: WasmPastaFpPlonkIndex): number;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fp_plonk_index_domain_d8_size(index: WasmPastaFpPlonkIndex): number;
/**
* @param {Uint8Array} bytes
* @param {WasmFpSrs} srs
* @returns {WasmPastaFpPlonkIndex}
*/
export function caml_pasta_fp_plonk_index_decode(bytes: Uint8Array, srs: WasmFpSrs): WasmPastaFpPlonkIndex;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {Uint8Array}
*/
export function caml_pasta_fp_plonk_index_encode(index: WasmPastaFpPlonkIndex): Uint8Array;
/**
* @param {number | undefined} offset
* @param {WasmFpSrs} srs
* @param {string} path
* @returns {WasmPastaFpPlonkIndex}
*/
export function caml_pasta_fp_plonk_index_read(offset: number | undefined, srs: WasmFpSrs, path: string): WasmPastaFpPlonkIndex;
/**
* @param {boolean | undefined} append
* @param {WasmPastaFpPlonkIndex} index
* @param {string} path
*/
export function caml_pasta_fp_plonk_index_write(append: boolean | undefined, index: WasmPastaFpPlonkIndex, path: string): void;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {string}
*/
export function caml_pasta_fp_plonk_index_serialize(index: WasmPastaFpPlonkIndex): string;
/**
* @param {WasmFqGateVector} gates
* @param {number} public_
* @param {Uint32Array} lookup_tables
* @param {Uint32Array} runtime_table_cfgs
* @param {number} prev_challenges
* @param {WasmFqSrs} srs
* @param {boolean} lazy_mode
* @returns {WasmPastaFqPlonkIndex}
*/
export function caml_pasta_fq_plonk_index_create(gates: WasmFqGateVector, public_: number, lookup_tables: Uint32Array, runtime_table_cfgs: Uint32Array, prev_challenges: number, srs: WasmFqSrs, lazy_mode: boolean): WasmPastaFqPlonkIndex;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fq_plonk_index_max_degree(index: WasmPastaFqPlonkIndex): number;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fq_plonk_index_public_inputs(index: WasmPastaFqPlonkIndex): number;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fq_plonk_index_domain_d1_size(index: WasmPastaFqPlonkIndex): number;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fq_plonk_index_domain_d4_size(index: WasmPastaFqPlonkIndex): number;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {number}
*/
export function caml_pasta_fq_plonk_index_domain_d8_size(index: WasmPastaFqPlonkIndex): number;
/**
* @param {Uint8Array} bytes
* @param {WasmFqSrs} srs
* @returns {WasmPastaFqPlonkIndex}
*/
export function caml_pasta_fq_plonk_index_decode(bytes: Uint8Array, srs: WasmFqSrs): WasmPastaFqPlonkIndex;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {Uint8Array}
*/
export function caml_pasta_fq_plonk_index_encode(index: WasmPastaFqPlonkIndex): Uint8Array;
/**
* @param {number | undefined} offset
* @param {WasmFqSrs} srs
* @param {string} path
* @returns {WasmPastaFqPlonkIndex}
*/
export function caml_pasta_fq_plonk_index_read(offset: number | undefined, srs: WasmFqSrs, path: string): WasmPastaFqPlonkIndex;
/**
* @param {boolean | undefined} append
* @param {WasmPastaFqPlonkIndex} index
* @param {string} path
*/
export function caml_pasta_fq_plonk_index_write(append: boolean | undefined, index: WasmPastaFqPlonkIndex, path: string): void;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {string}
*/
export function caml_pasta_fq_plonk_index_serialize(index: WasmPastaFqPlonkIndex): string;
/**
* @param {number | undefined} offset
* @param {WasmFpSrs} srs
* @param {string} path
* @returns {WasmFpPlonkVerifierIndex}
*/
export function caml_pasta_fp_plonk_verifier_index_read(offset: number | undefined, srs: WasmFpSrs, path: string): WasmFpPlonkVerifierIndex;
/**
* @param {boolean | undefined} append
* @param {WasmFpPlonkVerifierIndex} index
* @param {string} path
*/
export function caml_pasta_fp_plonk_verifier_index_write(append: boolean | undefined, index: WasmFpPlonkVerifierIndex, path: string): void;
/**
* @param {WasmFpPlonkVerifierIndex} index
* @returns {string}
*/
export function caml_pasta_fp_plonk_verifier_index_serialize(index: WasmFpPlonkVerifierIndex): string;
/**
* @param {WasmFpSrs} srs
* @param {string} index
* @returns {WasmFpPlonkVerifierIndex}
*/
export function caml_pasta_fp_plonk_verifier_index_deserialize(srs: WasmFpSrs, index: string): WasmFpPlonkVerifierIndex;
/**
* @param {WasmPastaFpPlonkIndex} index
* @returns {WasmFpPlonkVerifierIndex}
*/
export function caml_pasta_fp_plonk_verifier_index_create(index: WasmPastaFpPlonkIndex): WasmFpPlonkVerifierIndex;
/**
* @param {number} log2_size
* @returns {WasmFpShifts}
*/
export function caml_pasta_fp_plonk_verifier_index_shifts(log2_size: number): WasmFpShifts;
/**
* @returns {WasmFpPlonkVerifierIndex}
*/
export function caml_pasta_fp_plonk_verifier_index_dummy(): WasmFpPlonkVerifierIndex;
/**
* @param {WasmFpPlonkVerifierIndex} x
* @returns {WasmFpPlonkVerifierIndex}
*/
export function caml_pasta_fp_plonk_verifier_index_deep_copy(x: WasmFpPlonkVerifierIndex): WasmFpPlonkVerifierIndex;
/**
* @param {number | undefined} offset
* @param {WasmFqSrs} srs
* @param {string} path
* @returns {WasmFqPlonkVerifierIndex}
*/
export function caml_pasta_fq_plonk_verifier_index_read(offset: number | undefined, srs: WasmFqSrs, path: string): WasmFqPlonkVerifierIndex;
/**
* @param {boolean | undefined} append
* @param {WasmFqPlonkVerifierIndex} index
* @param {string} path
*/
export function caml_pasta_fq_plonk_verifier_index_write(append: boolean | undefined, index: WasmFqPlonkVerifierIndex, path: string): void;
/**
* @param {WasmFqPlonkVerifierIndex} index
* @returns {string}
*/
export function caml_pasta_fq_plonk_verifier_index_serialize(index: WasmFqPlonkVerifierIndex): string;
/**
* @param {WasmFqSrs} srs
* @param {string} index
* @returns {WasmFqPlonkVerifierIndex}
*/
export function caml_pasta_fq_plonk_verifier_index_deserialize(srs: WasmFqSrs, index: string): WasmFqPlonkVerifierIndex;
/**
* @param {WasmPastaFqPlonkIndex} index
* @returns {WasmFqPlonkVerifierIndex}
*/
export function caml_pasta_fq_plonk_verifier_index_create(index: WasmPastaFqPlonkIndex): WasmFqPlonkVerifierIndex;
/**
* @param {number} log2_size
* @returns {WasmFqShifts}
*/
export function caml_pasta_fq_plonk_verifier_index_shifts(log2_size: number): WasmFqShifts;
/**
* @returns {WasmFqPlonkVerifierIndex}
*/
export function caml_pasta_fq_plonk_verifier_index_dummy(): WasmFqPlonkVerifierIndex;
/**
* @param {WasmFqPlonkVerifierIndex} x
* @returns {WasmFqPlonkVerifierIndex}
*/
export function caml_pasta_fq_plonk_verifier_index_deep_copy(x: WasmFqPlonkVerifierIndex): WasmFqPlonkVerifierIndex;
/**
* @param {Uint32Array} lgr_comm
* @param {WasmFqPlonkVerifierIndex} index
* @param {WasmFqProverProof} proof
* @returns {WasmFqOracles}
*/
export function fq_oracles_create(lgr_comm: Uint32Array, index: WasmFqPlonkVerifierIndex, proof: WasmFqProverProof): WasmFqOracles;
/**
* @returns {WasmFqOracles}
*/
export function fq_oracles_dummy(): WasmFqOracles;
/**
* @param {WasmFqProverProof} x
* @returns {WasmFqProverProof}
*/
export function fq_oracles_deep_copy(x: WasmFqProverProof): WasmFqProverProof;
/**
* @param {number} num_threads
* @returns {Promise<any>}
*/
export function initThreadPool(num_threads: number): Promise<any>;
/**
* @returns {Promise<any>}
*/
export function exitThreadPool(): Promise<any>;
/**
* @param {number} receiver
*/
export function wbg_rayon_start_worker(receiver: number): void;
/**
* @param {Uint32Array} lgr_comm
* @param {WasmFpPlonkVerifierIndex} index
* @param {WasmFpProverProof} proof
* @returns {WasmFpOracles}
*/
export function fp_oracles_create(lgr_comm: Uint32Array, index: WasmFpPlonkVerifierIndex, proof: WasmFpProverProof): WasmFpOracles;
/**
* @returns {WasmFpOracles}
*/
export function fp_oracles_dummy(): WasmFpOracles;
/**
* @param {WasmFpProverProof} x
* @returns {WasmFpProverProof}
*/
export function fp_oracles_deep_copy(x: WasmFpProverProof): WasmFpProverProof;
/**
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_one(): WasmPallasGProjective;
/**
* @param {WasmPallasGProjective} x
* @param {WasmPallasGProjective} y
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_add(x: WasmPallasGProjective, y: WasmPallasGProjective): WasmPallasGProjective;
/**
* @param {WasmPallasGProjective} x
* @param {WasmPallasGProjective} y
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_sub(x: WasmPallasGProjective, y: WasmPallasGProjective): WasmPallasGProjective;
/**
* @param {WasmPallasGProjective} x
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_negate(x: WasmPallasGProjective): WasmPallasGProjective;
/**
* @param {WasmPallasGProjective} x
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_double(x: WasmPallasGProjective): WasmPallasGProjective;
/**
* @param {WasmPallasGProjective} x
* @param {Uint8Array} y
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_scale(x: WasmPallasGProjective, y: Uint8Array): WasmPallasGProjective;
/**
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_random(): WasmPallasGProjective;
/**
* @param {number} i
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_rng(i: number): WasmPallasGProjective;
/**
* @returns {Uint8Array}
*/
export function caml_pallas_endo_base(): Uint8Array;
/**
* @returns {Uint8Array}
*/
export function caml_pallas_endo_scalar(): Uint8Array;
/**
* @param {WasmPallasGProjective} x
* @returns {WasmGPallas}
*/
export function caml_pallas_to_affine(x: WasmPallasGProjective): WasmGPallas;
/**
* @param {WasmGPallas} x
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_of_affine(x: WasmGPallas): WasmPallasGProjective;
/**
* @param {Uint8Array} x
* @param {Uint8Array} y
* @returns {WasmPallasGProjective}
*/
export function caml_pallas_of_affine_coordinates(x: Uint8Array, y: Uint8Array): WasmPallasGProjective;
/**
* @param {WasmGPallas} x
* @returns {WasmGPallas}
*/
export function caml_pallas_affine_deep_copy(x: WasmGPallas): WasmGPallas;
/**
* @param {Uint8Array} state
* @returns {Uint8Array}
*/
export function caml_pasta_fp_poseidon_block_cipher(state: Uint8Array): Uint8Array;
/**
* @param {Uint8Array} state
* @returns {Uint8Array}
*/
export function caml_pasta_fq_poseidon_block_cipher(state: Uint8Array): Uint8Array;
/**
* @param {string} s
*/
export function console_log(s: string): void;
/**
* @returns {number}
*/
export function create_zero_u32_ptr(): number;
/**
* Free a pointer. This method is exported in the WebAssembly module to be used
* on the JavaScript side, see `web-backend.js`.
*
* # Safety
*
* See
* `<https://rust-lang.github.io/rust-clippy/master/index.html#not_unsafe_ptr_arg_deref>`
* @param {number} ptr
*/
export function free_u32_ptr(ptr: number): void;
/**
* Set the value of a pointer. This method is exported in the WebAssembly
* module to be used on the JavaScript side, see `web-backend.js`.
*
* # Safety
*
* See
* `<https://rust-lang.github.io/rust-clippy/master/index.html#not_unsafe_ptr_arg_deref>`
* @param {number} ptr
* @param {number} arg
*/
export function set_u32_ptr(ptr: number, arg: number): void;
/**
* This method is exported in the WebAssembly to be used on the JavaScript
* side, see `web-backend.js`.
*
* # Safety
*
* See
* `<https://rust-lang.github.io/rust-clippy/master/index.html#not_unsafe_ptr_arg_deref>`
* @param {number} ptr
* @returns {number}
*/
export function wait_until_non_zero(ptr: number): number;
/**
* This method is exported in the WebAssembly to check the memory used on the
* JavaScript
* @returns {any}
*/
export function get_memory(): any;
/**
* Returns the number of bytes used by the WebAssembly memory.
* @returns {number}
*/
export function get_memory_byte_length(): number;
/**
* @returns {WasmFpGateVector}
*/
export function caml_pasta_fp_plonk_gate_vector_create(): WasmFpGateVector;
/**
* @param {WasmFpGateVector} v
* @param {WasmFpGate} gate
*/
export function caml_pasta_fp_plonk_gate_vector_add(v: WasmFpGateVector, gate: WasmFpGate): void;
/**
* @param {WasmFpGateVector} v
* @param {number} i
* @returns {WasmFpGate}
*/
export function caml_pasta_fp_plonk_gate_vector_get(v: WasmFpGateVector, i: number): WasmFpGate;
/**
* @param {WasmFpGateVector} v
* @returns {number}
*/
export function caml_pasta_fp_plonk_gate_vector_len(v: WasmFpGateVector): number;
/**
* @param {WasmFpGateVector} v
* @param {Wire} t
* @param {Wire} h
*/
export function caml_pasta_fp_plonk_gate_vector_wrap(v: WasmFpGateVector, t: Wire, h: Wire): void;
/**
* @param {number} public_input_size
* @param {WasmFpGateVector} v
* @returns {Uint8Array}
*/
export function caml_pasta_fp_plonk_gate_vector_digest(public_input_size: number, v: WasmFpGateVector): Uint8Array;
/**
* @param {number} public_input_size
* @param {WasmFpGateVector} v
* @returns {string}
*/
export function caml_pasta_fp_plonk_circuit_serialize(public_input_size: number, v: WasmFpGateVector): string;
/**
* @returns {WasmFqGateVector}
*/
export function caml_pasta_fq_plonk_gate_vector_create(): WasmFqGateVector;
/**
* @param {WasmFqGateVector} v
* @param {WasmFqGate} gate
*/
export function caml_pasta_fq_plonk_gate_vector_add(v: WasmFqGateVector, gate: WasmFqGate): void;
/**
* @param {WasmFqGateVector} v
* @param {number} i
* @returns {WasmFqGate}
*/
export function caml_pasta_fq_plonk_gate_vector_get(v: WasmFqGateVector, i: number): WasmFqGate;
/**
* @param {WasmFqGateVector} v
* @returns {number}
*/
export function caml_pasta_fq_plonk_gate_vector_len(v: WasmFqGateVector): number;
/**
* @param {WasmFqGateVector} v
* @param {Wire} t
* @param {Wire} h
*/
export function caml_pasta_fq_plonk_gate_vector_wrap(v: WasmFqGateVector, t: Wire, h: Wire): void;
/**
* @param {number} public_input_size
* @param {WasmFqGateVector} v
* @returns {Uint8Array}
*/
export function caml_pasta_fq_plonk_gate_vector_digest(public_input_size: number, v: WasmFqGateVector): Uint8Array;
/**
* @param {number} public_input_size
* @param {WasmFqGateVector} v
* @returns {string}
*/
export function caml_pasta_fq_plonk_circuit_serialize(public_input_size: number, v: WasmFqGateVector): string;
/**
* @param {number} depth
* @returns {WasmFqSrs}
*/
export function caml_fq_srs_create(depth: number): WasmFqSrs;
/**
* @param {WasmFqSrs} srs
* @param {number} log2_size
*/
export function caml_fq_srs_add_lagrange_basis(srs: WasmFqSrs, log2_size: number): void;
/**
* @param {boolean | undefined} append
* @param {WasmFqSrs} srs
* @param {string} path
*/
export function caml_fq_srs_write(append: boolean | undefined, srs: WasmFqSrs, path: string): void;
/**
* @param {number | undefined} offset
* @param {string} path
* @returns {WasmFqSrs | undefined}
*/
export function caml_fq_srs_read(offset: number | undefined, path: string): WasmFqSrs | undefined;
/**
* @param {WasmFqSrs} srs
* @param {number} domain_size
* @returns {number}
*/
export function caml_fq_srs_lagrange_commitments_whole_domain_ptr(srs: WasmFqSrs, domain_size: number): number;
/**
* Reads the lagrange commitments from a raw pointer.
*
* # Safety
*
* This function is unsafe because it might dereference a
* raw pointer.
* @param {number} ptr
* @returns {Uint32Array}
*/
export function caml_fq_srs_lagrange_commitments_whole_domain_read_from_ptr(ptr: number): Uint32Array;
/**
* @param {WasmFqSrs} srs
* @param {number} domain_size
* @param {number} i
* @returns {WasmFqPolyComm}
*/
export function caml_fq_srs_lagrange_commitment(srs: WasmFqSrs, domain_size: number, i: number): WasmFqPolyComm;
/**
* @param {WasmFqSrs} srs
* @param {number} domain_size
* @param {Uint8Array} evals
* @returns {WasmFqPolyComm}
*/
export function caml_fq_srs_commit_evaluations(srs: WasmFqSrs, domain_size: number, evals: Uint8Array): WasmFqPolyComm;
/**
* @param {WasmFqSrs} srs
* @param {Uint8Array} chals
* @returns {WasmFqPolyComm}
*/
export function caml_fq_srs_b_poly_commitment(srs: WasmFqSrs, chals: Uint8Array): WasmFqPolyComm;
/**
* @param {WasmFqSrs} srs
* @param {Uint32Array} comms
* @param {Uint8Array} chals
* @returns {boolean}
*/
export function caml_fq_srs_batch_accumulator_check(srs: WasmFqSrs, comms: Uint32Array, chals: Uint8Array): boolean;
/**
* @param {WasmFqSrs} srs
* @param {number} comms
* @param {Uint8Array} chals
* @returns {Uint32Array}
*/
export function caml_fq_srs_batch_accumulator_generate(srs: WasmFqSrs, comms: number, chals: Uint8Array): Uint32Array;
/**
* @param {WasmFqSrs} srs
* @returns {WasmGPallas}
*/
export function caml_fq_srs_h(srs: WasmFqSrs): WasmGPallas;
/**
* @param {number} depth
* @returns {WasmFqSrs}
*/
export function caml_fq_srs_create_parallel(depth: number): WasmFqSrs;
/**
* @param {WasmFqSrs} srs
* @returns {Uint32Array}
*/
export function caml_fq_srs_get(srs: WasmFqSrs): Uint32Array;
/**
* @param {Uint32Array} h_and_gs
* @returns {WasmFqSrs}
*/
export function caml_fq_srs_set(h_and_gs: Uint32Array): WasmFqSrs;
/**
* @param {WasmFqSrs} srs
* @param {number} domain_size
* @param {number} i
* @returns {WasmFqPolyComm | undefined}
*/
export function caml_fq_srs_maybe_lagrange_commitment(srs: WasmFqSrs, domain_size: number, i: number): WasmFqPolyComm | undefined;
/**
* @param {WasmFqSrs} srs
* @param {number} domain_size
* @param {Uint32Array} input_bases
*/
export function caml_fq_srs_set_lagrange_basis(srs: WasmFqSrs, domain_size: number, input_bases: Uint32Array): void;
/**
* @param {WasmFqSrs} srs
* @param {number} domain_size
* @returns {Uint32Array}
*/
export function caml_fq_srs_get_lagrange_basis(srs: WasmFqSrs, domain_size: number): Uint32Array;
/**
* @param {WasmPastaFpPlonkIndex} index
* @param {WasmVecVecFp} witness
* @param {Uint32Array} wasm_runtime_tables
* @param {Uint8Array} prev_challenges
* @param {Uint32Array} prev_sgs
* @returns {WasmFpProverProof}
*/
export function caml_pasta_fp_plonk_proof_create(index: WasmPastaFpPlonkIndex, witness: WasmVecVecFp, wasm_runtime_tables: Uint32Array, prev_challenges: Uint8Array, prev_sgs: Uint32Array): WasmFpProverProof;
/**
* @param {WasmFpPlonkVerifierIndex} index
* @param {WasmFpProverProof} proof
* @returns {boolean}
*/
export function caml_pasta_fp_plonk_proof_verify(index: WasmFpPlonkVerifierIndex, proof: WasmFpProverProof): boolean;
/**
* @param {Uint32Array} indexes
* @param {Uint32Array} proofs
* @returns {boolean}
*/
export function caml_pasta_fp_plonk_proof_batch_verify(indexes: Uint32Array, proofs: Uint32Array): boolean;
/**
* @returns {WasmFpProverProof}
*/
export function caml_pasta_fp_plonk_proof_dummy(): WasmFpProverProof;
/**
* @param {WasmFpProverProof} x
* @returns {WasmFpProverProof}
*/
export function caml_pasta_fp_plonk_proof_deep_copy(x: WasmFpProverProof): WasmFpProverProof;
/**
* @param {WasmPastaFqPlonkIndex} index
* @param {WasmVecVecFq} witness
* @param {Uint32Array} wasm_runtime_tables
* @param {Uint8Array} prev_challenges
* @param {Uint32Array} prev_sgs
* @returns {WasmFqProverProof}
*/
export function caml_pasta_fq_plonk_proof_create(index: WasmPastaFqPlonkIndex, witness: WasmVecVecFq, wasm_runtime_tables: Uint32Array, prev_challenges: Uint8Array, prev_sgs: Uint32Array): WasmFqProverProof;
/**
* @param {WasmFqPlonkVerifierIndex} index
* @param {WasmFqProverProof} proof
* @returns {boolean}
*/
export function caml_pasta_fq_plonk_proof_verify(index: WasmFqPlonkVerifierIndex, proof: WasmFqProverProof): boolean;
/**
* @param {Uint32Array} indexes
* @param {Uint32Array} proofs
* @returns {boolean}
*/
export function caml_pasta_fq_plonk_proof_batch_verify(indexes: Uint32Array, proofs: Uint32Array): boolean;
/**
* @returns {WasmFqProverProof}
*/
export function caml_pasta_fq_plonk_proof_dummy(): WasmFqProverProof;
/**
* @param {WasmFqProverProof} x
* @returns {WasmFqProverProof}
*/
export function caml_pasta_fq_plonk_proof_deep_copy(x: WasmFqProverProof): WasmFqProverProof;
/**
* @param {WasmPastaFpPlonkIndex} prover_index
* @returns {string}
*/
export function prover_to_json(prover_index: WasmPastaFpPlonkIndex): string;
/**
* The different types of gates the system supports.
* Note that all the gates are mutually exclusive:
* they cannot be used at the same time on single row.
* If we were ever to support this feature, we would have to make sure
* not to re-use powers of alpha across constraints.
*/
export enum GateType {
/**
* Zero gate
*/
  Zero = 0,
/**
* Generic arithmetic gate
*/
  Generic = 1,
/**
* Poseidon permutation gate
*/
  Poseidon = 2,
/**
* Complete EC addition in Affine form
*/
  CompleteAdd = 3,
/**
* EC variable base scalar multiplication
*/
  VarBaseMul = 4,
/**
* EC variable base scalar multiplication with group endomorphim optimization
*/
  EndoMul = 5,
/**
* Gate for computing the scalar corresponding to an endoscaling
*/
  EndoMulScalar = 6,
  Lookup = 7,
/**
* Cairo
*/
  CairoClaim = 8,
  CairoInstruction = 9,
  CairoFlags = 10,
  CairoTransition = 11,
/**
* Range check
*/
  RangeCheck0 = 12,
  RangeCheck1 = 13,
  ForeignFieldAdd = 14,
  ForeignFieldMul = 15,
  Xor16 = 16,
  Rot64 = 17,
}
/**
* A row accessible from a given row, corresponds to the fact that we open all polynomials
* at `zeta` **and** `omega * zeta`.
*/
export enum CurrOrNext {
  Curr = 0,
  Next = 1,
}
/**
* Flags for optional features in the constraint system
*/
export class FeatureFlags {
  free(): void;
/**
* Foreign field addition gate
*/
  foreign_field_add: boolean;
/**
* Foreign field multiplication gate
*/
  foreign_field_mul: boolean;
/**
* Lookup features
*/
  lookup_features: LookupFeatures;
/**
* RangeCheck0 gate
*/
  range_check0: boolean;
/**
* RangeCheck1 gate
*/
  range_check1: boolean;
/**
* ROT gate
*/
  rot: boolean;
/**
* XOR gate
*/
  xor: boolean;
}
/**
*/
export class LookupFeatures {
  free(): void;
/**
* @param {LookupPatterns} patterns
* @param {boolean} joint_lookup_used
* @param {boolean} uses_runtime_tables
*/
  constructor(patterns: LookupPatterns, joint_lookup_used: boolean, uses_runtime_tables: boolean);
/**
* Whether joint lookups are used
*/
  joint_lookup_used: boolean;
/**
* A single lookup constraint is a vector of lookup constraints to be applied at a row.
*/
  patterns: LookupPatterns;
/**
* True if runtime lookup tables are used.
*/
  uses_runtime_tables: boolean;
}
/**
* Describes the desired lookup configuration.
*/
export class LookupInfo {
  free(): void;
/**
* @param {number} max_per_row
* @param {number} max_joint_size
* @param {LookupFeatures} features
*/
  constructor(max_per_row: number, max_joint_size: number, features: LookupFeatures);
/**
* The features enabled for this lookup configuration
*/
  features: LookupFeatures;
/**
* The maximum joint size of any joint lookup in a constraint in `kinds`. This can be computed from `kinds`.
*/
  max_joint_size: number;
/**
* The maximum length of an element of `kinds`. This can be computed from `kinds`.
*/
  max_per_row: number;
}
/**
* Flags for each of the hard-coded lookup patterns.
*/
export class LookupPatterns {
  free(): void;
/**
* @param {boolean} xor
* @param {boolean} lookup
* @param {boolean} range_check
* @param {boolean} foreign_field_mul
*/
  constructor(xor: boolean, lookup: boolean, range_check: boolean, foreign_field_mul: boolean);
/**
*/
  foreign_field_mul: boolean;
/**
*/
  lookup: boolean;
/**
*/
  range_check: boolean;
/**
*/
  xor: boolean;
}
/**
*/
export class PoolBuilder {
  free(): void;
/**
* @returns {number}
*/
  numThreads(): number;
/**
* @returns {number}
*/
  receiver(): number;
/**
*/
  build(): void;
}
/**
*/
export class WasmFpDomain {
  free(): void;
/**
* @param {number} log_size_of_group
* @param {Uint8Array} group_gen
*/
  constructor(log_size_of_group: number, group_gen: Uint8Array);
/**
*/
  group_gen: Uint8Array;
/**
*/
  log_size_of_group: number;
}
/**
*/
export class WasmFpGate {
  free(): void;
/**
* @param {GateType} typ
* @param {WasmGateWires} wires
* @param {Uint8Array} coeffs
*/
  constructor(typ: GateType, wires: WasmGateWires, coeffs: Uint8Array);
/**
*/
  typ: GateType;
/**
*/
  wires: WasmGateWires;
}
/**
*/
export class WasmFpGateVector {
  free(): void;
}
/**
*/
export class WasmFpLookupCommitments {
  free(): void;
/**
* @param {Uint32Array} sorted
* @param {WasmFpPolyComm} aggreg
* @param {WasmFpPolyComm | undefined} [runtime]
*/
  constructor(sorted: Uint32Array, aggreg: WasmFpPolyComm, runtime?: WasmFpPolyComm);
/**
*/
  aggreg: WasmFpPolyComm;
/**
*/
  runtime?: WasmFpPolyComm;
/**
*/
  sorted: Uint32Array;
}
/**
*/
export class WasmFpLookupSelectors {
  free(): void;
/**
* @param {WasmFpPolyComm | undefined} [xor]
* @param {WasmFpPolyComm | undefined} [lookup]
* @param {WasmFpPolyComm | undefined} [range_check]
* @param {WasmFpPolyComm | undefined} [ffmul]
*/
  constructor(xor?: WasmFpPolyComm, lookup?: WasmFpPolyComm, range_check?: WasmFpPolyComm, ffmul?: WasmFpPolyComm);
/**
*/
  ffmul?: WasmFpPolyComm;
/**
*/
  lookup?: WasmFpPolyComm;
/**
*/
  range_check?: WasmFpPolyComm;
/**
*/
  xor?: WasmFpPolyComm;
}
/**
*/
export class WasmFpLookupVerifierIndex {
  free(): void;
/**
* @param {boolean} joint_lookup_used
* @param {Uint32Array} lookup_table
* @param {WasmFpLookupSelectors} lookup_selectors
* @param {WasmFpPolyComm | undefined} table_ids
* @param {LookupInfo} lookup_info
* @param {WasmFpPolyComm | undefined} [runtime_tables_selector]
*/
  constructor(joint_lookup_used: boolean, lookup_table: Uint32Array, lookup_selectors: WasmFpLookupSelectors, table_ids: WasmFpPolyComm | undefined, lookup_info: LookupInfo, runtime_tables_selector?: WasmFpPolyComm);
/**
*/
  joint_lookup_used: boolean;
/**
*/
  lookup_info: LookupInfo;
/**
*/
  lookup_selectors: WasmFpLookupSelectors;
/**
*/
  lookup_table: Uint32Array;
/**
*/
  runtime_tables_selector?: WasmFpPolyComm;
/**
*/
  table_ids?: WasmFpPolyComm;
}
/**
*/
export class WasmFpOpeningProof {
  free(): void;
/**
* @param {Uint32Array} lr_0
* @param {Uint32Array} lr_1
* @param {WasmGVesta} delta
* @param {Uint8Array} z1
* @param {Uint8Array} z2
* @param {WasmGVesta} sg
*/
  constructor(lr_0: Uint32Array, lr_1: Uint32Array, delta: WasmGVesta, z1: Uint8Array, z2: Uint8Array, sg: WasmGVesta);
/**
*/
  delta: WasmGVesta;
/**
*/
  lr_0: Uint32Array;
/**
*/
  lr_1: Uint32Array;
/**
*/
  sg: WasmGVesta;
/**
*/
  z1: Uint8Array;
/**
*/
  z2: Uint8Array;
}
/**
*/
export class WasmFpOracles {
  free(): void;
/**
* @param {WasmFpRandomOracles} o
* @param {Uint8Array} p_eval0
* @param {Uint8Array} p_eval1
* @param {Uint8Array} opening_prechallenges
* @param {Uint8Array} digest_before_evaluations
*/
  constructor(o: WasmFpRandomOracles, p_eval0: Uint8Array, p_eval1: Uint8Array, opening_prechallenges: Uint8Array, digest_before_evaluations: Uint8Array);
/**
*/
  digest_before_evaluations: Uint8Array;
/**
*/
  o: WasmFpRandomOracles;
/**
*/
  opening_prechallenges: Uint8Array;
/**
*/
  p_eval0: Uint8Array;
/**
*/
  p_eval1: Uint8Array;
}
/**
*/
export class WasmFpPlonkVerificationEvals {
  free(): void;
/**
* @param {Uint32Array} sigma_comm
* @param {Uint32Array} coefficients_comm
* @param {WasmFpPolyComm} generic_comm
* @param {WasmFpPolyComm} psm_comm
* @param {WasmFpPolyComm} complete_add_comm
* @param {WasmFpPolyComm} mul_comm
* @param {WasmFpPolyComm} emul_comm
* @param {WasmFpPolyComm} endomul_scalar_comm
* @param {WasmFpPolyComm | undefined} [xor_comm]
* @param {WasmFpPolyComm | undefined} [range_check0_comm]
* @param {WasmFpPolyComm | undefined} [range_check1_comm]
* @param {WasmFpPolyComm | undefined} [foreign_field_add_comm]
* @param {WasmFpPolyComm | undefined} [foreign_field_mul_comm]
* @param {WasmFpPolyComm | undefined} [rot_comm]
*/
  constructor(sigma_comm: Uint32Array, coefficients_comm: Uint32Array, generic_comm: WasmFpPolyComm, psm_comm: WasmFpPolyComm, complete_add_comm: WasmFpPolyComm, mul_comm: WasmFpPolyComm, emul_comm: WasmFpPolyComm, endomul_scalar_comm: WasmFpPolyComm, xor_comm?: WasmFpPolyComm, range_check0_comm?: WasmFpPolyComm, range_check1_comm?: WasmFpPolyComm, foreign_field_add_comm?: WasmFpPolyComm, foreign_field_mul_comm?: WasmFpPolyComm, rot_comm?: WasmFpPolyComm);
/**
*/
  coefficients_comm: Uint32Array;
/**
*/
  complete_add_comm: WasmFpPolyComm;
/**
*/
  emul_comm: WasmFpPolyComm;
/**
*/
  endomul_scalar_comm: WasmFpPolyComm;
/**
*/
  foreign_field_add_comm?: WasmFpPolyComm;
/**
*/
  foreign_field_mul_comm?: WasmFpPolyComm;
/**
*/
  generic_comm: WasmFpPolyComm;
/**
*/
  mul_comm: WasmFpPolyComm;
/**
*/
  psm_comm: WasmFpPolyComm;
/**
*/
  range_check0_comm?: WasmFpPolyComm;
/**
*/
  range_check1_comm?: WasmFpPolyComm;
/**
*/
  rot_comm?: WasmFpPolyComm;
/**
*/
  sigma_comm: Uint32Array;
/**
*/
  xor_comm?: WasmFpPolyComm;
}
/**
*/
export class WasmFpPlonkVerifierIndex {
  free(): void;
/**
* @param {WasmFpDomain} domain
* @param {number} max_poly_size
* @param {number} public_
* @param {number} prev_challenges
* @param {WasmFpSrs} srs
* @param {WasmFpPlonkVerificationEvals} evals
* @param {WasmFpShifts} shifts
* @param {WasmFpLookupVerifierIndex | undefined} lookup_index
* @param {number} zk_rows
*/
  constructor(domain: WasmFpDomain, max_poly_size: number, public_: number, prev_challenges: number, srs: WasmFpSrs, evals: WasmFpPlonkVerificationEvals, shifts: WasmFpShifts, lookup_index: WasmFpLookupVerifierIndex | undefined, zk_rows: number);
/**
*/
  domain: WasmFpDomain;
/**
*/
  evals: WasmFpPlonkVerificationEvals;
/**
*/
  lookup_index?: WasmFpLookupVerifierIndex;
/**
*/
  max_poly_size: number;
/**
*/
  prev_challenges: number;
/**
*/
  public_: number;
/**
*/
  shifts: WasmFpShifts;
/**
*/
  srs: WasmFpSrs;
/**
*/
  zk_rows: number;
}
/**
*/
export class WasmFpPolyComm {
  free(): void;
/**
* @param {Uint32Array} unshifted
* @param {WasmGVesta | undefined} [shifted]
*/
  constructor(unshifted: Uint32Array, shifted?: WasmGVesta);
/**
*/
  shifted?: WasmGVesta;
/**
*/
  unshifted: Uint32Array;
}
/**
*/
export class WasmFpProverCommitments {
  free(): void;
/**
* @param {Uint32Array} w_comm
* @param {WasmFpPolyComm} z_comm
* @param {WasmFpPolyComm} t_comm
* @param {WasmFpLookupCommitments | undefined} [lookup]
*/
  constructor(w_comm: Uint32Array, z_comm: WasmFpPolyComm, t_comm: WasmFpPolyComm, lookup?: WasmFpLookupCommitments);
/**
*/
  lookup?: WasmFpLookupCommitments;
/**
*/
  t_comm: WasmFpPolyComm;
/**
*/
  w_comm: Uint32Array;
/**
*/
  z_comm: WasmFpPolyComm;
}
/**
*/
export class WasmFpProverProof {
  free(): void;
/**
* @param {WasmFpProverCommitments} commitments
* @param {WasmFpOpeningProof} proof
* @param {any} evals
* @param {Uint8Array} ft_eval1
* @param {Uint8Array} public_
* @param {WasmVecVecFp} prev_challenges_scalars
* @param {Uint32Array} prev_challenges_comms
*/
  constructor(commitments: WasmFpProverCommitments, proof: WasmFpOpeningProof, evals: any, ft_eval1: Uint8Array, public_: Uint8Array, prev_challenges_scalars: WasmVecVecFp, prev_challenges_comms: Uint32Array);
/**
* @returns {string}
*/
  serialize(): string;
/**
* @param {Uint8Array} bytes
* @returns {WasmFpProverProof}
*/
  static deserialize(bytes: Uint8Array): WasmFpProverProof;
/**
*/
  commitments: WasmFpProverCommitments;
/**
*/
  evals: any;
/**
*/
  ft_eval1: Uint8Array;
/**
*/
  prev_challenges_comms: Uint32Array;
/**
*/
  prev_challenges_scalars: WasmVecVecFp;
/**
*/
  proof: WasmFpOpeningProof;
/**
*/
  public_: Uint8Array;
}
/**
*/
export class WasmFpRandomOracles {
  free(): void;
/**
* @param {Uint8Array | undefined} joint_combiner_chal
* @param {Uint8Array | undefined} joint_combiner
* @param {Uint8Array} beta
* @param {Uint8Array} gamma
* @param {Uint8Array} alpha_chal
* @param {Uint8Array} alpha
* @param {Uint8Array} zeta
* @param {Uint8Array} v
* @param {Uint8Array} u
* @param {Uint8Array} zeta_chal
* @param {Uint8Array} v_chal
* @param {Uint8Array} u_chal
*/
  constructor(joint_combiner_chal: Uint8Array | undefined, joint_combiner: Uint8Array | undefined, beta: Uint8Array, gamma: Uint8Array, alpha_chal: Uint8Array, alpha: Uint8Array, zeta: Uint8Array, v: Uint8Array, u: Uint8Array, zeta_chal: Uint8Array, v_chal: Uint8Array, u_chal: Uint8Array);
/**
*/
  alpha: Uint8Array;
/**
*/
  alpha_chal: Uint8Array;
/**
*/
  beta: Uint8Array;
/**
*/
  gamma: Uint8Array;
/**
*/
  joint_combiner?: Uint8Array;
/**
*/
  joint_combiner_chal?: Uint8Array;
/**
*/
  u: Uint8Array;
/**
*/
  u_chal: Uint8Array;
/**
*/
  v: Uint8Array;
/**
*/
  v_chal: Uint8Array;
/**
*/
  zeta: Uint8Array;
/**
*/
  zeta_chal: Uint8Array;
}
/**
*/
export class WasmFpRuntimeTable {
  free(): void;
/**
* @param {number} id
* @param {Uint8Array} data
*/
  constructor(id: number, data: Uint8Array);
}
/**
*/
export class WasmFpShifts {
  free(): void;
/**
* @param {Uint8Array} s0
* @param {Uint8Array} s1
* @param {Uint8Array} s2
* @param {Uint8Array} s3
* @param {Uint8Array} s4
* @param {Uint8Array} s5
* @param {Uint8Array} s6
*/
  constructor(s0: Uint8Array, s1: Uint8Array, s2: Uint8Array, s3: Uint8Array, s4: Uint8Array, s5: Uint8Array, s6: Uint8Array);
/**
*/
  s0: Uint8Array;
/**
*/
  s1: Uint8Array;
/**
*/
  s2: Uint8Array;
/**
*/
  s3: Uint8Array;
/**
*/
  s4: Uint8Array;
/**
*/
  s5: Uint8Array;
/**
*/
  s6: Uint8Array;
}
/**
*/
export class WasmFpSrs {
  free(): void;
}
/**
*/
export class WasmFqDomain {
  free(): void;
/**
* @param {number} log_size_of_group
* @param {Uint8Array} group_gen
*/
  constructor(log_size_of_group: number, group_gen: Uint8Array);
/**
*/
  group_gen: Uint8Array;
/**
*/
  log_size_of_group: number;
}
/**
*/
export class WasmFqGate {
  free(): void;
/**
* @param {GateType} typ
* @param {WasmGateWires} wires
* @param {Uint8Array} coeffs
*/
  constructor(typ: GateType, wires: WasmGateWires, coeffs: Uint8Array);
/**
*/
  typ: GateType;
/**
*/
  wires: WasmGateWires;
}
/**
*/
export class WasmFqGateVector {
  free(): void;
}
/**
*/
export class WasmFqLookupCommitments {
  free(): void;
/**
* @param {Uint32Array} sorted
* @param {WasmFqPolyComm} aggreg
* @param {WasmFqPolyComm | undefined} [runtime]
*/
  constructor(sorted: Uint32Array, aggreg: WasmFqPolyComm, runtime?: WasmFqPolyComm);
/**
*/
  aggreg: WasmFqPolyComm;
/**
*/
  runtime?: WasmFqPolyComm;
/**
*/
  sorted: Uint32Array;
}
/**
*/
export class WasmFqLookupSelectors {
  free(): void;
/**
* @param {WasmFqPolyComm | undefined} [xor]
* @param {WasmFqPolyComm | undefined} [lookup]
* @param {WasmFqPolyComm | undefined} [range_check]
* @param {WasmFqPolyComm | undefined} [ffmul]
*/
  constructor(xor?: WasmFqPolyComm, lookup?: WasmFqPolyComm, range_check?: WasmFqPolyComm, ffmul?: WasmFqPolyComm);
/**
*/
  ffmul?: WasmFqPolyComm;
/**
*/
  lookup?: WasmFqPolyComm;
/**
*/
  range_check?: WasmFqPolyComm;
/**
*/
  xor?: WasmFqPolyComm;
}
/**
*/
export class WasmFqLookupVerifierIndex {
  free(): void;
/**
* @param {boolean} joint_lookup_used
* @param {Uint32Array} lookup_table
* @param {WasmFqLookupSelectors} lookup_selectors
* @param {WasmFqPolyComm | undefined} table_ids
* @param {LookupInfo} lookup_info
* @param {WasmFqPolyComm | undefined} [runtime_tables_selector]
*/
  constructor(joint_lookup_used: boolean, lookup_table: Uint32Array, lookup_selectors: WasmFqLookupSelectors, table_ids: WasmFqPolyComm | undefined, lookup_info: LookupInfo, runtime_tables_selector?: WasmFqPolyComm);
/**
*/
  joint_lookup_used: boolean;
/**
*/
  lookup_info: LookupInfo;
/**
*/
  lookup_selectors: WasmFqLookupSelectors;
/**
*/
  lookup_table: Uint32Array;
/**
*/
  runtime_tables_selector?: WasmFqPolyComm;
/**
*/
  table_ids?: WasmFqPolyComm;
}
/**
*/
export class WasmFqOpeningProof {
  free(): void;
/**
* @param {Uint32Array} lr_0
* @param {Uint32Array} lr_1
* @param {WasmGPallas} delta
* @param {Uint8Array} z1
* @param {Uint8Array} z2
* @param {WasmGPallas} sg
*/
  constructor(lr_0: Uint32Array, lr_1: Uint32Array, delta: WasmGPallas, z1: Uint8Array, z2: Uint8Array, sg: WasmGPallas);
/**
*/
  delta: WasmGPallas;
/**
*/
  lr_0: Uint32Array;
/**
*/
  lr_1: Uint32Array;
/**
*/
  sg: WasmGPallas;
/**
*/
  z1: Uint8Array;
/**
*/
  z2: Uint8Array;
}
/**
*/
export class WasmFqOracles {
  free(): void;
/**
* @param {WasmFqRandomOracles} o
* @param {Uint8Array} p_eval0
* @param {Uint8Array} p_eval1
* @param {Uint8Array} opening_prechallenges
* @param {Uint8Array} digest_before_evaluations
*/
  constructor(o: WasmFqRandomOracles, p_eval0: Uint8Array, p_eval1: Uint8Array, opening_prechallenges: Uint8Array, digest_before_evaluations: Uint8Array);
/**
*/
  digest_before_evaluations: Uint8Array;
/**
*/
  o: WasmFqRandomOracles;
/**
*/
  opening_prechallenges: Uint8Array;
/**
*/
  p_eval0: Uint8Array;
/**
*/
  p_eval1: Uint8Array;
}
/**
*/
export class WasmFqPlonkVerificationEvals {
  free(): void;
/**
* @param {Uint32Array} sigma_comm
* @param {Uint32Array} coefficients_comm
* @param {WasmFqPolyComm} generic_comm
* @param {WasmFqPolyComm} psm_comm
* @param {WasmFqPolyComm} complete_add_comm
* @param {WasmFqPolyComm} mul_comm
* @param {WasmFqPolyComm} emul_comm
* @param {WasmFqPolyComm} endomul_scalar_comm
* @param {WasmFqPolyComm | undefined} [xor_comm]
* @param {WasmFqPolyComm | undefined} [range_check0_comm]
* @param {WasmFqPolyComm | undefined} [range_check1_comm]
* @param {WasmFqPolyComm | undefined} [foreign_field_add_comm]
* @param {WasmFqPolyComm | undefined} [foreign_field_mul_comm]
* @param {WasmFqPolyComm | undefined} [rot_comm]
*/
  constructor(sigma_comm: Uint32Array, coefficients_comm: Uint32Array, generic_comm: WasmFqPolyComm, psm_comm: WasmFqPolyComm, complete_add_comm: WasmFqPolyComm, mul_comm: WasmFqPolyComm, emul_comm: WasmFqPolyComm, endomul_scalar_comm: WasmFqPolyComm, xor_comm?: WasmFqPolyComm, range_check0_comm?: WasmFqPolyComm, range_check1_comm?: WasmFqPolyComm, foreign_field_add_comm?: WasmFqPolyComm, foreign_field_mul_comm?: WasmFqPolyComm, rot_comm?: WasmFqPolyComm);
/**
*/
  coefficients_comm: Uint32Array;
/**
*/
  complete_add_comm: WasmFqPolyComm;
/**
*/
  emul_comm: WasmFqPolyComm;
/**
*/
  endomul_scalar_comm: WasmFqPolyComm;
/**
*/
  foreign_field_add_comm?: WasmFqPolyComm;
/**
*/
  foreign_field_mul_comm?: WasmFqPolyComm;
/**
*/
  generic_comm: WasmFqPolyComm;
/**
*/
  mul_comm: WasmFqPolyComm;
/**
*/
  psm_comm: WasmFqPolyComm;
/**
*/
  range_check0_comm?: WasmFqPolyComm;
/**
*/
  range_check1_comm?: WasmFqPolyComm;
/**
*/
  rot_comm?: WasmFqPolyComm;
/**
*/
  sigma_comm: Uint32Array;
/**
*/
  xor_comm?: WasmFqPolyComm;
}
/**
*/
export class WasmFqPlonkVerifierIndex {
  free(): void;
/**
* @param {WasmFqDomain} domain
* @param {number} max_poly_size
* @param {number} public_
* @param {number} prev_challenges
* @param {WasmFqSrs} srs
* @param {WasmFqPlonkVerificationEvals} evals
* @param {WasmFqShifts} shifts
* @param {WasmFqLookupVerifierIndex | undefined} lookup_index
* @param {number} zk_rows
*/
  constructor(domain: WasmFqDomain, max_poly_size: number, public_: number, prev_challenges: number, srs: WasmFqSrs, evals: WasmFqPlonkVerificationEvals, shifts: WasmFqShifts, lookup_index: WasmFqLookupVerifierIndex | undefined, zk_rows: number);
/**
*/
  domain: WasmFqDomain;
/**
*/
  evals: WasmFqPlonkVerificationEvals;
/**
*/
  lookup_index?: WasmFqLookupVerifierIndex;
/**
*/
  max_poly_size: number;
/**
*/
  prev_challenges: number;
/**
*/
  public_: number;
/**
*/
  shifts: WasmFqShifts;
/**
*/
  srs: WasmFqSrs;
/**
*/
  zk_rows: number;
}
/**
*/
export class WasmFqPolyComm {
  free(): void;
/**
* @param {Uint32Array} unshifted
* @param {WasmGPallas | undefined} [shifted]
*/
  constructor(unshifted: Uint32Array, shifted?: WasmGPallas);
/**
*/
  shifted?: WasmGPallas;
/**
*/
  unshifted: Uint32Array;
}
/**
*/
export class WasmFqProverCommitments {
  free(): void;
/**
* @param {Uint32Array} w_comm
* @param {WasmFqPolyComm} z_comm
* @param {WasmFqPolyComm} t_comm
* @param {WasmFqLookupCommitments | undefined} [lookup]
*/
  constructor(w_comm: Uint32Array, z_comm: WasmFqPolyComm, t_comm: WasmFqPolyComm, lookup?: WasmFqLookupCommitments);
/**
*/
  lookup?: WasmFqLookupCommitments;
/**
*/
  t_comm: WasmFqPolyComm;
/**
*/
  w_comm: Uint32Array;
/**
*/
  z_comm: WasmFqPolyComm;
}
/**
*/
export class WasmFqProverProof {
  free(): void;
/**
* @param {WasmFqProverCommitments} commitments
* @param {WasmFqOpeningProof} proof
* @param {any} evals
* @param {Uint8Array} ft_eval1
* @param {Uint8Array} public_
* @param {WasmVecVecFq} prev_challenges_scalars
* @param {Uint32Array} prev_challenges_comms
*/
  constructor(commitments: WasmFqProverCommitments, proof: WasmFqOpeningProof, evals: any, ft_eval1: Uint8Array, public_: Uint8Array, prev_challenges_scalars: WasmVecVecFq, prev_challenges_comms: Uint32Array);
/**
* @returns {string}
*/
  serialize(): string;
/**
* @param {Uint8Array} bytes
* @returns {WasmFqProverProof}
*/
  static deserialize(bytes: Uint8Array): WasmFqProverProof;
/**
*/
  commitments: WasmFqProverCommitments;
/**
*/
  evals: any;
/**
*/
  ft_eval1: Uint8Array;
/**
*/
  prev_challenges_comms: Uint32Array;
/**
*/
  prev_challenges_scalars: WasmVecVecFq;
/**
*/
  proof: WasmFqOpeningProof;
/**
*/
  public_: Uint8Array;
}
/**
*/
export class WasmFqRandomOracles {
  free(): void;
/**
* @param {Uint8Array | undefined} joint_combiner_chal
* @param {Uint8Array | undefined} joint_combiner
* @param {Uint8Array} beta
* @param {Uint8Array} gamma
* @param {Uint8Array} alpha_chal
* @param {Uint8Array} alpha
* @param {Uint8Array} zeta
* @param {Uint8Array} v
* @param {Uint8Array} u
* @param {Uint8Array} zeta_chal
* @param {Uint8Array} v_chal
* @param {Uint8Array} u_chal
*/
  constructor(joint_combiner_chal: Uint8Array | undefined, joint_combiner: Uint8Array | undefined, beta: Uint8Array, gamma: Uint8Array, alpha_chal: Uint8Array, alpha: Uint8Array, zeta: Uint8Array, v: Uint8Array, u: Uint8Array, zeta_chal: Uint8Array, v_chal: Uint8Array, u_chal: Uint8Array);
/**
*/
  alpha: Uint8Array;
/**
*/
  alpha_chal: Uint8Array;
/**
*/
  beta: Uint8Array;
/**
*/
  gamma: Uint8Array;
/**
*/
  joint_combiner?: Uint8Array;
/**
*/
  joint_combiner_chal?: Uint8Array;
/**
*/
  u: Uint8Array;
/**
*/
  u_chal: Uint8Array;
/**
*/
  v: Uint8Array;
/**
*/
  v_chal: Uint8Array;
/**
*/
  zeta: Uint8Array;
/**
*/
  zeta_chal: Uint8Array;
}
/**
*/
export class WasmFqRuntimeTable {
  free(): void;
/**
* @param {number} id
* @param {Uint8Array} data
*/
  constructor(id: number, data: Uint8Array);
}
/**
*/
export class WasmFqShifts {
  free(): void;
/**
* @param {Uint8Array} s0
* @param {Uint8Array} s1
* @param {Uint8Array} s2
* @param {Uint8Array} s3
* @param {Uint8Array} s4
* @param {Uint8Array} s5
* @param {Uint8Array} s6
*/
  constructor(s0: Uint8Array, s1: Uint8Array, s2: Uint8Array, s3: Uint8Array, s4: Uint8Array, s5: Uint8Array, s6: Uint8Array);
/**
*/
  s0: Uint8Array;
/**
*/
  s1: Uint8Array;
/**
*/
  s2: Uint8Array;
/**
*/
  s3: Uint8Array;
/**
*/
  s4: Uint8Array;
/**
*/
  s5: Uint8Array;
/**
*/
  s6: Uint8Array;
}
/**
*/
export class WasmFqSrs {
  free(): void;
}
/**
*/
export class WasmGPallas {
  free(): void;
/**
*/
  infinity: boolean;
/**
*/
  x: Uint8Array;
/**
*/
  y: Uint8Array;
}
/**
*/
export class WasmGVesta {
  free(): void;
/**
*/
  infinity: boolean;
/**
*/
  x: Uint8Array;
/**
*/
  y: Uint8Array;
}
/**
*/
export class WasmGateWires {
  free(): void;
/**
* @param {Wire} w0
* @param {Wire} w1
* @param {Wire} w2
* @param {Wire} w3
* @param {Wire} w4
* @param {Wire} w5
* @param {Wire} w6
*/
  constructor(w0: Wire, w1: Wire, w2: Wire, w3: Wire, w4: Wire, w5: Wire, w6: Wire);
/**
*/
  0: Wire;
/**
*/
  1: Wire;
/**
*/
  2: Wire;
/**
*/
  3: Wire;
/**
*/
  4: Wire;
/**
*/
  5: Wire;
/**
*/
  6: Wire;
}
/**
*/
export class WasmPallasGProjective {
  free(): void;
}
/**
*/
export class WasmPastaFpLookupTable {
  free(): void;
/**
* @param {number} id
* @param {WasmVecVecFp} data
*/
  constructor(id: number, data: WasmVecVecFp);
}
/**
* Boxed so that we don't store large proving indexes in the OCaml heap.
*/
export class WasmPastaFpPlonkIndex {
  free(): void;
}
/**
*/
export class WasmPastaFpRuntimeTableCfg {
  free(): void;
/**
* @param {number} id
* @param {Uint8Array} first_column
*/
  constructor(id: number, first_column: Uint8Array);
}
/**
*/
export class WasmPastaFqLookupTable {
  free(): void;
/**
* @param {number} id
* @param {WasmVecVecFq} data
*/
  constructor(id: number, data: WasmVecVecFq);
}
/**
* Boxed so that we don't store large proving indexes in the OCaml heap.
*/
export class WasmPastaFqPlonkIndex {
  free(): void;
}
/**
*/
export class WasmPastaFqRuntimeTableCfg {
  free(): void;
/**
* @param {number} id
* @param {Uint8Array} first_column
*/
  constructor(id: number, first_column: Uint8Array);
}
/**
*/
export class WasmVecVecFp {
  free(): void;
/**
* @param {number} n
*/
  constructor(n: number);
/**
* @param {Uint8Array} x
*/
  push(x: Uint8Array): void;
/**
* @param {number} i
* @returns {Uint8Array}
*/
  get(i: number): Uint8Array;
/**
* @param {number} i
* @param {Uint8Array} x
*/
  set(i: number, x: Uint8Array): void;
}
/**
*/
export class WasmVecVecFpPolyComm {
  free(): void;
/**
* @param {number} n
*/
  constructor(n: number);
/**
* @param {Uint32Array} x
*/
  push(x: Uint32Array): void;
}
/**
*/
export class WasmVecVecFq {
  free(): void;
/**
* @param {number} n
*/
  constructor(n: number);
/**
* @param {Uint8Array} x
*/
  push(x: Uint8Array): void;
/**
* @param {number} i
* @returns {Uint8Array}
*/
  get(i: number): Uint8Array;
/**
* @param {number} i
* @param {Uint8Array} x
*/
  set(i: number, x: Uint8Array): void;
}
/**
*/
export class WasmVecVecFqPolyComm {
  free(): void;
/**
* @param {number} n
*/
  constructor(n: number);
/**
* @param {Uint32Array} x
*/
  push(x: Uint32Array): void;
}
/**
*/
export class WasmVestaGProjective {
  free(): void;
}
/**
* Wire documents the other cell that is wired to this one.
* If the cell represents an internal wire, an input to the circuit,
* or a final output of the circuit, the cell references itself.
*/
export class Wire {
  free(): void;
/**
* @param {number} row
* @param {number} col
* @returns {Wire}
*/
  static create(row: number, col: number): Wire;
/**
*/
  col: number;
/**
*/
  row: number;
}

export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;

export interface InitOutput {
  readonly caml_bigint_256_of_numeral: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_bigint_256_of_decimal_string: (a: number, b: number, c: number) => void;
  readonly caml_bigint_256_num_limbs: () => number;
  readonly caml_bigint_256_bytes_per_limb: () => number;
  readonly caml_bigint_256_div: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_bigint_256_compare: (a: number, b: number, c: number, d: number) => number;
  readonly caml_bigint_256_test_bit: (a: number, b: number, c: number) => number;
  readonly caml_bigint_256_to_bytes: (a: number, b: number, c: number) => void;
  readonly caml_bigint_256_of_bytes: (a: number, b: number, c: number) => void;
  readonly caml_bigint_256_deep_copy: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmgpallas_free: (a: number) => void;
  readonly __wbg_get_wasmgpallas_x: (a: number, b: number) => void;
  readonly __wbg_set_wasmgpallas_x: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmgpallas_y: (a: number, b: number) => void;
  readonly __wbg_set_wasmgpallas_y: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmgpallas_infinity: (a: number) => number;
  readonly __wbg_set_wasmgpallas_infinity: (a: number, b: number) => void;
  readonly __wbg_get_wasmgvesta_x: (a: number, b: number) => void;
  readonly __wbg_set_wasmgvesta_x: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmgvesta_y: (a: number, b: number) => void;
  readonly __wbg_set_wasmgvesta_y: (a: number, b: number, c: number) => void;
  readonly caml_pallas_affine_one: () => number;
  readonly caml_vesta_affine_one: () => number;
  readonly __wbg_wasmpallasgprojective_free: (a: number) => void;
  readonly __wbg_featureflags_free: (a: number) => void;
  readonly __wbg_get_featureflags_range_check0: (a: number) => number;
  readonly __wbg_set_featureflags_range_check0: (a: number, b: number) => void;
  readonly __wbg_get_featureflags_range_check1: (a: number) => number;
  readonly __wbg_set_featureflags_range_check1: (a: number, b: number) => void;
  readonly __wbg_get_featureflags_foreign_field_add: (a: number) => number;
  readonly __wbg_set_featureflags_foreign_field_add: (a: number, b: number) => void;
  readonly __wbg_get_featureflags_foreign_field_mul: (a: number) => number;
  readonly __wbg_set_featureflags_foreign_field_mul: (a: number, b: number) => void;
  readonly __wbg_get_featureflags_xor: (a: number) => number;
  readonly __wbg_set_featureflags_xor: (a: number, b: number) => void;
  readonly __wbg_get_featureflags_rot: (a: number) => number;
  readonly __wbg_set_featureflags_rot: (a: number, b: number) => void;
  readonly __wbg_get_featureflags_lookup_features: (a: number) => number;
  readonly __wbg_set_featureflags_lookup_features: (a: number, b: number) => void;
  readonly __wbg_wire_free: (a: number) => void;
  readonly lookuppatterns_new: (a: number, b: number, c: number, d: number) => number;
  readonly lookupfeatures_new: (a: number, b: number, c: number) => number;
  readonly lookupinfo_new: (a: number, b: number, c: number) => number;
  readonly wire_create: (a: number, b: number) => number;
  readonly __wbg_lookuppatterns_free: (a: number) => void;
  readonly __wbg_lookupfeatures_free: (a: number) => void;
  readonly __wbg_get_lookupfeatures_patterns: (a: number) => number;
  readonly __wbg_set_lookupfeatures_patterns: (a: number, b: number) => void;
  readonly __wbg_lookupinfo_free: (a: number) => void;
  readonly __wbg_get_lookupinfo_max_per_row: (a: number) => number;
  readonly __wbg_set_lookupinfo_max_per_row: (a: number, b: number) => void;
  readonly __wbg_get_lookupinfo_max_joint_size: (a: number) => number;
  readonly __wbg_set_lookupinfo_max_joint_size: (a: number, b: number) => void;
  readonly __wbg_get_lookupinfo_features: (a: number) => number;
  readonly __wbg_set_lookupinfo_features: (a: number, b: number) => void;
  readonly caml_vesta_one: () => number;
  readonly caml_vesta_add: (a: number, b: number) => number;
  readonly caml_vesta_sub: (a: number, b: number) => number;
  readonly caml_vesta_negate: (a: number) => number;
  readonly caml_vesta_double: (a: number) => number;
  readonly caml_vesta_scale: (a: number, b: number, c: number) => number;
  readonly caml_vesta_random: () => number;
  readonly caml_vesta_rng: (a: number) => number;
  readonly caml_vesta_endo_base: (a: number) => void;
  readonly caml_vesta_endo_scalar: (a: number) => void;
  readonly caml_vesta_to_affine: (a: number) => number;
  readonly caml_vesta_of_affine: (a: number) => number;
  readonly caml_vesta_of_affine_coordinates: (a: number, b: number, c: number, d: number) => number;
  readonly __wbg_wasmgatewires_free: (a: number) => void;
  readonly __wbg_get_wasmgatewires_0: (a: number) => number;
  readonly __wbg_set_wasmgatewires_0: (a: number, b: number) => void;
  readonly __wbg_get_wasmgatewires_1: (a: number) => number;
  readonly __wbg_set_wasmgatewires_1: (a: number, b: number) => void;
  readonly __wbg_get_wasmgatewires_2: (a: number) => number;
  readonly __wbg_set_wasmgatewires_2: (a: number, b: number) => void;
  readonly __wbg_get_wasmgatewires_3: (a: number) => number;
  readonly __wbg_set_wasmgatewires_3: (a: number, b: number) => void;
  readonly __wbg_get_wasmgatewires_4: (a: number) => number;
  readonly __wbg_set_wasmgatewires_4: (a: number, b: number) => void;
  readonly __wbg_get_wasmgatewires_5: (a: number) => number;
  readonly __wbg_set_wasmgatewires_5: (a: number, b: number) => void;
  readonly __wbg_get_wasmgatewires_6: (a: number) => number;
  readonly __wbg_set_wasmgatewires_6: (a: number, b: number) => void;
  readonly wasmgatewires_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => number;
  readonly __wbg_wasmfpsrs_free: (a: number) => void;
  readonly caml_fp_srs_create: (a: number) => number;
  readonly caml_fp_srs_add_lagrange_basis: (a: number, b: number) => void;
  readonly caml_fp_srs_write: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fp_srs_read: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fp_srs_lagrange_commitments_whole_domain_ptr: (a: number, b: number) => number;
  readonly caml_fp_srs_lagrange_commitments_whole_domain_read_from_ptr: (a: number, b: number) => void;
  readonly caml_fp_srs_lagrange_commitment: (a: number, b: number, c: number, d: number) => void;
  readonly caml_fp_srs_commit_evaluations: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fp_srs_b_poly_commitment: (a: number, b: number, c: number, d: number) => void;
  readonly caml_fp_srs_batch_accumulator_check: (a: number, b: number, c: number, d: number, e: number) => number;
  readonly caml_fp_srs_batch_accumulator_generate: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fp_srs_h: (a: number) => number;
  readonly caml_fp_srs_create_parallel: (a: number) => number;
  readonly caml_fp_srs_get: (a: number, b: number) => void;
  readonly caml_fp_srs_set: (a: number, b: number) => number;
  readonly caml_fp_srs_maybe_lagrange_commitment: (a: number, b: number, c: number) => number;
  readonly caml_fp_srs_set_lagrange_basis: (a: number, b: number, c: number, d: number) => void;
  readonly caml_fp_srs_get_lagrange_basis: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmpastafpplonkindex_free: (a: number) => void;
  readonly __wbg_wasmpastafplookuptable_free: (a: number) => void;
  readonly wasmpastafplookuptable_new: (a: number, b: number) => number;
  readonly __wbg_wasmpastafpruntimetablecfg_free: (a: number) => void;
  readonly caml_pasta_fp_plonk_index_create: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
  readonly caml_pasta_fp_plonk_index_max_degree: (a: number) => number;
  readonly caml_pasta_fp_plonk_index_public_inputs: (a: number) => number;
  readonly caml_pasta_fp_plonk_index_domain_d1_size: (a: number) => number;
  readonly caml_pasta_fp_plonk_index_domain_d4_size: (a: number) => number;
  readonly caml_pasta_fp_plonk_index_domain_d8_size: (a: number) => number;
  readonly caml_pasta_fp_plonk_index_decode: (a: number, b: number, c: number, d: number) => void;
  readonly caml_pasta_fp_plonk_index_encode: (a: number, b: number) => void;
  readonly caml_pasta_fp_plonk_index_read: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
  readonly caml_pasta_fp_plonk_index_write: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_pasta_fp_plonk_index_serialize: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_index_create: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
  readonly caml_pasta_fq_plonk_index_decode: (a: number, b: number, c: number, d: number) => void;
  readonly caml_pasta_fq_plonk_index_encode: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_index_read: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
  readonly caml_pasta_fq_plonk_index_write: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_pasta_fq_plonk_index_serialize: (a: number, b: number) => void;
  readonly __wbg_wasmfpdomain_free: (a: number) => void;
  readonly __wbg_get_wasmfpdomain_log_size_of_group: (a: number) => number;
  readonly __wbg_set_wasmfpdomain_log_size_of_group: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpdomain_group_gen: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpdomain_group_gen: (a: number, b: number, c: number) => void;
  readonly wasmfpdomain_new: (a: number, b: number, c: number) => number;
  readonly __wbg_wasmfpplonkverificationevals_free: (a: number) => void;
  readonly wasmfpplonkverificationevals_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number, p: number) => number;
  readonly wasmfpplonkverificationevals_sigma_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_set_sigma_comm: (a: number, b: number, c: number) => void;
  readonly wasmfpplonkverificationevals_coefficients_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_set_coefficients_comm: (a: number, b: number, c: number) => void;
  readonly wasmfpplonkverificationevals_generic_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_generic_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_psm_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_psm_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_complete_add_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_complete_add_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_mul_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_mul_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_emul_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_emul_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_endomul_scalar_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_endomul_scalar_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_rot_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_rot_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_foreign_field_mul_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_foreign_field_mul_comm: (a: number, b: number) => void;
  readonly __wbg_wasmfpshifts_free: (a: number) => void;
  readonly __wbg_get_wasmfpshifts_s1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpshifts_s1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfpshifts_s2: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpshifts_s2: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfpshifts_s3: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpshifts_s3: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfpshifts_s4: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpshifts_s4: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfpshifts_s5: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpshifts_s5: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfpshifts_s6: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpshifts_s6: (a: number, b: number, c: number) => void;
  readonly wasmfpshifts_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number) => number;
  readonly __wbg_wasmfplookupselectors_free: (a: number) => void;
  readonly wasmfplookupselectors_new: (a: number, b: number, c: number, d: number) => number;
  readonly wasmfplookupselectors_xor: (a: number) => number;
  readonly wasmfplookupselectors_set_xor: (a: number, b: number) => void;
  readonly wasmfplookupselectors_lookup: (a: number) => number;
  readonly wasmfplookupselectors_set_lookup: (a: number, b: number) => void;
  readonly wasmfplookupselectors_ffmul: (a: number) => number;
  readonly wasmfplookupselectors_set_ffmul: (a: number, b: number) => void;
  readonly wasmfplookupselectors_range_check: (a: number) => number;
  readonly wasmfplookupselectors_set_range_check: (a: number, b: number) => void;
  readonly __wbg_wasmfplookupverifierindex_free: (a: number) => void;
  readonly __wbg_get_wasmfplookupverifierindex_joint_lookup_used: (a: number) => number;
  readonly __wbg_set_wasmfplookupverifierindex_joint_lookup_used: (a: number, b: number) => void;
  readonly wasmfplookupverifierindex_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => number;
  readonly wasmfplookupverifierindex_lookup_table: (a: number, b: number) => void;
  readonly wasmfplookupverifierindex_set_lookup_table: (a: number, b: number, c: number) => void;
  readonly wasmfplookupverifierindex_lookup_selectors: (a: number) => number;
  readonly wasmfplookupverifierindex_set_lookup_selectors: (a: number, b: number) => void;
  readonly wasmfplookupverifierindex_lookup_info: (a: number) => number;
  readonly wasmfplookupverifierindex_set_lookup_info: (a: number, b: number) => void;
  readonly __wbg_wasmfpplonkverifierindex_free: (a: number) => void;
  readonly __wbg_get_wasmfpplonkverifierindex_domain: (a: number) => number;
  readonly __wbg_set_wasmfpplonkverifierindex_domain: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpplonkverifierindex_max_poly_size: (a: number) => number;
  readonly __wbg_set_wasmfpplonkverifierindex_max_poly_size: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpplonkverifierindex_public_: (a: number) => number;
  readonly __wbg_set_wasmfpplonkverifierindex_public_: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpplonkverifierindex_prev_challenges: (a: number) => number;
  readonly __wbg_set_wasmfpplonkverifierindex_prev_challenges: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpplonkverifierindex_shifts: (a: number) => number;
  readonly __wbg_set_wasmfpplonkverifierindex_shifts: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpplonkverifierindex_zk_rows: (a: number) => number;
  readonly __wbg_set_wasmfpplonkverifierindex_zk_rows: (a: number, b: number) => void;
  readonly wasmfpplonkverifierindex_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => number;
  readonly wasmfpplonkverifierindex_srs: (a: number) => number;
  readonly wasmfpplonkverifierindex_set_srs: (a: number, b: number) => void;
  readonly wasmfpplonkverifierindex_evals: (a: number) => number;
  readonly wasmfpplonkverifierindex_set_evals: (a: number, b: number) => void;
  readonly wasmfpplonkverifierindex_lookup_index: (a: number) => number;
  readonly wasmfpplonkverifierindex_set_lookup_index: (a: number, b: number) => void;
  readonly caml_pasta_fp_plonk_verifier_index_read: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
  readonly caml_pasta_fp_plonk_verifier_index_write: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_pasta_fp_plonk_verifier_index_serialize: (a: number, b: number) => void;
  readonly caml_pasta_fp_plonk_verifier_index_deserialize: (a: number, b: number, c: number, d: number) => void;
  readonly caml_pasta_fp_plonk_verifier_index_create: (a: number) => number;
  readonly caml_pasta_fp_plonk_verifier_index_shifts: (a: number) => number;
  readonly caml_pasta_fp_plonk_verifier_index_dummy: () => number;
  readonly caml_pasta_fp_plonk_verifier_index_deep_copy: (a: number) => number;
  readonly __wbg_get_wasmfqdomain_group_gen: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqdomain_group_gen: (a: number, b: number, c: number) => void;
  readonly wasmfqdomain_new: (a: number, b: number, c: number) => number;
  readonly wasmfqplonkverificationevals_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number, p: number) => number;
  readonly wasmfqplonkverificationevals_set_sigma_comm: (a: number, b: number, c: number) => void;
  readonly wasmfqplonkverificationevals_set_coefficients_comm: (a: number, b: number, c: number) => void;
  readonly wasmfqplonkverificationevals_generic_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_generic_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_psm_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_psm_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_complete_add_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_complete_add_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_mul_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_mul_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_emul_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_emul_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_endomul_scalar_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_endomul_scalar_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_rot_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_rot_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_foreign_field_mul_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_foreign_field_mul_comm: (a: number, b: number) => void;
  readonly __wbg_get_wasmfqshifts_s1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqshifts_s1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqshifts_s2: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqshifts_s2: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqshifts_s3: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqshifts_s3: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqshifts_s4: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqshifts_s4: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqshifts_s5: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqshifts_s5: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqshifts_s6: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqshifts_s6: (a: number, b: number, c: number) => void;
  readonly wasmfqshifts_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number) => number;
  readonly wasmfqlookupselectors_new: (a: number, b: number, c: number, d: number) => number;
  readonly wasmfqlookupselectors_xor: (a: number) => number;
  readonly wasmfqlookupselectors_set_xor: (a: number, b: number) => void;
  readonly wasmfqlookupselectors_lookup: (a: number) => number;
  readonly wasmfqlookupselectors_set_lookup: (a: number, b: number) => void;
  readonly wasmfqlookupselectors_ffmul: (a: number) => number;
  readonly wasmfqlookupselectors_set_ffmul: (a: number, b: number) => void;
  readonly wasmfqlookupselectors_range_check: (a: number) => number;
  readonly wasmfqlookupselectors_set_range_check: (a: number, b: number) => void;
  readonly wasmfqlookupverifierindex_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => number;
  readonly wasmfqlookupverifierindex_set_lookup_table: (a: number, b: number, c: number) => void;
  readonly wasmfqplonkverifierindex_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => number;
  readonly wasmfqplonkverifierindex_srs: (a: number) => number;
  readonly wasmfqplonkverifierindex_set_srs: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_verifier_index_read: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
  readonly caml_pasta_fq_plonk_verifier_index_write: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_pasta_fq_plonk_verifier_index_serialize: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_verifier_index_deserialize: (a: number, b: number, c: number, d: number) => void;
  readonly caml_pasta_fq_plonk_verifier_index_create: (a: number) => number;
  readonly caml_pasta_fq_plonk_verifier_index_shifts: (a: number) => number;
  readonly caml_pasta_fq_plonk_verifier_index_dummy: () => number;
  readonly wasmfppolycomm_new: (a: number, b: number, c: number) => number;
  readonly wasmfppolycomm_unshifted: (a: number, b: number) => void;
  readonly wasmfppolycomm_set_unshifted: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmfppolycomm_free: (a: number) => void;
  readonly __wbg_get_wasmfppolycomm_shifted: (a: number) => number;
  readonly __wbg_set_wasmfppolycomm_shifted: (a: number, b: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_joint_combiner_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_joint_combiner_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_joint_combiner: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_joint_combiner: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_beta: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_beta: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_gamma: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_gamma: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_alpha_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_alpha_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_alpha: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_alpha: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_zeta: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_zeta: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_v: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_v: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_u: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_u: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_zeta_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_zeta_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_v_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_v_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqrandomoracles_u_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqrandomoracles_u_chal: (a: number, b: number, c: number) => void;
  readonly wasmfqrandomoracles_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number, p: number, q: number, r: number, s: number, t: number, u: number, v: number, w: number, x: number) => number;
  readonly __wbg_wasmfqoracles_free: (a: number) => void;
  readonly __wbg_get_wasmfqoracles_p_eval0: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqoracles_p_eval0: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqoracles_p_eval1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqoracles_p_eval1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqoracles_digest_before_evaluations: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqoracles_digest_before_evaluations: (a: number, b: number, c: number) => void;
  readonly wasmfqoracles_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => number;
  readonly wasmfqoracles_opening_prechallenges: (a: number, b: number) => void;
  readonly wasmfqoracles_set_opening_prechallenges: (a: number, b: number, c: number) => void;
  readonly fq_oracles_create: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly __wbg_poolbuilder_free: (a: number) => void;
  readonly poolbuilder_numThreads: (a: number) => number;
  readonly poolbuilder_receiver: (a: number) => number;
  readonly poolbuilder_build: (a: number) => void;
  readonly initThreadPool: (a: number) => number;
  readonly exitThreadPool: () => number;
  readonly wbg_rayon_start_worker: (a: number) => void;
  readonly __wbg_wasmfprandomoracles_free: (a: number) => void;
  readonly __wbg_get_wasmfprandomoracles_joint_combiner_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_joint_combiner_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_joint_combiner: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_joint_combiner: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_beta: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_beta: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_gamma: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_gamma: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_alpha_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_alpha_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_alpha: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_alpha: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_zeta: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_zeta: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_v: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_v: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_u: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_u: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_zeta_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_zeta_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_v_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_v_chal: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfprandomoracles_u_chal: (a: number, b: number) => void;
  readonly __wbg_set_wasmfprandomoracles_u_chal: (a: number, b: number, c: number) => void;
  readonly wasmfprandomoracles_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number, m: number, n: number, o: number, p: number, q: number, r: number, s: number, t: number, u: number, v: number, w: number, x: number) => number;
  readonly __wbg_wasmfporacles_free: (a: number) => void;
  readonly __wbg_get_wasmfporacles_o: (a: number) => number;
  readonly __wbg_set_wasmfporacles_o: (a: number, b: number) => void;
  readonly __wbg_get_wasmfporacles_p_eval0: (a: number, b: number) => void;
  readonly __wbg_set_wasmfporacles_p_eval0: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfporacles_p_eval1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfporacles_p_eval1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfporacles_digest_before_evaluations: (a: number, b: number) => void;
  readonly __wbg_set_wasmfporacles_digest_before_evaluations: (a: number, b: number, c: number) => void;
  readonly wasmfporacles_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => number;
  readonly wasmfporacles_opening_prechallenges: (a: number, b: number) => void;
  readonly wasmfporacles_set_opening_prechallenges: (a: number, b: number, c: number) => void;
  readonly fp_oracles_create: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly fp_oracles_dummy: () => number;
  readonly fp_oracles_deep_copy: (a: number) => number;
  readonly caml_pallas_one: () => number;
  readonly caml_pallas_add: (a: number, b: number) => number;
  readonly caml_pallas_sub: (a: number, b: number) => number;
  readonly caml_pallas_negate: (a: number) => number;
  readonly caml_pallas_double: (a: number) => number;
  readonly caml_pallas_scale: (a: number, b: number, c: number) => number;
  readonly caml_pallas_random: () => number;
  readonly caml_pallas_rng: (a: number) => number;
  readonly caml_pallas_endo_base: (a: number) => void;
  readonly caml_pallas_endo_scalar: (a: number) => void;
  readonly caml_pallas_to_affine: (a: number) => number;
  readonly caml_pallas_of_affine: (a: number) => number;
  readonly caml_pallas_of_affine_coordinates: (a: number, b: number, c: number, d: number) => number;
  readonly caml_pallas_affine_deep_copy: (a: number) => number;
  readonly caml_pasta_fp_poseidon_block_cipher: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fq_poseidon_block_cipher: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmvecvecfp_free: (a: number) => void;
  readonly wasmvecvecfp_create: (a: number) => number;
  readonly wasmvecvecfp_push: (a: number, b: number, c: number) => void;
  readonly wasmvecvecfp_get: (a: number, b: number, c: number) => void;
  readonly wasmvecvecfp_set: (a: number, b: number, c: number, d: number) => void;
  readonly wasmvecvecfq_push: (a: number, b: number, c: number) => void;
  readonly wasmvecvecfq_get: (a: number, b: number, c: number) => void;
  readonly wasmvecvecfq_set: (a: number, b: number, c: number, d: number) => void;
  readonly console_log: (a: number, b: number) => void;
  readonly create_zero_u32_ptr: () => number;
  readonly free_u32_ptr: (a: number) => void;
  readonly set_u32_ptr: (a: number, b: number) => void;
  readonly wait_until_non_zero: (a: number) => number;
  readonly get_memory: () => number;
  readonly get_memory_byte_length: () => number;
  readonly __wbg_wasmfpgatevector_free: (a: number) => void;
  readonly __wbg_wasmfpgate_free: (a: number) => void;
  readonly __wbg_get_wasmfpgate_typ: (a: number) => number;
  readonly __wbg_set_wasmfpgate_typ: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpgate_wires: (a: number) => number;
  readonly __wbg_set_wasmfpgate_wires: (a: number, b: number) => void;
  readonly wasmfpgate_new: (a: number, b: number, c: number, d: number) => number;
  readonly caml_pasta_fp_plonk_gate_vector_create: () => number;
  readonly caml_pasta_fp_plonk_gate_vector_add: (a: number, b: number) => void;
  readonly caml_pasta_fp_plonk_gate_vector_get: (a: number, b: number) => number;
  readonly caml_pasta_fp_plonk_gate_vector_len: (a: number) => number;
  readonly caml_pasta_fp_plonk_gate_vector_wrap: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fp_plonk_gate_vector_digest: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fp_plonk_circuit_serialize: (a: number, b: number, c: number) => void;
  readonly wasmfqgate_new: (a: number, b: number, c: number, d: number) => number;
  readonly caml_pasta_fq_plonk_gate_vector_get: (a: number, b: number) => number;
  readonly caml_pasta_fq_plonk_gate_vector_wrap: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fq_plonk_gate_vector_digest: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fq_plonk_circuit_serialize: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmfqsrs_free: (a: number) => void;
  readonly caml_fq_srs_create: (a: number) => number;
  readonly caml_fq_srs_add_lagrange_basis: (a: number, b: number) => void;
  readonly caml_fq_srs_write: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fq_srs_read: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fq_srs_lagrange_commitments_whole_domain_ptr: (a: number, b: number) => number;
  readonly caml_fq_srs_lagrange_commitment: (a: number, b: number, c: number, d: number) => void;
  readonly caml_fq_srs_commit_evaluations: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fq_srs_b_poly_commitment: (a: number, b: number, c: number, d: number) => void;
  readonly caml_fq_srs_batch_accumulator_check: (a: number, b: number, c: number, d: number, e: number) => number;
  readonly caml_fq_srs_batch_accumulator_generate: (a: number, b: number, c: number, d: number, e: number) => void;
  readonly caml_fq_srs_h: (a: number) => number;
  readonly caml_fq_srs_create_parallel: (a: number) => number;
  readonly caml_fq_srs_get: (a: number, b: number) => void;
  readonly caml_fq_srs_set: (a: number, b: number) => number;
  readonly caml_fq_srs_maybe_lagrange_commitment: (a: number, b: number, c: number) => number;
  readonly caml_fq_srs_set_lagrange_basis: (a: number, b: number, c: number, d: number) => void;
  readonly caml_fq_srs_get_lagrange_basis: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmfplookupcommitments_free: (a: number) => void;
  readonly wasmfplookupcommitments_new: (a: number, b: number, c: number, d: number) => number;
  readonly wasmfplookupcommitments_sorted: (a: number, b: number) => void;
  readonly wasmfplookupcommitments_aggreg: (a: number) => number;
  readonly wasmfplookupcommitments_runtime: (a: number) => number;
  readonly wasmfplookupcommitments_set_sorted: (a: number, b: number, c: number) => void;
  readonly wasmfplookupcommitments_set_aggreg: (a: number, b: number) => void;
  readonly wasmfplookupcommitments_set_runtime: (a: number, b: number) => void;
  readonly __wbg_wasmfpprovercommitments_free: (a: number) => void;
  readonly wasmfpprovercommitments_new: (a: number, b: number, c: number, d: number, e: number) => number;
  readonly wasmfpprovercommitments_w_comm: (a: number, b: number) => void;
  readonly wasmfpprovercommitments_z_comm: (a: number) => number;
  readonly wasmfpprovercommitments_t_comm: (a: number) => number;
  readonly wasmfpprovercommitments_lookup: (a: number) => number;
  readonly wasmfpprovercommitments_set_w_comm: (a: number, b: number, c: number) => void;
  readonly wasmfpprovercommitments_set_z_comm: (a: number, b: number) => void;
  readonly wasmfpprovercommitments_set_t_comm: (a: number, b: number) => void;
  readonly wasmfpprovercommitments_set_lookup: (a: number, b: number) => void;
  readonly __wbg_wasmfpopeningproof_free: (a: number) => void;
  readonly __wbg_get_wasmfpopeningproof_z1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpopeningproof_z1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfpopeningproof_z2: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpopeningproof_z2: (a: number, b: number, c: number) => void;
  readonly wasmfpopeningproof_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
  readonly wasmfpopeningproof_lr_0: (a: number, b: number) => void;
  readonly wasmfpopeningproof_lr_1: (a: number, b: number) => void;
  readonly wasmfpopeningproof_delta: (a: number) => number;
  readonly wasmfpopeningproof_sg: (a: number) => number;
  readonly wasmfpopeningproof_set_lr_0: (a: number, b: number, c: number) => void;
  readonly wasmfpopeningproof_set_lr_1: (a: number, b: number, c: number) => void;
  readonly wasmfpopeningproof_set_delta: (a: number, b: number) => void;
  readonly wasmfpopeningproof_set_sg: (a: number, b: number) => void;
  readonly __wbg_wasmfpproverproof_free: (a: number) => void;
  readonly __wbg_get_wasmfpproverproof_ft_eval1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfpproverproof_ft_eval1: (a: number, b: number, c: number) => void;
  readonly wasmfpproverproof_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
  readonly wasmfpproverproof_commitments: (a: number) => number;
  readonly wasmfpproverproof_proof: (a: number) => number;
  readonly wasmfpproverproof_evals: (a: number) => number;
  readonly wasmfpproverproof_public_: (a: number, b: number) => void;
  readonly wasmfpproverproof_prev_challenges_scalars: (a: number) => number;
  readonly wasmfpproverproof_prev_challenges_comms: (a: number, b: number) => void;
  readonly wasmfpproverproof_set_commitments: (a: number, b: number) => void;
  readonly wasmfpproverproof_set_proof: (a: number, b: number) => void;
  readonly wasmfpproverproof_set_evals: (a: number, b: number) => void;
  readonly wasmfpproverproof_set_public_: (a: number, b: number, c: number) => void;
  readonly wasmfpproverproof_set_prev_challenges_scalars: (a: number, b: number) => void;
  readonly wasmfpproverproof_set_prev_challenges_comms: (a: number, b: number, c: number) => void;
  readonly wasmfpproverproof_serialize: (a: number, b: number) => void;
  readonly wasmfpproverproof_deserialize: (a: number, b: number) => number;
  readonly __wbg_wasmfpruntimetable_free: (a: number) => void;
  readonly wasmfpruntimetable_new: (a: number, b: number, c: number) => number;
  readonly caml_pasta_fp_plonk_proof_create: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
  readonly caml_pasta_fp_plonk_proof_verify: (a: number, b: number) => number;
  readonly __wbg_wasmvecvecfppolycomm_free: (a: number) => void;
  readonly wasmvecvecfppolycomm_push: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fp_plonk_proof_batch_verify: (a: number, b: number, c: number, d: number) => number;
  readonly caml_pasta_fp_plonk_proof_dummy: () => number;
  readonly caml_pasta_fp_plonk_proof_deep_copy: (a: number) => number;
  readonly wasmfqlookupcommitments_new: (a: number, b: number, c: number, d: number) => number;
  readonly wasmfqlookupcommitments_aggreg: (a: number) => number;
  readonly wasmfqlookupcommitments_runtime: (a: number) => number;
  readonly wasmfqlookupcommitments_set_sorted: (a: number, b: number, c: number) => void;
  readonly wasmfqlookupcommitments_set_aggreg: (a: number, b: number) => void;
  readonly wasmfqlookupcommitments_set_runtime: (a: number, b: number) => void;
  readonly wasmfqprovercommitments_new: (a: number, b: number, c: number, d: number, e: number) => number;
  readonly wasmfqprovercommitments_z_comm: (a: number) => number;
  readonly wasmfqprovercommitments_t_comm: (a: number) => number;
  readonly wasmfqprovercommitments_set_w_comm: (a: number, b: number, c: number) => void;
  readonly wasmfqprovercommitments_set_z_comm: (a: number, b: number) => void;
  readonly wasmfqprovercommitments_set_t_comm: (a: number, b: number) => void;
  readonly __wbg_get_wasmfqopeningproof_z1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqopeningproof_z1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqopeningproof_z2: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqopeningproof_z2: (a: number, b: number, c: number) => void;
  readonly wasmfqopeningproof_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
  readonly __wbg_get_wasmfqproverproof_ft_eval1: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqproverproof_ft_eval1: (a: number, b: number, c: number) => void;
  readonly wasmfqproverproof_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => number;
  readonly wasmfqproverproof_evals: (a: number) => number;
  readonly wasmfqproverproof_public_: (a: number, b: number) => void;
  readonly wasmfqproverproof_set_evals: (a: number, b: number) => void;
  readonly wasmfqproverproof_set_public_: (a: number, b: number, c: number) => void;
  readonly wasmfqproverproof_set_prev_challenges_comms: (a: number, b: number, c: number) => void;
  readonly wasmfqproverproof_serialize: (a: number, b: number) => void;
  readonly wasmfqproverproof_deserialize: (a: number, b: number) => number;
  readonly wasmfqruntimetable_new: (a: number, b: number, c: number) => number;
  readonly caml_pasta_fq_plonk_proof_create: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
  readonly caml_pasta_fq_plonk_proof_verify: (a: number, b: number) => number;
  readonly wasmvecvecfqpolycomm_push: (a: number, b: number, c: number) => void;
  readonly caml_pasta_fq_plonk_proof_batch_verify: (a: number, b: number, c: number, d: number) => number;
  readonly caml_pasta_fq_plonk_proof_dummy: () => number;
  readonly prover_to_json: (a: number, b: number) => void;
  readonly wasmfqpolycomm_new: (a: number, b: number, c: number) => number;
  readonly wasmfqpolycomm_unshifted: (a: number, b: number) => void;
  readonly wasmfqpolycomm_set_unshifted: (a: number, b: number, c: number) => void;
  readonly __wbg_wasmfqpolycomm_free: (a: number) => void;
  readonly __wbg_get_wasmfqpolycomm_shifted: (a: number) => number;
  readonly __wbg_set_wasmfqpolycomm_shifted: (a: number, b: number) => void;
  readonly __wbg_wasmfqdomain_free: (a: number) => void;
  readonly __wbg_wasmfqshifts_free: (a: number) => void;
  readonly __wbg_set_wasmfqplonkverifierindex_zk_rows: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_index_domain_d1_size: (a: number) => number;
  readonly caml_pasta_fq_plonk_index_domain_d4_size: (a: number) => number;
  readonly caml_pasta_fq_plonk_index_domain_d8_size: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_xor_comm: (a: number, b: number) => void;
  readonly wasmfqlookupverifierindex_set_table_ids: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_set_xor_comm: (a: number, b: number) => void;
  readonly wasmfplookupverifierindex_set_table_ids: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_index_max_degree: (a: number) => number;
  readonly wasmfqplonkverificationevals_xor_comm: (a: number) => number;
  readonly wasmfqlookupverifierindex_table_ids: (a: number) => number;
  readonly __wbg_set_wasmfqlookupverifierindex_joint_lookup_used: (a: number, b: number) => void;
  readonly __wbg_get_wasmfqlookupverifierindex_joint_lookup_used: (a: number) => number;
  readonly __wbg_set_wasmfqdomain_log_size_of_group: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqplonkverifierindex_max_poly_size: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqplonkverifierindex_public_: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqplonkverifierindex_prev_challenges: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqplonkverifierindex_domain: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqplonkverifierindex_shifts: (a: number, b: number) => void;
  readonly __wbg_get_wasmfqplonkverifierindex_domain: (a: number) => number;
  readonly __wbg_get_wasmfqplonkverifierindex_shifts: (a: number) => number;
  readonly caml_pasta_fq_plonk_index_public_inputs: (a: number) => number;
  readonly wasmfpplonkverificationevals_set_range_check0_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_set_foreign_field_add_comm: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_set_range_check1_comm: (a: number, b: number) => void;
  readonly wasmfplookupverifierindex_set_runtime_tables_selector: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_range_check0_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_foreign_field_add_comm: (a: number) => number;
  readonly wasmfqplonkverificationevals_range_check1_comm: (a: number) => number;
  readonly wasmfqlookupverifierindex_runtime_tables_selector: (a: number) => number;
  readonly wasmfpplonkverificationevals_range_check0_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_foreign_field_add_comm: (a: number) => number;
  readonly wasmfpplonkverificationevals_range_check1_comm: (a: number) => number;
  readonly wasmfplookupverifierindex_runtime_tables_selector: (a: number) => number;
  readonly wasmfqlookupverifierindex_set_lookup_info: (a: number, b: number) => void;
  readonly __wbg_get_wasmfpshifts_s0: (a: number, b: number) => void;
  readonly __wbg_get_wasmfqshifts_s0: (a: number, b: number) => void;
  readonly wasmfpplonkverificationevals_xor_comm: (a: number) => number;
  readonly wasmfplookupverifierindex_table_ids: (a: number) => number;
  readonly wasmfqlookupverifierindex_lookup_info: (a: number) => number;
  readonly __wbg_set_wasmfpshifts_s0: (a: number, b: number, c: number) => void;
  readonly __wbg_set_wasmfqshifts_s0: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqdomain_log_size_of_group: (a: number) => number;
  readonly __wbg_get_wasmfqplonkverifierindex_max_poly_size: (a: number) => number;
  readonly __wbg_get_wasmfqplonkverifierindex_public_: (a: number) => number;
  readonly __wbg_get_wasmfqplonkverifierindex_prev_challenges: (a: number) => number;
  readonly __wbg_get_wasmfqplonkverifierindex_zk_rows: (a: number) => number;
  readonly wasmfqplonkverificationevals_set_range_check0_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_set_foreign_field_add_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_set_range_check1_comm: (a: number, b: number) => void;
  readonly wasmfqlookupverifierindex_set_runtime_tables_selector: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_gate_vector_create: () => number;
  readonly wasmpastafpruntimetablecfg_new: (a: number, b: number, c: number) => number;
  readonly wasmpastafqruntimetablecfg_new: (a: number, b: number, c: number) => number;
  readonly wasmfqproverproof_set_proof: (a: number, b: number) => void;
  readonly __wbg_get_wire_row: (a: number) => number;
  readonly __wbg_get_wire_col: (a: number) => number;
  readonly __wbg_wasmfqgatevector_free: (a: number) => void;
  readonly __wbg_set_wasmgvesta_infinity: (a: number, b: number) => void;
  readonly __wbg_set_lookuppatterns_xor: (a: number, b: number) => void;
  readonly __wbg_set_lookuppatterns_lookup: (a: number, b: number) => void;
  readonly __wbg_set_lookuppatterns_range_check: (a: number, b: number) => void;
  readonly __wbg_set_lookuppatterns_foreign_field_mul: (a: number, b: number) => void;
  readonly __wbg_set_lookupfeatures_joint_lookup_used: (a: number, b: number) => void;
  readonly __wbg_set_lookupfeatures_uses_runtime_tables: (a: number, b: number) => void;
  readonly wasmvecvecfq_create: (a: number) => number;
  readonly wasmvecvecfppolycomm_create: (a: number) => number;
  readonly wasmvecvecfqpolycomm_create: (a: number) => number;
  readonly __wbg_get_wasmfqoracles_o: (a: number) => number;
  readonly wasmpastafqlookuptable_new: (a: number, b: number) => number;
  readonly wasmfqopeningproof_delta: (a: number) => number;
  readonly wasmfqopeningproof_sg: (a: number) => number;
  readonly __wbg_wasmfqplonkverificationevals_free: (a: number) => void;
  readonly __wbg_wasmpastafqruntimetablecfg_free: (a: number) => void;
  readonly __wbg_set_wasmfqgate_typ: (a: number, b: number) => void;
  readonly fq_oracles_dummy: () => number;
  readonly __wbg_wasmfqlookupcommitments_free: (a: number) => void;
  readonly __wbg_wasmfqprovercommitments_free: (a: number) => void;
  readonly wasmfqproverproof_set_commitments: (a: number, b: number) => void;
  readonly __wbg_wasmfqgate_free: (a: number) => void;
  readonly __wbg_wasmvecvecfq_free: (a: number) => void;
  readonly wasmfqproverproof_proof: (a: number) => number;
  readonly __wbg_set_wire_row: (a: number, b: number) => void;
  readonly __wbg_set_wire_col: (a: number, b: number) => void;
  readonly __wbg_wasmgvesta_free: (a: number) => void;
  readonly __wbg_wasmvestagprojective_free: (a: number) => void;
  readonly caml_pasta_fq_plonk_proof_deep_copy: (a: number) => number;
  readonly __wbg_wasmpastafqlookuptable_free: (a: number) => void;
  readonly __wbg_wasmvecvecfqpolycomm_free: (a: number) => void;
  readonly caml_pasta_fq_plonk_gate_vector_add: (a: number, b: number) => void;
  readonly wasmfqlookupverifierindex_set_lookup_selectors: (a: number, b: number) => void;
  readonly wasmfqplonkverifierindex_set_evals: (a: number, b: number) => void;
  readonly wasmfqopeningproof_set_delta: (a: number, b: number) => void;
  readonly wasmfqopeningproof_set_sg: (a: number, b: number) => void;
  readonly __wbg_wasmfqruntimetable_free: (a: number) => void;
  readonly __wbg_get_wasmgvesta_infinity: (a: number) => number;
  readonly __wbg_get_lookuppatterns_xor: (a: number) => number;
  readonly __wbg_get_lookuppatterns_lookup: (a: number) => number;
  readonly __wbg_get_lookuppatterns_range_check: (a: number) => number;
  readonly __wbg_get_lookuppatterns_foreign_field_mul: (a: number) => number;
  readonly __wbg_get_lookupfeatures_joint_lookup_used: (a: number) => number;
  readonly __wbg_get_lookupfeatures_uses_runtime_tables: (a: number) => number;
  readonly caml_pasta_fq_plonk_gate_vector_len: (a: number) => number;
  readonly wasmfqlookupverifierindex_lookup_selectors: (a: number) => number;
  readonly wasmfqplonkverifierindex_evals: (a: number) => number;
  readonly __wbg_set_wasmfqgate_wires: (a: number, b: number) => void;
  readonly wasmfqproverproof_set_prev_challenges_scalars: (a: number, b: number) => void;
  readonly __wbg_set_wasmfqoracles_o: (a: number, b: number) => void;
  readonly __wbg_wasmfqopeningproof_free: (a: number) => void;
  readonly __wbg_wasmfqlookupverifierindex_free: (a: number) => void;
  readonly __wbg_wasmfqrandomoracles_free: (a: number) => void;
  readonly wasmfqplonkverifierindex_lookup_index: (a: number) => number;
  readonly wasmfqopeningproof_set_lr_0: (a: number, b: number, c: number) => void;
  readonly wasmfqopeningproof_set_lr_1: (a: number, b: number, c: number) => void;
  readonly __wbg_get_wasmfqgate_typ: (a: number) => number;
  readonly __wbg_get_wasmfqgate_wires: (a: number) => number;
  readonly wasmfqprovercommitments_set_lookup: (a: number, b: number) => void;
  readonly caml_vesta_affine_deep_copy: (a: number) => number;
  readonly wasmfqplonkverificationevals_sigma_comm: (a: number, b: number) => void;
  readonly wasmfqplonkverificationevals_coefficients_comm: (a: number, b: number) => void;
  readonly wasmfqlookupverifierindex_lookup_table: (a: number, b: number) => void;
  readonly caml_pasta_fq_plonk_verifier_index_deep_copy: (a: number) => number;
  readonly caml_fq_srs_lagrange_commitments_whole_domain_read_from_ptr: (a: number, b: number) => void;
  readonly wasmfqlookupcommitments_sorted: (a: number, b: number) => void;
  readonly wasmfqprovercommitments_w_comm: (a: number, b: number) => void;
  readonly wasmfqprovercommitments_lookup: (a: number) => number;
  readonly wasmfqproverproof_commitments: (a: number) => number;
  readonly wasmfqproverproof_prev_challenges_comms: (a: number, b: number) => void;
  readonly __wbg_wasmfqlookupselectors_free: (a: number) => void;
  readonly wasmfqopeningproof_lr_1: (a: number, b: number) => void;
  readonly wasmfqopeningproof_lr_0: (a: number, b: number) => void;
  readonly wasmfqplonkverifierindex_set_lookup_index: (a: number, b: number) => void;
  readonly wasmfqproverproof_prev_challenges_scalars: (a: number) => number;
  readonly fq_oracles_deep_copy: (a: number) => number;
  readonly __wbg_wasmfqplonkverifierindex_free: (a: number) => void;
  readonly __wbg_wasmfqproverproof_free: (a: number) => void;
  readonly __wbg_wasmpastafqplonkindex_free: (a: number) => void;
  readonly memory: WebAssembly.Memory;
  readonly __wbindgen_malloc: (a: number, b: number) => number;
  readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
  readonly __wbindgen_add_to_stack_pointer: (a: number) => number;
  readonly __wbindgen_free: (a: number, b: number, c: number) => void;
  readonly __wbindgen_exn_store: (a: number) => void;
  readonly __wbindgen_thread_destroy: (a?: number, b?: number) => void;
  readonly __wbindgen_start: () => void;
}

export type SyncInitInput = BufferSource | WebAssembly.Module;
/**
* Instantiates the given `module`, which can either be bytes or
* a precompiled `WebAssembly.Module`.
*
* @param {SyncInitInput} module
* @param {WebAssembly.Memory} maybe_memory
*
* @returns {InitOutput}
*/
export function initSync(module: SyncInitInput, maybe_memory?: WebAssembly.Memory): InitOutput;

/**
* If `module_or_path` is {RequestInfo} or {URL}, makes a request and
* for everything else, calls `WebAssembly.instantiate` directly.
*
* @param {InitInput | Promise<InitInput>} module_or_path
* @param {WebAssembly.Memory} maybe_memory
*
* @returns {Promise<InitOutput>}
*/
export default function __wbg_init (module_or_path?: InitInput | Promise<InitInput>, maybe_memory?: WebAssembly.Memory): Promise<InitOutput>;