Epic: Upgrade to the UltraPlonk Version of Aztec Backend

[Savio-Sou]

Problem

The current aztec_backend and aztec_wasm_backend Nargo uses are based on the TurboPlonk version of Aztec Backend, which lacks efficient implementations of useful primitives (e.g. Keccak256 in 18k constraints, ECDSA verification in 36k constraints) that the UltraPlonk version offers.

Proposed solution

Switch to the UltraPlonk version of Aztec Backend.

Alternatives considered

No response

Additional context

At the moment of submitting this issue, this is known to be blocked by certain upgrade works on both Aztec Backend and Barretenberg needed for integration with Noir, including but not limited to:

Tasks

Beta Give feedback

1. feat: Working UltraPlonk for Noir AztecProtocol/barretenberg#299
   +0
2. feat!: Depend upon upstream barretenberg & switch to UltraPlonk acvm-backend-barretenberg#84
   +0
3. fix: Revert generator changes that cause memory OOB access AztecProtocol/barretenberg#338
   +0
4. fix: Barretenberg renamed pedersen to pedersen_commitment barretenberg-sys#12
   +0
5. 32-Byte Keccak256 challenges for UltraPlonK AztecProtocol/barretenberg#350
   +0
   
6. feat!: Switch to aztec_backend that uses upstream BB & UltraPlonk #1114
   doc needed +1

The issue is created more for tracking purposes.