[Epic]: Proving Phase 2 - Private Kernels

[PhilWindle]

This epic is concerned with implementing the proving of the private kernel circuits. The scope will be to prove all variants of the private kernel circuit including recursive verification.

Tasks

Preview Give feedback

1. [Proving Phase 2]: Create prover abstraction and configure 'prover' vs 'proverless' modes of PXE operation #5976
   +0
2. [Proving Phase 2]: Use bb to generate proofs of private kernel circuits #5977
   +0
3. [Proving Phase 2]: Update private kernel circuits to support recursive verification #5978
   +0
4. [Proving Phase 2]: Update benchmarks with private kernel proving times #5979
   +0
5. [Proving Phase 2]: Update Yellow paper for private kernel circuits #5980
   +0
6. [Proving Phase 2]: Prevent contract compilation if specifying pub arguments to a private or public function #6285
   +0