Provable Bitcoin Script VM is moving forward nicely, we implemented more than half of the opcodes in a week 🤯
https://github.com/keep-starknet-strange/shinigami
Of course in the remaining ones there are some that are much more complex to implement, but this is very promising.