While trying to understand the paper I did a simple explanation write-up https://github.com/fiksn/bitvm-explained
Feel free to add PRs to make this easier to grasp (or correct any mistakes I did).