@0xabout
ColliderVM, a research project by @StarkWareLtd, enables stateful computation on Bitcoin without Fraud Proofs. It uses presigned transactions and hash collision puzzles to achieve immediate settlement and a 1-of-n security model. A demo on Bitcoin mainnet demonstrated a two-step range check computation, though it remains in the early stages of development.