Cascading DLCs: Chaining Bitcoin Contracts with Oracle Attestation Scalars

It presents a novel approach to utilizing oracle attestations for contract activations, specifically highlighting the use of scalar (s_x) derived from oracle signatures in two key functionalities. Firstly, it completes the signatures required for parent DLC outcomes and secondly, it facilitates the bridge transactions that fund child DLCs. This mechanism is detailed through mathematical formulations where (s_x) plays a central role in validating these transactions post-oracle publication without necessitating new opcodes, covenants, or consensus changes in Bitcoin's existing framework.

The technical essence captured in the whitepaper explains how before the oracle's revelation of (s_x), completing bridge transactions (B_e) would demand either forging Schnorr signatures or determining (\log_G(S_x)). Post revelation, any entity possessing the adaptor state can finalize the bridge transaction using the now available (s_x), aligning with native Bitcoin validation protocols like ordinary signatures and timelocks. This innovative cascading effect leverages the inherent properties of the discreet log contracts and adaptor signatures to enforce contract conditions and transitions securely and efficiently.

The discussion also introduces concerns regarding the necessity of using (s_x) in subsequent child DLC funding when the parent conditional execution transaction (CET) could potentially suffice as the child's funding transaction through its locking mechanism via an adaptor signature. This query suggests exploring the possibility of simplifying the overall contract structure by reducing dependency on multiple uses of (s_x), which might streamline operations and reduce complexities inherent in the proposed cascading system.

For further detailed examination, the whitepaper and its formal constructs, along with the security boundary considerations and state retention assumptions, are available for review in the provided repository link here. This document also includes machine-checked algebra validations performed in Ada/SPARK, ensuring rigorous verification of the mathematical principles applied within this framework.