Certifying Findel derivatives for blockchain

• Published in: Journal of logical and algebraic methods in programming Vol. 121; p. 100665
• Main Author: Arusoaie, Andrei
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.06.2021
• Subjects: Blockchain; Certification; Coq; Financial derivatives; Findel; Smart contracts; Coq; Smart contracts; Financial derivatives; Certification; Findel; Blockchain

Findel is a composable DSL for financial derivatives that can be executed on the blockchain. The language is simple and expressive enough to express complex derivatives. However, compared to its competitors, Findel does not guarantee that contracts progress properly. There is no default refund mecha...