Hacker Newsnew | past | comments | ask | show | jobs | submit | l2c's commentslogin

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?


Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: