Jack Grigg

Aha, it's (ironically) `path_helper` that is causing this! It is taking the `PATH` settings from `~/.profile` and **appending** them to the default system path. https://gist.github.com/Linerre/f11ad4a6a934dcf01ee8415c9457e7b2 is a great write-up of...

Hmm, restarting did not help. Now it seems I have a different problem: - `path_helper` is finding the content of `~/.zprofile` and appending it to then (login-level?) `PATH`. - Zsh...

Looking at how `rustup-init` works, it should be writing to `~/.profile` (because it always writes to the POSIX location) and `~/.zshenv` (because macOS defaults to Zsh since 10.15 Catalina): https://github.com/rust-lang/rustup/blob/33ad3a4304eeeddc651eea95edb17cc7c6bc88d0/src/cli/self_update/shell.rs#L124-L128...

This PR is blocked on us upgrading our `rand_core` across the entire Zcash ecosystem (due to the need for trait coherence). In doing so, we need to take into account...

The `image` dependency is only present because of the `test-dev-graph` feature flag, which is only present for `halo2` devs to run tests. So we need to ensure that CI is...

We will bump the MSRV when we cut the next breaking release of `halo2_proofs`, which will likely be when `ff` is updated.

This change still needs to be incorporated.

I'm going to rebase this PR and then propose that we merge it as-is. The current APIs I've implemented work fine, and there's no need to block releasing them on...