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

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

1. 智能合约与传统软件集成的重要性及现有问题

智能合约若能与传统软件系统集成，并从区块链外部触发，其用途将更为广泛。预言机为合约获取外部信息提供了一种途径，合约向预言机注册请求和回调，预言机在有答案时调用回调。

将合约与传统软件连接还有其他用例，比如自动化拍卖管理、拍卖投标、优化费用或启动向客户交付货物等程序。虽然其中一些程序可以作为合约实现，但为节省在区块链上运行的费用，对于严格在单一信任域内发生的操作，没必要在区块链上运行，例如代表单个对等方进行的自动投标。

目前，大多数区块链提供的是 RPC 接口，如以太坊的 JSON - RPC API 和 Tezos 的 RPC API。然而，这些接口需要对 JSON 格式的字符串数据进行繁琐操作，且不提供静态保证（除了格式良好的 JSON 输入的响应也是格式良好的 JSON 输出）。

2. 类型化 API 的提出及贡献

为改善这种情况，提出了一个用于从 OCaml 程序调用合约的类型化 API。该 API 支持实现与区块链上的智能合约安全交互的应用程序和预言机，还提供了一种类型安全的机制，用于在 OCaml 和区块链之间自动编组数据，是将合约无缝集成到传统程序的一步。具体贡献如下：
- 一个用于发起和调用合约以及查询区块链状态的类型化 API。
- 区块链中与智能合约并行运行的函数式程序的操作语义。
- 在即将发布的技术报告中证明了组合系统的各种属性。
- 实现了一个与操作语义对应的 Tezos 区块链的底层 OCaml - API。

3. 动机示例：拍卖投标策略

假设要为部署在