Joseph Spadavecchia
Joseph Spadavecchia
Closes #562 Closes #560 Closes #496 Closes #561
Closes #593
Finish up the rest of foreign field addition * [x] gate creation * [x] witness creation
Abstract out the `LookupContext` logic in prover as a couple of generic functions that can be reused
Sometimes, e.g., in unit tests we need to set up the lookup context / environment. There's quite a bit of code required to do this. We should abstract out the...
This probably consists of two things 1) Add range check to the new circuit API 2) Switch tests to use new circuit API Would be good to simplify the range...