Interesting thread on Starkware's Shinigami project, a Bitcoin Script library in Cairo that enables STARK proofs generation for Bitcoin Script computation and transaction execution.