AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is There a Zero Knowledge Bug?
There are areas where the polynomulus sol ve, like broken up and adjusted to a ta, sort of make the vanishing argument work. There was some difficulty in getting that to work properly with zero knowledge,. In such a way that we could prove sero knowledge rigorously. The actual components of it are independently, reasonably well understood from a theoretical perspective. But the thing that isn't well understood is how to actually use the plunk arithmetization efficiently.