Covenant introduces a Turner-total, call-by-push-value, serializable DSL designed for reliable, secure programming in domains like smart contracts. It guarantees termination, safe execution, and predictability. By serving as a target for higher-level tools, Covenant supports composability and serialization, enabling developers to create robust applications with confidence in correctness and performance.

In this article, we delve into the workings of the Untyped Plutus Core (UPLC) cost model, ...