An additional limitation from the blockchain by itself that impacts the smart contracts is the irreversible mother nature from the blockchain, thus as soon as the smart contracts are deployed, they can't be altered.
As https://arranaefp788326.wikimidpoint.com/4083599/pollux_is_an_open_source_blockchain_platform_optimized_for_smart_contracts_no_further_a_mystery