Howard Wu

## 🚀 Feature Rename `AleoSymmetricEncryption0` to `AleoEncryption0` (3 instances). Rename `AleoSymmetricKeyCommitment0` to `AleoMAC0` (3 instances).

## 🚀 Feature ```rs struct Group { fn new(point: affine) -> Self { let output: Group = CS::alloc(point * COFACTOR_INV); Self::on_curve_check(output); // let output = output * Scalar::constant(COFACTOR); let output...

## 🚀 Refactor 1. The `Instruction` struct’s enum match cases should get turned into a macro (see `match_count!`) for an example there is a corner case for the indices (see...

## 🚀 Feature Early halt on nested definitions and values that exceed `P::NUM_DEPTH` This applies to `Definition` and `Value` in `snarkvm-bytecode`. We'll need to add safety checks for both string...

[Feature] `testnet2` checklist

1

## 🚀 Feature `testnet2` todos are as follows: Core changes: - [x] #228 - [x] #241 - [x] #251 - [x] #264 - [x] #271 Ledger changes: - [x] #272...

## 🚀 Feature The following are remaining todos to complete the value balance sprint: - Introduce n AleoLocator for value commitment and value balance commitment - Remove `#[ignore]` on `test_block_serde_json...

Update PoSW to use the same Marlin universal parameters as DPC. In testnet1, as PoSW was the only Marlin circuit, it was fine to specialize. Given testnet2 is Marlin based,...

[Proposal] `to_field_element` bit packing instead of byte packing

1

## 💥 Proposal Currently, converting a `[u8]` into `Vec` uses byte-aligned indices to convert to field elements. ```rs #[inline] fn to_field_elements(&self) -> Result { let max_size = ::Parameters::CAPACITY / 8;...

[Bug] Fix serialization length type inconsistencies

1

## 🐛 Bug Report Fix serialization length type inconsistencies: - [ ] String (u16 in `ToBytes` vs u32 in `MAX_STRING_BYTES`) - [x] And this case https://github.com/AleoHQ/snarkVM/pull/987/commits/83b8c3b6f07d59aac9582ccc88065c7c85fb3e44

## 🚀 Feature Refactor `string` type into a bounded design with `O(num_fields)`.