ljedrz

## 🐛 Bug Report The following error likes to pop up in the CircleCI `tests` job from time to time: ``` running 1 test test helpers::block_requests::tests::test_block_requests_case_2cbb ... FAILED failures: ----...

Filing this issue instead of https://github.com/AleoHQ/snarkOS/issues/1361.

Use bitvec

3

This PR proposes the use of `bitvec` to handle vectors and slices of `bool` in order to reduce related memory use to an **eighth** of the current values and to...

Fix Arc unwraps in Process::execute

3

I'd like to make sure that the `Arc` used for the `execution` in `Process::execute` isn't "leaky".

Split out the compiler crate

3

Many users will likely only be interested in the `snarkvm-compiler` crate, so it makes sense to isolate it. An alternative would be to introduce a `compiler` feature for `snarkvm` (in...

Deduplicate macro code in parameters

4

While looking at the issue of parameters not downloading, I noticed that plenty of code is duplicated in the related macros, making it harder to analyze; it will also cause...

Don't verify transactions twice

2

When running `Ledger::add_next_block`, the transactions are currently verified twice: - in `Ledger::check_next_block` (called at `vm/compiler/src/ledger/mod.rs:508`) - in `VM::finalize` (called at `vm/compiler/src/ledger/mod.rs:556`) Since this isn't a fast operation, we should only...

Update clap to 4.0

7

Colored help output is [currently not supported](https://github.com/clap-rs/clap/issues/4132), but [there are plans](https://github.com/clap-rs/clap/pull/4256#issuecomment-1258189348) to work around it. In addition, run `cargo update` as a drive-by.

## 💥 Proposal It is currently not easy to immediately tell if an object has been verified or not (examples: https://github.com/AleoHQ/snarkVM/pull/990, https://github.com/AleoHQ/snarkVM/pull/1011). This could be solved with types, which would...

[Bug] CI job failure (test_assert_eq_succeeds)

15

Detected in https://github.com/AleoHQ/snarkVM/pull/982: ``` thread 'program::instruction::operation::assert::tests::test_assert_eq_succeeds' panicked at 'assertion failed: `(left == right)` left: `0`, right: `1`: Constant constraint failed: (0 * 1) =?= 1', /home/circleci/project/circuit/environment/src/circuit.rs:156:29 note: run with `RUST_BACKTRACE=1`...