Verifiability is all you need.

All of these radical improvements in scalablity, privacy, and flexibility show up when you realize that “turing complete” is the wrong tool, that what our systems do is verification, not computation. This cognitive error confers no advantage, outside of marketing to people with a fuzzy idea of what smart contracts might be good for in the first place.

What do we verify?

1. Computation.
2. Data availability.

We are only now seeing the unbundling of (1) and (2).

Examples:

• Social networks - Lens launches Momoka.