‚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/