Towards contract modules for the tezos blockchain (short paper)

Abstract: Programmatic interaction with a blockchain is often clumsy. Many interfaces handle only loosely structured data, often in JSON format, that is inconvenient to handle and offers few guarantees. Contract modules provide a statically checked interface to interact with contracts on the Tezos blockchain. A module specification provides all types as well as information about potential failure conditions of the contract. The specification is checked against the contract implementation using symbolic execution. An OCaml module is generated that contains a function for each entry point of the contract. The types of these functions fully describe the interface including the failure conditions and guarantee type-safe and sometimes fail-safe invocation of the contract on the blockchain

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch
• Notes: 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). - Wadern, 2021. - 5, ISBN: 978-3-95977-209-9

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Freiburg
• (who): Universität
• (when): 2024
• Creator: Doan, Thi Thu Ha ; Thiemann, Peter

Further information

• DOI: 10.4230/oasics.fmbc.2021.5
• URN: urn:nbn:de:bsz:25-freidok-2557892
• Rights: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 25.03.2025, 1:44 PM CET