Tom French

We recently ran into an issue during the [Noir sync](https://github.com/AztecProtocol/aztec-packages/pull/7134) which slipped through due to a lack of tests for non-zero separators. We should generate some test vectors using an...

feat: rewrite constraints on binary instructions in terms of their inputs

1

… # Description ## Problem\* Resolves ## Summary\* This PR is blocked by #4065 and #4060 as otherwise we get a large number of duplicated constraints from multiple constraints being...

# Description ## Problem\* Resolves ## Summary\* This PR pulls across @guipublic's keccak256 implementation from https://github.com/AztecProtocol/aztec-packages/pull/3726 as the keccakf1600 is already supported by bb so we can do the rest...

See commit https://github.com/AztecProtocol/aztec-packages/pull/7134/commits/d2b452927ca844d687b69f94aa65a4d9bf6cf10e which was required workaround for this issue

chore: add testcase for slice equality failing in comptime interpreter

4

# Description ## Problem\* Resolves ## Summary\* This PR adds a test case for #5273 which tracks whether the compile is properly handling comptime slice equalities. Once #5273 is fixed...

After #4983 we'll have a negation trait, we should allow calling this through an operator overload similar to how we do for arithmetic operations.

fix: allow using type aliases in struct patterns and constructors

1

# Description ## Problem\* Resolves ## Summary\* This PR adds behaviour to the elaborator such that when looking up a type fails, before throwing an error we instead look up...

feat: reactivate "bubble up constrains" SSA pass

1

# Description ## Problem\* Resolves ## Summary\* Keeping this open to track the effects of this pass with a view to fixing the issues with it regarding ordering. ## Additional...

feat: perform any constant pedersen blackbox functions at compile-time

1

# Description ## Problem\* Resolves ## Summary\* Now that we have rust implementations of all blackbox functions, we can perform any pedersen operations with constant inputs at compile-time. We couldn't...

Currently the program below ```rust fn main() { comptime { println("hello world"); } } ``` is formatted into ```rust fn main() { comptime { println("hello world"); } } ``` Ideally...