BitVM può essere implementato su Bitcoin oggi o stiamo ancora aspettando alcuni codici OP?