Scope
The scope is to define concepts regarding smart contracts and to produce material to describe the various aspects and meanings, trying to come up to standards or good practices. The audience for smart contracts is large and spans from researchers, developers, businessmen, decision makers, policy makers, law makers, software users, citizens to governments, banks, financial institutions, insurance providers, etc
Two main research topics and separation of interests are:
- Technology oriented
Models of and mechanism for computation
- Formal guarantees on outputs of smart contracts
- Smart contract packaging, code reuse, and dependency auditing
Generation of smart contracts from existing artifacts (natural language, business process, state machines, non smart-contract code)
Data structures and state
Privacy
Tooling and compilers for existing virtual machines
Design Patterns for Smart Contracts
Upgradeability of smart contracts
- Law oriented
- Smart contracts as representatives of obligations and fulfillment
- Smart contracts law enforcement cascading actions
Please see Extended Scope for an extended version of Technology and Law topics.