Published on: 2022-05-18T17:08:43+00:00
The author presents a framework for understanding covenants in the context of building infrastructure for them. The focus is on local covenants, where only one coin is examined. The framework defines a covenant primitive as having a set of transaction intents, a verifier generator function, a prover generator function, impedance-matched proofs, and assumptions under which the covenant is verified.To instantiate a covenant, the user selects a specific element from the set of sets of transaction intents and generates a verifier and a prover function. This framework is then applied to analyze three covenants: plain CTV, 2-3 online multisig, and 3-3 presigned + deleted.The author also raises questions about the cardinality of an intent set, the composition of different covenants within an intent, and the unrollability of intents. While the framework assumes statelessness, it acknowledges that provers may need to maintain external state to prove.The author notes that the efficiency of a prover or verifier is not addressed in this framework. However, the framework is valuable for generating tooling that can integrate covenants into Sapio, a platform.Overall, this framework provides a comprehensive approach to analyzing covenants and offers insights into their practical use cases.
Updated on: 2023-08-02T06:07:59.342861+00:00