There are actually competing definitions of what i v c an m pc d, which is the general case am a sent for. And we've given basically one of them here. M and i didn't really understand the other one at the other day. The cor take away with it is that what you're trying to do with recursion, or with a recursov proof, is to reduce the size of what you need to verify. I mag that's what's referred to as the recursion thresholdsoiti's a concept of needing a certain size of circuit to be able to verify another circuit. For different schemese, the recursions threshold point can be at different sizes.

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.
App store bannerPlay store banner

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode