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.

中文翻译：

---

区块链合约的类型化编程接口

区块链上的智能合约应用程序只有通过编程接口与传统软件系统无缝集成，才能充分发挥其潜力。这个接口应该提供发起和调用合约以及观察区块链的状态。为此，我们提出了一个类型化的 API，并建立了组合系统的一些属性。具体来说，我们提供了一个执行模型，使我们能够证明程序和区块链之间的类型安全交互。我们建立了模型的进一步属性，这些属性引起了对 API 的要求。该接口的原型是在 OCaml 中为 Tezos 区块链实现的。