now it only supports `generateProof` but the mopro-ffi also supports `verifyProof` try to build the API for verify proofs - [ ] circom - [ ] halo2
now it only supports
generateProofbut the mopro-ffi also supports
verifyProoftry to build the API for verify proofs