Interesting, long write up on OP_CAT, script, taproot and STARKs on the delving forum:

https://delvingbitcoin.org/t/the-path-to-general-computation-on-bitcoin-with-op-cat/1106