verify refactor / tune

src/pos/verify.cpp

@@ -86,19 +86,19 @@ compute(const std::vector<uint32_t>& X_values, std::vector<uint32_t>* X_out, con
 	}
 	const auto X_set = std::set<uint32_t>(X_values.begin(), X_values.end());
 
-	const bool use_threads = (xbits > 6);
+	const bool use_threads = (xbits >= 6);
 
 	if(use_threads) {
 		std::lock_guard<std::mutex> lock(g_mutex);
 		if(!g_threads) {
 			const auto cpu_threads = std::thread::hardware_concurrency();
 			const auto num_threads = cpu_threads > 0 ? cpu_threads : 16;
 			g_threads = std::make_shared<vnx::ThreadPool>(num_threads, 1024);
-			vnx::log_info() << "Using " << num_threads << " CPU threads (for proof compute)";
+			vnx::log_info() << "Using " << num_threads << " CPU threads for proof compute";
 		}
 	}
 	const uint32_t kmask = ((uint64_t(1) << ksize) - 1);
-	const uint32_t num_entries_1 = X_set.size() << xbits;
+	const uint64_t num_entries_1 = X_set.size() << xbits;
 
 	std::mutex mutex;
 	std::vector<int64_t> jobs;
@@ -116,7 +116,7 @@ compute(const std::vector<uint32_t>& X_values, std::vector<uint32_t>* X_out, con
 	M_tmp.reserve(num_entries_1);
 	entries.reserve(num_entries_1);
 
-	for(const auto X : std::set<uint32_t>(X_set.begin(), X_set.end()))
+	for(const auto X : X_set)
 	{
 		if(use_threads) {
 			const auto job = g_threads->add_task(