Merge pull request powdr-labs#697 from powdr-labs/hint-query

Implement hint query
AztecProtocol · Oct 12, 2023 · b6450fa · b6450fa
2 parents b48099a + 67a5826
commit b6450fa
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/compiler/src/lib.rs b/compiler/src/lib.rs
@@ -335,6 +335,10 @@ pub fn inputs_to_query_callback<T: FieldElement>(inputs: Vec<T>) -> impl Fn(&str
                 print!("{}", items[1].parse::<u8>().unwrap() as char);
                 Some(0.into())
             }
+            "\"hint\"" => {
+                assert_eq!(items.len(), 2);
+                Some(T::from_str(items[1]))
+            }
             _ => None,
         }
     }

diff --git a/halo2/src/mock_prover.rs b/halo2/src/mock_prover.rs
@@ -77,6 +77,10 @@ mod test {
                     print!("{}", items[1].parse::<u8>().unwrap() as char);
                     Some(0.into())
                 }
+                "\"hint\"" => {
+                    assert_eq!(items.len(), 2);
+                    Some(Bn254Field::from_str(items[1]))
+                }
                 _ => None,
             }
         };