Howard Wu

If we introduce `is_negative` and `is_positive` trait methods, we can further reduce the cost of these `self.is_less_than(&Self::zero())` checks. For signed cases, we can inspect that `self.msb().is_one()` when `I::is_signed()` for `is_negative`,...

[Bug] Missing powers file

4

## 🐛 Bug Report When starting on a clean machine where there is no `~/.aleo/` folder, and snarkVM has never run, using the universal SRS to generate proofs errors with...

## 🐛 Bug Report The Marlin verifier needs a software check for the expected number of inputs. Currently, one can pad with extra zeros unintentionally and the verifier can pass.

## 🐛 Bug Report The integer div circuit needs further review. It may not be sufficiently constrained on the quotient and remainder.

Does the Merkle tree padding need to be generated via a hash to curve?

## 🚀 Feature Implement `Sum` on circuit types: `field`, `integer`, `scalar`, `group`

## 🚀 Feature Update the commit, hash, and prf snapshots in `snarkvm-bytecode`, which are currently `ignore`d until the redesign of those functions are complete.

## 🚀 Feature Update EdwardsBLS12 to use hash to curve

## 🚀 Feature Add `square_root` support: - [ ] In bytecode, add a `sqrt` opcode for field and scalar - [ ] In circuits, implement `SquareRoot` for scalar (note: field...

## 🚀 Feature `Literal::from_bits` is implemented but commented out. It will need updating the instruction tests due to a change in convention. This feature changes the `Literal::to_bits` impl, by changing...