pub fn verify_js_proof( proof: JsString, public_inputs: Array, vk: JsString, curve: WasmCurve, ) -> bool