Back to results
US 10,699,269 B1Granted
System and method for smart contract publishing
AssigneeBlockstack PBC
InventorsAaron Blankstein, Jude Nelson
Life of this patent
Estimating the term…
Abstract
A Turing incomplete smart contracting source code for use in a blockchain network is disclosed that allows for static analysis of a smart contract at the time of publishing.
Claims5
A computing device in a decentralized network comprising:
- a network interface configured to couple the computing device to the decentralized network;
- a hardware processor;
- and
- a non-transitory computer readable storage medium storing program instructions for execution by the hardware processor in order to cause the computing device to:
- parse a smart contract implementing a Turing incomplete language,
- wherein the smart contract comprises a data map and a set of one or more functions, the data map storing a state of the smart contract and comprising:
- a map name,
- a key associated with the map name, and
- a value uniquely associated with the map name, the value having a first type and a static maximum size established by the first type,
- the set of one or more functions defining at least one operation that invokes the map name to modify or obtain the value associated with the key;
- determine a number of calls to the one or more functions in the smart contract based on the parsing;
- determine a maximum size of an output of each of the one or more functions based at least in part on the static maximum size;
- estimate a runtime or storage requirement to execute the smart contract based on the determined maximum size of the output of each of the one or more functions;
- determine a fee based on the estimated runtime or storage requirement;
- call an application program interface to start a virtual machine;
- determine whether a user has provided a user fee that is at least equal to the determined fee;
- and
- execute the smart contract using the virtual machine in response to a determination that the user fee is at least equal to the determined fee.
15 more elements
Dependencies are inferred from the claim text.