Raymond Chu

[Bug] CI not running `snarkvm-ledger` tests that require the `test` feature.

5

CI is not running `snarkvm-ledger` tests that require the `test` feature. For instance all the `valid_solutions` tests [here](https://github.com/ProvableHQ/snarkVM/blob/staging/ledger/src/tests.rs#L2520-L2521). There may be other places as well that have tests that are...

[Feature] Implement `snark.verify` opcode

1

## Motivation This PR implements the `snark.verify` and `snark.verify.batch` opcode, which are `finalize`-only operations that verifies a Varuna proof. In order to support this, the array size was also increased...

[Feature] Add Aleo generator access to programs.

1

## Motivation This PR adds access to the Aleo generator `G` to program functions and finalize via a new operand, `aleo::GENERATOR`. This will allow us to perform `g_scalar_multiply` in programs,...

## 🚀 Feature Events similar to Event types could be useful for developers to signal specific on-chain activity. ## Motivation Events would be nice for application developers to easily track...

Many new program rules and opcodes have been added in the last few consensus versions. The logic we use to check program validity is becoming unwieldy and should be cleaned...

[Bug] SIGKILL in CI

3

## 🐛 Bug Report Recent CI have been failing due to SIGKILLS, which are likely OOM issues. Possibly due to the machines used in CI? Example Error: ``` Summary [...

[Refactor] Clean up TX verification logic

1

## 💥 Proposal The Transaction verification logic is growing with all the new ConsensusVersion rule changes. These should be abstracted elsewhere for better readability. https://github.com/ProvableHQ/snarkVM/blob/staging/synthesizer/src/vm/verify.rs#L201