TABConf 6: Covenants and STARK proof verification with OP CAT

A TABConf 6 technical update on the progress of covenants and verifying STARK proofs on Bitcoin using the OP_CAT opcode. The talk walks through real applications, the current open source implementation, and a signet toy experiment that verifies a Fibonacci sequence using a chain of covenant linked transactions within standard relay policy limits. Expect a developer focused view of where the work stands today, what’s already running, and what OP_CAT enables for this design space.Recorded live at TABConf 6 in 2024.