03
Starkware's Shinigami project: bringing computational integrity to Bitcoin's Script, no forks required

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.