the CTV emulator is here: BIP-119 Emulation - Designing Bitcoin Contracts with Sapio I wrote up a generalized formalism for covenant-oracle with script as key tweak paradigm in https://rubin.io/public/pdfs/unfedcovenants.pdf – this seems to follow that formalism relatively closely, but the document goes a bit further to also give a section on how to implement integrity checks using BitVM.
2 Likes