I read your BitVM paper, kudos on a unique and forward-thinking idea. I found the paper rather terse though, and struggled to grasp it intuitively.
Is there anywhere I can read about BitVM in more detail, with more worked-out examples?