Smart Contracts, Solidity, Bitcoin, Bitcoin Sv, Ethereum.
input. Put simply: it is guaranteed that sCrypt contract execution will end. Solidity supports unbounded loops, recursion, and dynamic function calls, which makes it impossible to decide if a Solidity smart contract will halt or not. sCrypt disallows unbounded loops and recursion at language level.