Certifying Findel derivatives for blockchain

DOI10.1016/J.JLAMP.2021.100665OpenAlexW3129517363MaRDI QIDQ2043802FDOQ2043802

Andrei Arusoaie

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.13602

zbMATH Keywords

Coqcertificationfinancial derivativesblockchainsmart contractsFindel

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Isabelle/HOL. A proof assistant for higher-order logic
• The calculus of constructions
• Formal certification of a compiler back-end or
• Autarkic computations in formal proofs
• Interacting with Modal Logics in the Coq Proof Assistant
• Certified symbolic management of financial multi-party contracts

Cited In (1)

• SoK: lending pools in decentralized finance

Uses Software

• Coq
• Isabelle/HOL

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Overcoming cryptographic impossibility results using blockchains 👍 👎
• Founding secure computation on blockchains 👍 👎
• Proof search and certificates for evidential transactions 👍 👎
• Practical witness-key-agreement for blockchain-based dark pools financial trading 👍 👎
• Publicly verifiable proofs from blockchains 👍 👎

This page was built for publication: Certifying Findel derivatives for blockchain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043802)