AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Are There Moments When You've Been Working on R One CS?
I haven't really encountered that yet. I've been mostly able to handle things via like addition only, if you will. And also by sort of generalizing, sometimes things get simpler when you when they actually become more general. It actually is simpler when the protocol is general enough to handle R one CS. That's a great case of that where I think describing the protocol is actually becomes especially the making the prover linear time.