Fix Makefile names

Author: xqft

Makefile

@@ -691,11 +691,11 @@ generate_halo2_ipa_proof:
 __MINA_FFI__: ##
 build_mina_macos:
 	@cd operator/mina/lib && cargo build --release
-	@cp operator/mina/lib/target/release/libkimchi_verifier_ffi.dylib operator/mina/lib/libkimchi_verifier.dylib
+	@cp operator/mina/lib/target/release/libmina_state_verifier_ffi.dylib operator/mina/lib/libmina_state_verifier.dylib
 
 build_mina_linux:
 	@cd operator/mina/lib && cargo build --release
-	@cp operator/mina/lib/target/release/libkimchi_verifier_ffi.so operator/mina/lib/libkimchi_verifier.so
+	@cp operator/mina/lib/target/release/libmina_state_verifier_ffi.so operator/mina/lib/libmina_state_verifier.so
 
 test_mina_rust_ffi:
 	@echo "Testing Mina Rust FFI source code..."