Design

/Design

Smart Contracts with Automatic Abstraction Tuning

By | 2018-07-23T15:59:00+00:00 July 23rd, 2018|Categories: blockchain, Design, fintech, smart contracts|

Arxiv - Specification Mining for Smart Contracts with Automatic Abstraction Tuning Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a smart contract is difficult, which complicates development, auditing, and the post-mortem analysis of attacks. A new paper presents [...]

Comments Off on Smart Contracts with Automatic Abstraction Tuning