BLISK: Boolean circuit Logic Integrated into the Single Key

The discussion revolves around enhancing BLISK (Bitcoin Lightning Invoice Signature Key) with DLC (Discrete Log Contracts) style adaptor points to facilitate condition-dependent compilation in cryptographic policies. This approach introduces a flexible mechanism where, under specific conditions such as price changes or timeouts, the traditional requirement for multiple signatures can be relaxed to allow for fewer signatories. For instance, a policy requiring Alice's signature alongside either Bob's or Carol's can be adapted so that, if a predefined condition is met, Bob or Carol can proceed without Alice. This is achieved by integrating an adaptor point derived from oracle's pre-committed parameters into Alice's input node, creating a new policy structure that allows for conditional access based on external events.

The technical foundation of this method involves the use of a disjunction with an adaptor point (T_a), calculated through a combination of the oracle's long-term public key, a nonce, and an event descriptor. This construction ensures that the adaptor point remains unknown until the oracle attests to a specific event, at which point the secret key for (T_a) is revealed, allowing the modified policy to be enacted. The process requires that Alice prove the correct construction of (T_a) and its associated operations to maintain the integrity of the fallback mechanism.

This adaptation offers several benefits, including automatic policy adjustment upon event attestation by the oracle, minimal required interaction from participants, and the ability to apply DLC to various components of the cryptographic policy. Furthermore, it incorporates standard DLC attestation protocols while maintaining the confidentiality of policy dependence on oracle conditions. However, there are notable limitations, such as the need to ensure the oracle's liveness and monitor its status, the irreversible nature of attestation and unlocking of (T_a), and the security risks associated with nonce reuse or deviation from committed nonces.