Tom French

chore: move aes example into a code snippet

2

# Description ## Problem\* Resolves https://github.com/noir-lang/noir/pull/5818 ## Summary\* This PR fixes the issues in the aes example and adds the example into the test suite so this cannot reoccur. ##...

Remove `Directive::ToLeRadix`

1

We currently have a single variant of the directive opcode which we use for bit/byte decompositions. If we perform the decomposition in a brillig function then we can remove this...

feat: avoid branch condition negations in `ValueMerger`

2

# Description ## Problem\* Resolves ## Summary\* This PR modifies how we merge values from `pred * a + (1-pred) * b` to `a + pred * (b-a)` which avoids...

Deprecate the `#[recursive]` attribute from functions

1

This attribute was added at the point where barretenberg was compiled into nargo and so we needed a way inside of Noir to specify whether `nargo prove` should generate a...

Support specifying generics on a type when calling an associated function

1

We currently do not allow applying a turbofish to a struct type, attempting to do so will result in a `UnsupportedTurbofishUsage` error ```noir struct Foo { x: T } impl...

Add dead code elimination for ACIR/Brillig calls in ACVM

1

We currently support multiple ACIR and Brillig functions within an ACVM program however there's no guarantee that every function will be called. We should add an optimization pass which inspects...

`std::hash::keccak256` cannot hash more than a single block (136 bytes input)

1

`std::hash::keccak256` is currently written implying that it will support inputs of multiple blocks however attempting to provide inputs in excess of 136 bytes will fail as we attempt to write...

### Aim Noticed this while testing https://github.com/noir-lang/noir/pull/3174, but it's unrelated to the changes in that PR. I'd like to be able to go from opcodes back to the relevant expressions...

Struct is not considered as "used" despite being passed as a generic when constructing another type.

3

Noticed this in `noir-bignum` but will add a smaller repro later. The `Test2048Params` struct is never constructed within the library and should not be exposed as public: https://github.com/noir-lang/noir-bignum/blob/910dcbb8c2f07efb45416d267e75fdb3361b5b01/src/bignum_test.nr#L12 However, I...