文章预览
论文作者： Ilya Sergey 1 and Aquinas Hobor 2 1 University College London, United Kingdom i.sergey@ucl.ac.uk 2 Yale-NUS College and School of Computing, National University of Singapore hobor@comp.nus.edu.sg 翻译：渡鸦 「 让国内外的区块链技术没有时差 」。 4、 所有权和权限 替代禁止对合约不受欢迎的干预的另一种方法是设计一个定制的许可合约，控制不同方面允许的一组操作。 首先如果我们强制执行有限的访问规则，则可以避免图3 中的双线程示例所展示的问题，并阻止一个断言其状态x的任何内容。例如，通过在任何时刻表示最多一个线程可以查询/修改其状态。这将授予相应的线程在对象上的独占所有权[30] ，因此，证明从线程本地做出的有关对象状态的断言。 独占所有权，从传统意义上讲，是
………………………………
