‚As outlined in the #BitVM whitepaper, #Bitcoin can verify the correct execution of any boolean circuit and penalize its incorrect execution.
This makes it functionally equivalent to a turing complete programming environment.‘
https://github.com/supertestnet/tapleaf-circuits/