Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: remove commented code (#7231)
Even though noir-lang/noir#4633 is now closed, we no longer need this function due to how github.com//pull/7169 (the sole user of the API) does historical proofs (i.e. it reads a single slot).
- Loading branch information