AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Recursion Threshold Points
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.