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