BLISK: Boolean circuit Logic Integrated into the Single Key

BLISK's policy enforcement mechanism is designed with a specific structure in mind, particularly focusing on the format of Conjunctive Normal Form (CNF). This design choice is pivotal because it directly influences how policies are implemented and interacted with within the system. The CNF format mandates that policies be expressed as a single top-level AND operation across multiple OR clauses. This structural constraint significantly impacts how more complex logical expressions are handled by the system. For instance, an expression that combines multiple conditions using AND operations, such as A ∧ (B ∧ C), undergoes a transformation process to fit into the required CNF structure. This process, often referred to as normalization or compilation, simplifies the expression to A ∧ B ∧ C. Essentially, this results in a straightforward MuSig2 3-of-3 scenario without necessitating additional security proofs beyond what is standard for MuSig2.

This approach underscores a fundamental aspect of BLISK's policy framework, highlighting its reliance on the MuSig2 KeyAggregation feature exclusively at the top level of policy expressions. By adhering to this structure, BLISK ensures that its policies not only meet the necessary security standards but also maintain a level of simplicity and efficiency in their execution. The implication here is twofold: firstly, it delineates the bounds within which policy expressions must operate, and secondly, it reaffirms the system's commitment to leveraging established cryptographic principles, specifically those encapsulated in the MuSig2 protocol, to secure and streamline its policy enforcement processes.