kevaundray

We ideally want to only expose noir_field through ACVM. The backends would be pushed up the stack to nargo and we pass it down the stack where it is needed....

Additionally, we want to be able to compile the Noir frontend without the backend's proving system, ie we only need everything unto the partial witness generator which is in Rust....

I think we still want it to be an error and not by default optimised out by the compiler. An unused variable signals an unused constraint, which is most likely...

In the interpreter it would have been fine to also have unused constraints. The unused constraint is indicative of a bug in the business logic of your code which is...

For constraint systems, the biggest source of bugs will be missing constraints, not using a variable is a subclass of this that we should guard against. In classical languages, I...

Yeah I think we agree for most points too. The main difference in viewpoint is whether the compiler should automatically opt the user into this behaviour or whether they should...

A part of this involves removing explicit hashpaths and allowing them to be inferred from some stateful component

One idea is to make the partial witness generator stateful, it would be initialised with a set of merkle trees and using the root and index, we can fetch the...

Blocked by #87

Although https://github.com/noir-lang/noir/pull/115 was merged. Leaving this open to track update functionality