diff --git a/barretenberg/cpp/src/barretenberg/bb/main.cpp b/barretenberg/cpp/src/barretenberg/bb/main.cpp index 8661657438de..e4b65f266eca 100644 --- a/barretenberg/cpp/src/barretenberg/bb/main.cpp +++ b/barretenberg/cpp/src/barretenberg/bb/main.cpp @@ -898,7 +898,7 @@ template bool verify_honk(const std::string& proof_path, // TODO(https://github.com/AztecProtocol/barretenberg/issues/1168): Add formula to flavor const size_t HONK_PROOF_LENGTH = 469; const size_t num_public_inputs = - static_cast(proof[1]) - PAIRING_POINT_ACCUMULATOR_SIZE - IPA_CLAIM_SIZE; + static_cast(uint64_t(proof[1])) - PAIRING_POINT_ACCUMULATOR_SIZE - IPA_CLAIM_SIZE; // The extra calculation is for the IPA proof length. debug("proof size: ", proof.size()); debug("num public inputs: ", num_public_inputs);