From db352e9f35a36a8306640bdc688e5305fa189608 Mon Sep 17 00:00:00 2001
From: Georg Wiese <georgwiese@gmail.com>
Date: Thu, 14 Dec 2023 12:12:34 +0100
Subject: [PATCH] Improve Error Message when providing external witness values

---
 executor/src/witgen/mod.rs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/executor/src/witgen/mod.rs b/executor/src/witgen/mod.rs
index d6fecca2b..5178ab250 100644
--- a/executor/src/witgen/mod.rs
+++ b/executor/src/witgen/mod.rs
@@ -195,9 +195,14 @@ impl<'a, T: FieldElement> FixedData<'a, T> {
             ));
 
         if !external_witness_values.is_empty() {
+            let available_columns = witness_cols
+                .iter()
+                .map(|(_, witness)| &witness.poly.name)
+                .collect::<Vec<_>>();
             panic!(
-                "External witness values for non-existent columns: {:?}",
-                external_witness_values.keys()
+                "External witness values for non-existent columns: {:?}\nAvailable columns: {:?}",
+                external_witness_values.keys(),
+                available_columns
             );
         }