Jack Gilcrest

Edit: I got it to compile by removing reqwest, but this neuters the functionality. New request for help: How do I get the reqwest functionality without breaking wasi?

Though #23 solves this issue for PSE, [there is no equivalent for ZCash](https://github.com/zcash/halo2/issues/771). Right now, the opcodes reside in the [`NoirCircuitTranslator`](https://github.com/Ethan-000/halo2_backend/blob/master/src/pse_halo2/circuit_translator.rs#L25) struct. However, we could likely store values like opcodes...

Ah somehow I missed that `configure` does not have access to `self` like `synthesize` does. that is annoying

Will take this on!

> Hey @jp4g ! Saw your comment on this in the halo2-lib discussion TG as well. Would you require help with this? Would be delighted to contribute DM'd on telegram,...

For deeper context, I ported over the PSE MockProver tests to axiom. Here is the correct assignment for a, b, and c:  Which MockProver successfully runs for:  However...

#32 Added MockProver for PSE Axiom to be included in axiom-equality branch

This is causing some issues for people who want to use notes - if you want a note with > 4 (using #[note]) or 5 (using #[note_custom_interface]) you need to...