Tom French
Tom French
This returns a `Uint8Array` but in order to feed this into a circuit I need to get the verification key as fields. I don't know offhand how to decompose the...
> In general, I'd like for us to not need to maintain any of these fallback functions and have the community be responsible for this. The only thing we maintain...
Note that we've removed the concept of fallback functions so we can push forward on this a little more easily.
huh, interesting. It seems like we have 3 different positions in which it's necessary to refer to `N` in 3 different ways. This is the current state of the `BigNum`...
I've taken a bit more of a look into this and it seems like the elaborator just doesn't handle resolving trait paths to associated constants. I'll need a little bit...
Holding off on merging this until #8989 is ready to go in.
This isn't blocked on anything but I'm getting a strange noir compiler panic where an EmbeddedCurvePoint isn't being being flattened properly due to types.
Regressions are cause by the case where an intermediate value is being constrained and this allows another instruction to be resolved to a constant, e.g. ``` acir(inline) fn main f0...
This is starting to fall into the same issues as the "bubble up" SSA pass.