Findora Discret Language
The Findora Discret language is a domain-specific language used to add custom rules to an asset in Findora. A transaction is said to be valid if all the conditions associated with it are met when it is submitted to the system. Some of the conditions are intrinsic, for example, once an asset is spent, it cannot be spent again. Other conditions, such as custom asset transfer policies, are expressed in the Discret language. The design of the Discret language aims to strike a balance between customizability and predictability, making it easy for users to understand the contractual logic encoded in the Discret language before agreeing to it. We call each specific contract-validation program a “policy”.