Generate a logical circuit for BitVM Bitcoin from a C like source code - View it on GitHub