S-two is the best prover to bring ZK local. It unlocks client-side proving on everyday devices: laptops, phones, browsers… It’s simply faster than anything else out there. And yes, devs can already build with it.