While Collider Script is prohibitively expensive, requiring millions of dollars in computational resources per transaction, Functional Encryption offers a more theoretical pathway with its reliance on still-experimental cryptography. These methods aim to enable the enforcement of covenants and introspection into the blockchain by working around current limitations.

A notable proposal suggests leveraging the OP_SIZE opcode, absent an opcode limit pre-tapscript, to extract specific bits from a spending ECDSA signature, termed as B = <b1, b2, .., bn>. This process involves a two-step verification where a Small Script function compares extracted bits from two ECDSA signatures to confirm their identity. This approach not only circumvents the need for OP_CAT but also broadens the scope of computations that can be performed within Bitcoin's scripting capabilities.

The concept extends further to employing Small Script for extracting sighash from the spending signature, assessing its compliance with predefined rules and values encoded as 32-bit elements. This methodology underscores the potential of Small Script in performing complex computations and validations, previously constrained by Bitcoin's scripting language's limitations. The dialogue around these developments emphasizes the significant impact of removing size limits, as noted by Andrew Poelstra, marking a pivotal step towards enabling covenants within the Bitcoin network. For more information on the distinction between Small Script and Big Script in Bitcoin Script, readers are encouraged to explore Bitcoin Magazine's article.