A Typed Programmatic Interface to Contracts on the Blockchain
Thi Thu Ha Doan, Peter Thiemann

TL;DR
This paper introduces a typed API for blockchain smart contracts, enabling seamless, type-safe integration with traditional software systems, demonstrated through a prototype on the Tezos blockchain.
Contribution
It presents a formal execution model and a typed API for blockchain contracts, ensuring type-safe interactions and practical implementation in OCaml for Tezos.
Findings
Proved type safety of programmatic blockchain interactions
Defined properties and requirements for the API
Implemented a prototype in OCaml for Tezos
Abstract
Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking contracts as well as observing the state of the blockchain. We propose a typed API for this purpose and establish some properties of the combined system. Specifically, we provide an execution model that enables us to prove type-safe interaction between programs and the blockchain. We establish further properties of the model that give rise to requirements on the API. A prototype of the interface is implemented in OCaml for the Tezos blockchain.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
