📰 A new scientific paper entitled "BitVM: Compute Anything on Bitcoin" proposes a new method for performing complex calculations and smart contracts on the Bitcoin network. Basic moments:

- Users verify Bitcoin calculations without executing them on the blockchain.

- The prover-verifier model is used.

- BitVM does not require changes to Bitcoin consensus rules.

- Possible applications: checking evidence for Bitcoin contracts, bridges between blockchains, predictive markets on Bitcoin.

- Limitations: only works in a two-way context between the prover and the verifier.

However, Blockstream co-founder Adam Back pointed out that the article is not as revolutionary as it might seem to the uninitiated.