SuperNova is a recursive proof system which supports machines with a rich instruction set. We break down the different components needed for SuperNova and how to achieve non-uniform IVC in this new blog post.

> a recursive proof system

But you and I, will never die, the world still spinning 'round, you don't know why. Why? Why? Why? Why?