A Typed Programmatic Interface to Contracts on the Blockchain

08/26/2021
by   Thi Thu Ha Doan, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset