fix: use log.Printf

fix: typo

Author: JuArce

crates/batcher/verifiers_ffi/verifier.go

@@ -125,27 +125,24 @@ func VerifyCircomGroth16ProofBN128(proofBytesRef C.ListRef, pubInputBytesRef C.L
 	proofBytes := listRefToBytes(proofBytesRef)
 	pubInputBytes := listRefToBytes(pubInputBytesRef)
 	verificationKeyBytes := listRefToBytes(verificationKeyBytesRef)
-	print("FFI proofBytes: ", unsafe.Pointer(proofBytesRef.ptr), " len: ", len(proofBytes))
-	print("FFI pubInputBytes: ", unsafe.Pointer(pubInputBytesRef.ptr), " len: ", len(pubInputBytes))
-	print("FFI verificationKeyBytes: ", unsafe.Pointer(verificationKeyBytesRef.ptr), " len: ", len(verificationKeyBytes))
 
 	proof, err := parsers.ParseProof(proofBytes)
 	if err != nil {
-		print("FFI ParseProof error: ", err)
+		log.Printf("Could not parse proof: %v", err)
 		return false
 	}
+
 	public, err := parsers.ParsePublicSignals(pubInputBytes)
 	if err != nil {
-		print("FFI ParsePublicSignals error: ", err)
+		log.Printf("Could not parse public signals: %v", err)
 		return false
 	}
+
 	vk, err := parsers.ParseVk(verificationKeyBytes)
 	if err != nil {
-		print("FFI ParseVk error: ", err)
+		log.Printf("Could not parse verification key: %v", err)
 		return false
 	}
 
-	is_valid := verifier.Verify(vk, proof, public)
-	print("FFI is_valid: ", is_valid)
-	return is_valid
+	return verifier.Verify(vk, proof, public)
 }

scripts/test_files/circom_groth16_bn128_script/generate_proof.sh

@@ -6,7 +6,7 @@
 circom --r1cs --wasm --c --sym --inspect circuit.circom
 # 11. View information about the circuit
 snarkjs r1cs info circuit.r1cs
-# 12. Print the constraints [ommitted]
+# 12. Print the constraints [omitted]
 # 13. Export r1cs to json
 snarkjs r1cs export json circuit.r1cs circuit.r1cs.json
 # 14. Calculate the witness