Description

Smart contracts provide automation in blockchain solutions. They are immutable, decentralized and deterministic, which make them ideal to remove third-parties and let peer-to-peer interactions. Once agreed between the parties and deployed on a distributed ledger, their activities and outcomes can be verified, so they can be trusted by all stakeholders. Everybody involved in DLTs are interested in smart contracts and the benefits they bring, but are also worried because there are many aspects about smart contracts they don't understand including legal and ethical insecurities. The main goal of this workgroup will be to give an academic perspective to this research topic and in parallel make clear to users, developers, researchers, businessmen, decision makers and others interested in smart contracts practical ways to utilize them on the different DLTs that are under the Hyperledger umbrella and explore all potentials from deploying them in everyday software solution scenarios.


Charter

Please see Charter  for the full text of the charter..

How to Get Involved

Please see Work Products and Links to Ongoing Work.

Please visit the chat channel https://chat.hyperledger.org/channel/smart-contracts-wg.

Contact WG chair Sofia Terzi

TSC Working Group Updates

2019 Q1 Smart Contracts Working Group

New TSC Working Group Update



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:

  1. Technology oriented
    1. Models of and mechanism for computation

    2.         Formal guarantees on outputs of smart contracts
    3.         Smart contract packaging, code reuse, and dependency auditing
    4. Generation of smart contracts from existing artifacts (natural language, business process, state machines, non smart-contract code)

    5. Data structures and state

    6. Privacy

    7. Tooling and compilers for existing virtual machines

    8. Design Patterns for Smart Contracts

    9. Upgradeability of smart contracts

  2. Law oriented
    1.        Smart contracts as representatives of obligations and fulfillment
    2.        Smart contracts law enforcement cascading actions

Please see Extended Scope for an extended version of Technology and Law topics.


Communication Channels

These are the mechanisms that this working group uses to communicate.

Mailing List

https://lists.hyperledger.org/g/smart-contracts-wg

smart-contracts-wg@lists.hyperledger.org

Chat Channel

#smart-contracts-wg


Meetings

All Hyperledger meetings are run covered by the following Antitrust Policy.

Teleconference bi-weekly on Wednesday 3 PM GMT time. See the Calendar of Public Meetings for the next meeting and dial in details.

Join from PC, Mac, Linux, iOS or Android: https://zoom.us/my/hyperledger.community.3

Meeting Agendas

Please see Meeting Agendas

Meeting Notes

Please see Meeting Notes


Links to Completed Work

Smart Contracts Taxonomy Categories Ver 1.0

Links to External Resources

Please see Links to External Resources

Active Members

NameCompany
Sofia TerziCERTH-ITI
Silas DavisMonax
Sean YoungMonax
Dan Selman Accord
Vipin Bharathandlt.nyc
Mohan VenkataramanChainyard

Srinivasan (Murali) Muralidharan

State Street
Sumabala NairIBM

John Carpenter

Global Blockchain Summit

Bobbi MuscaraLedger Academy
Mic BowmanIntel
Shawn AmundsonBitwise.io
Silvan VilligerDigital Asset
Paul Imseih

Daimon Consulting

Marco CarvalhoRSM US, LLP
David McLaughlinRSM US, LLP


Recent space activity

Space contributors