No Real-Time Proving, No Bitcoin zkRollup. BitVM2 -==> BitVM2-GC
3,48K