Fix export typing

Author: acolytec3

src.rs/src/verkle_ffi_api.rs

@@ -219,7 +219,7 @@ impl Context {
     {
         let input_bytes = serde_wasm_bindgen::from_value(input.into()).unwrap();
         let result = ffi_interface::verify_proof(&self.inner, input_bytes).map(|_op |Boolean::from(true))
-        .map_err(|err| JsError::new(&format!("proof verification failed]: {:?}", err)));
+        .map_err(|err| JsError::new(&format!("proof verification failed: {:?}", err)));
         return result
     }
 }

src.ts/index.ts

@@ -7,8 +7,8 @@ import {
   verifyExecutionWitnessPreState as verifyExecutionWitnessPreStateBase,
   createProof as createProofBase,
   verifyProof as verifyProofBase,
-  ProverInput as ProverInputBase,
-  VerifierInput as VerifierInputBase,
+  type ProverInput as ProverInputBase,
+  type VerifierInput as VerifierInputBase,
 } from './verkleFFIBindings/index.js'
 import { Context as VerkleFFI } from './wasm/rust_verkle_wasm.js'
 

src.ts/tests/ffi.spec.ts

@@ -1,15 +1,15 @@
 import { bytesToHex, randomBytes } from '@ethereumjs/util'
 import { beforeAll, describe, expect, test, assert } from 'vitest'
 
-import { ProverInput, VerifierInput, VerkleCrypto, loadVerkleCrypto } from '../index.js'
+import { ProverInput, VerifierInput, loadVerkleCrypto } from '../index.js'
 import { verifyExecutionWitnessPreState, Context as VerkleFFI } from '../wasm/rust_verkle_wasm.js'
 
 import kaustinenBlock72 from './data/kaustinen6Block72.json'
 import kaustinenBlock73 from './data/kaustinen6Block73.json'
 
 describe('bindings', () => {
   let ffi: VerkleFFI
-  let verkleCrypto: VerkleCrypto
+  let verkleCrypto: Awaited<ReturnType<typeof loadVerkleCrypto>>
   beforeAll(async () => {
     verkleCrypto = await loadVerkleCrypto()
     ffi = new VerkleFFI()

src.ts/verkleFFIBindings/index.ts

@@ -10,8 +10,8 @@ import {
   updateCommitment,
   createProof,
   verifyProof,
-  ProverInput,
-  VerifierInput,
+  type ProverInput,
+  type VerifierInput,
 } from './verkleFFI.js'
 
 export {
@@ -23,6 +23,6 @@ export {
   verifyExecutionWitnessPreState,
   createProof,
   verifyProof,
-  ProverInput,
-  VerifierInput,
+  type ProverInput,
+  type VerifierInput,
 }