(Native prover) prover index

plonk-napi/Cargo.toml

@@ -27,8 +27,8 @@ kimchi.workspace = true
 mina-curves = { path = "../curves" }
 mina-poseidon = { path = "../poseidon" }
 o1-utils = { path = "../utils" }
-kimchi = { path = "../kimchi" }
 poly-commitment = { path = "../poly-commitment" }
+plonk_wasm.workspace = true
 
 getrandom.workspace = true
 libc.workspace = true

plonk-napi/src/circuit.rs

@@ -5,7 +5,7 @@ use napi::bindgen_prelude::*;
 use napi_derive::napi;
 use serde::Serialize;
 
-use crate::types::WasmPastaFpPlonkIndex;
+use crate::pasta_fp_plonk_index::WasmPastaFpPlonkIndex;
 
 #[derive(Serialize)]
 struct Circuit<F>

plonk-napi/src/lib.rs

@@ -1,25 +1,22 @@
 mod circuit;
-mod gate_vector;
+mod pasta_fp_plonk_index;
+mod pasta_fq_plonk_index;
+mod poly_comm;
 mod poseidon;
-mod types;
+mod srs;
+mod tables;
 mod wrappers;
 mod wasm_vector;
-mod poly_comm;
 
-pub use circuit::prover_to_json;
-pub use gate_vector::{
-    caml_pasta_fp_plonk_circuit_serialize, caml_pasta_fp_plonk_gate_vector_add,
-    caml_pasta_fp_plonk_gate_vector_create, caml_pasta_fp_plonk_gate_vector_digest,
-    caml_pasta_fp_plonk_gate_vector_get, caml_pasta_fp_plonk_gate_vector_len,
-    caml_pasta_fp_plonk_gate_vector_wrap, caml_pasta_fq_plonk_circuit_serialize,
-    caml_pasta_fq_plonk_gate_vector_add, caml_pasta_fq_plonk_gate_vector_create,
-    caml_pasta_fq_plonk_gate_vector_digest, caml_pasta_fq_plonk_gate_vector_get,
-    caml_pasta_fq_plonk_gate_vector_len, caml_pasta_fq_plonk_gate_vector_wrap,
-    NapiFpGate as WasmFpGate, NapiFpGateVector as WasmFpGateVector, NapiFqGate as WasmFqGate,
-    NapiFqGateVector as WasmFqGateVector,
+pub use pasta_fp_plonk_index::{
+    prover_index_fp_from_bytes, prover_index_fp_to_bytes, WasmPastaFpPlonkIndex,
+};
+pub use pasta_fq_plonk_index::{
+    prover_index_fq_from_bytes, prover_index_fq_to_bytes, WasmPastaFqPlonkIndex,
 };
 pub use poly_comm::{pallas::WasmFqPolyComm, vesta::WasmFpPolyComm};
 pub use poseidon::{caml_pasta_fp_poseidon_block_cipher, caml_pasta_fq_poseidon_block_cipher};
-pub use types::{prover_index_from_bytes, prover_index_to_bytes, WasmPastaFpPlonkIndex};
+pub use srs::{caml_fp_srs_from_bytes, caml_fp_srs_to_bytes, caml_fq_srs_from_bytes};
+pub use tables::{JsLookupTableFp, JsLookupTableFq, JsRuntimeTableCfgFp, JsRuntimeTableCfgFq};
 pub use wasm_vector::{fp::WasmVecVecFp, fq::WasmVecVecFq};
 pub use wrappers::{field::{WasmPastaFp, WasmPastaFq}, group::{WasmGPallas, WasmGVesta}};