So the only thing common with BitVM is the name? 😅 But I can see how one can make much more efficient approach compared to individual binary gates... hopefully the layer on top (risc0?) can be unified.