[Epic]: Proving Phase 3 - Proving Private App Circuits

[PhilWindle]

This epic will introduce the proving of private function circuits. These will need to be marked #[recursive] and proven as part of the PXE's tx proving process. The proof and public inputs PrivateCircuitPublicInputs will be passed to the kernel circuit simulation/proving cycle.

Tasks

Beta Give feedback

1. [Proving Phase 3]: Generate proofs of private function circuits #6236
   +0
   
2. [Proving Phase 3]: Make all #[aztec(private)] functions recursive #6237
   +0