SuperNova and Parallelising Nova

Continuing our deep dive on Nova, this workshop will explore the details of SuperNova and parallelised Nova proving. We will discuss the intricacies of SuperNova and the new paradigm of IVC it introduces (NIVC). Then, we'll dive into an orthogonal idea that further enhances the efficiency of Nova provers in practical settings: parallelization of Nova and SuperNova proving! Additionally, we will share some insights, benchmarks, and challenges observed in concrete experiments with a parallelised Nova implementation as part of a recent Nova zkVM effort.