Can a Non-Turing-Complete Blockchain like Bitcoin Support Any Form of Smart Contracts?

Yes, Bitcoin supports a basic form of smart contracts through its scripting language, Script. These are not as expressive as those on Turing-complete platforms like Ethereum, but they can enforce predefined rules on transactions.

Common examples include multi-signature wallets, which require multiple parties to approve a transaction, and time-locked transactions, which become spendable only after a certain time or block height. These contracts are executed as a list of instructions embedded in a transaction.