(proof-systems) Native Prover with Napi - GateVector

plonk-napi/Cargo.toml

@@ -23,13 +23,14 @@ ark-serialize.workspace = true
 arkworks.workspace = true
 
 # proof-systems
-kimchi.workspace = true
 mina-curves = { path = "../curves" }
 mina-poseidon = { path = "../poseidon" }
 o1-utils = { path = "../utils" }
 poly-commitment = { path = "../poly-commitment" }
+plonk_wasm.workspace = true
 
 getrandom.workspace = true
+kimchi.workspace = true
 libc.workspace = true
 num-bigint.workspace = true
 once_cell.workspace = true

plonk-napi/src/circuit.rs

@@ -1,12 +1,11 @@
+use crate::{build_info::report_native_call, pasta_fp_plonk_index::NapiPastaFpPlonkIndex};
 use ark_ff::PrimeField;
 use kimchi::circuits::{constraints::ConstraintSystem, gate::CircuitGate};
 use mina_curves::pasta::Fp;
 use napi::bindgen_prelude::*;
 use napi_derive::napi;
 use serde::Serialize;
 
-use crate::{build_info::report_native_call, types::WasmPastaFpPlonkIndex};
-
 #[derive(Serialize)]
 struct Circuit<F>
 where
@@ -30,7 +29,7 @@ where
 }
 
 #[napi(js_name = "prover_to_json")]
-pub fn prover_to_json(prover_index: &External<WasmPastaFpPlonkIndex>) -> String {
+pub fn prover_to_json(prover_index: &External<NapiPastaFpPlonkIndex>) -> String {
     report_native_call();
 
     let circuit: Circuit<Fp> = prover_index.0.cs.as_ref().into();