dynamic configuration

[Ethan-000]

Ideally, we want to configure the circuit based on the opcodes required.

For example, if the circuit doesn't use ecdsa opcode there's no need to configure ecdsa.

currently the configure function of the Circuit trait in halo2 doesn't take self, so it doesn't have access to the fields of the struct (NoirHalo2Translator). I'm wondering if theres a way around this.

[jp4g]

Though #23 solves this issue for PSE, there is no equivalent for ZCash. Right now, the opcodes reside in the NoirCircuitTranslator struct. However, we could likely store values like opcodes in PlonkConfig.

This is a reasonable approach I think since the official halo2_gadgets Poseidon's configuration has both columns/ selectors and operational parameters.

[Ethan-000]

Thanks for the comment :). The way configure function works is different between chips and circuits so that in circuits, we can't pass additional parameters.

[jp4g]

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