BitVM: Compute Anything on Bitcoin [pdf]

There is a discussion on Hacker News, but feel free to comment here as well.