I just found out about them from the bitvm telegram channel. It's apparently inspired by my javascript bitvm implementation (Tapleaf Circuits) but they added bisection and redid it in rust.

According to the guy who made it, it's still based on bristol circuits just as my initial design was, and therefore -- as I found out by emulating a cpu in a bristol circuit -- it is so incredibly inefficient, I doubt it will ever be used for anything but a proof of concept.

But still cool! It's good for showing that bitvm's fundamental idea works, but if you try to run something complex in it (like Doom), it will start generating petabytes of preimages and overwhelm your cpu and your hard drive.