OV：基于有效性的乐观智能合约
分布式、并行与集群计算
2020-04-10 v1 编程语言
摘要
智能合约（SC）平台将交易块组成链，并通过用户定义的智能合约执行它们。在 Bitcoin 和 Ethereum 等传统平台中，块内交易由矿工按顺序执行，随后由验证者按顺序验证，以就块的最终状态达成共识。为利用多核的进展，本文探索支持此类合约并发执行的下一代智能合约平台。在并发智能合约中，推理对象状态的有效性具有挑战性。我们考察了一种支持智能合约交易（SCT）乐观执行的编程模型。我们引入一种称为 OV 的新编程语言及一个 Solidity API，以简化乐观智能合约的编程。OV 语言配合静态检查将有助于推理乐观执行智能合约的一个关键属性——无信任系统中对象状态的有效性。
引用
@article{arxiv.2004.04338,
title = {OV: Validity-based Optimistic Smart Contracts},
author = {Quan Nguyen and Andre Cronje and Michael Kong},
journal= {arXiv preprint arXiv:2004.04338},
year = {2020}
}