This is on going work, we planned to go public very soon. It's the polynamial that you typically want your proving system to vanish over. We don't have to try and make it so that our constraints nicely match up with our with our vanishing polynomio. That word does help. I definitely think i understand a little bit better. You're not improving the look up table. You're improving the prover's ability to use it. Yes, we can make it so the prove for our look up table is basically log sized, in he in the number of entries, rather than linear sized,. if you were to consider i as a stand alone pratical.

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