diff --git a/barretenberg/cpp/src/barretenberg/bb/main.cpp b/barretenberg/cpp/src/barretenberg/bb/main.cpp
index 39c5cab4696..16daca7fd3c 100644
--- a/barretenberg/cpp/src/barretenberg/bb/main.cpp
+++ b/barretenberg/cpp/src/barretenberg/bb/main.cpp
@@ -969,8 +969,8 @@ void avm_prove(const std::filesystem::path& bytecode_path,
     std::vector<fr> vk_as_fields = verification_key.to_field_elements();
 
     vinfo("vk fields size: ", vk_as_fields.size());
-    vinfo("circuit size: ", static_cast<size_t>(vk_as_fields[0]));
-    vinfo("num of pub inputs: ", static_cast<size_t>(vk_as_fields[1]));
+    vinfo("circuit size: ", static_cast<uint64_t>(vk_as_fields[0]));
+    vinfo("num of pub inputs: ", static_cast<uint64_t>(vk_as_fields[1]));
 
     std::string vk_json = to_json(vk_as_fields);
     const auto proof_path = output_path / "proof";