Expose uniffi bindings for building and verifying proofs