I wrote a post that hopefully unpacks BitVM: https://lightningnetwork.plus/posts/450 Please check and correct it if needed!