AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Optimisation
Halo to produces smaller proofs, and plunky too has a faster prover. I'm really enthusiastic that we have some competition between proof systems. There are applications for which you would definitely want to use am plunky to. And there's also potentially interesting like a co operation that can occur between these.