AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Was It Like Halo, Great, Were Just Going to Start Again?
The original halo implementation that we published along with the paper ar, as i mentioned, we wrote this all in a weekwit on style. We are not really a fan of productionizing things that we write in a weekfar ar. But at the same time, we had come off a multi year development process for the bellman crate,. The rust prover library that shon statef writing that we've then since used for the sapling protocolins and also now used for sprout eand. It's ow one c s based proving implementation that implements on c s and then grot 16 under underneath. And we wanted to take those and apply them with the halo technique and