pub fn generate_proof_js(proof_input: JsProofInput) -> Result<Proof, JsValue>