Smart contracts made smarter?
Lets unpack Cartesi Rollups together

The Cartesi version of Optimistic Rollups uses interactive fraud proofs. In other words, with this model, the blockchain base layer doesn't have to execute entire computations.
https://twitter.com/cartesiproject/status/1595780326437310464