Versions Compared

Old Version 3

changes.mady.by.user David Huseby

Saved on

compared with

New Version Current

changes.mady.by.user David Boswell

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.


Panel
bgColorwhiteSmoke

This group is not currently active. If anyone is interested in restarting activities and discussions in these groups, please feel free to do so. You can find a link on this page to the group's mailing list. Feel free to subscribe to the list and introduce yourself and post any thoughts, questions or suggestions you have about the group. If there is interest in reactivating the group, we can relaunch it if there is interest from group members in doing that.

Image AddedImage Added

Page properties

Github repository: https://github.com/hyperledger/smart-contracts-wg 

(please send email to group's chair sterzi@iti.gr for being added or make a pull request by following this link)


Description

Charter

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 Q2 Smart Contracts Working Group

2019 Q3 Smart Contracts WG

2019 Q4 Smart Contracts WG

Panel
borderColorblack
bgColorwhiteSmoke
borderStylesolid

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

Some Two main research topics and separation of interest interests are:

 
  1. Technology oriented

    1. Models of and mechanism for computation

, such as:  - Stack machines vs automata vs manipulating algebraic types embedded in a another language

    2.  
- Scope for less expressive languages (that may have more tractability for formal methods)
    1.  
- Execution determinism, and sources of non-determinism in existing languages
    1.  
- Cost models for metering computation (e.g. gas)
    1.  
- Paradigms for smart contracts - e.g. 'identity-oriented', functional, process-oriented - extent to which smart contracts benefit from special purpose languages

  - Parallelism of execution, state independence (i.e. parallel processing in a single block)

 
    1. Formal guarantees on outputs of smart contracts
    2.         Smart contract packaging, code reuse, and dependency auditing
  •  Smart contracts as representatives of obligations and fulfillment (i.e. 'law')
  - What properties should smart contracts with 'legal charge' have?

  - What relations can smart contracts have with actual contracts and agreements?

  - At what scale to smart contracts best contribute to certainty and execution of agreement?

  - What relationship do legal smart contracts have to models of computation?

 

    1. Generation of smart contracts from existing artifacts (natural language, business process, state machines, non smart-contract code)

 

    2. Data structures

and state  - Verifiable

    1. and

authenticated data structures - e.g. merkle dags, log-backed maps,

  - How best to expose through smart contract languages/libraries

  - Sharing

    1. state

back-ends across execution engines

  - Conflict-free and additive data structures

 

    1. Privacy

  - Multi-party secure computation

  - Differential privacy

  - Zero knowledge and practical building blocks - types of commitments and witnesses

 

    1. Tooling and compilers for existing virtual machines

  - WASM/eWASM

  - EVM

  - WebIDL

 

    1. Design Patterns for Smart Contracts

    2. Upgradeability of smart contracts

  2. Law oriented
    1.  

How to Get Involved

Meetings

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

Info
    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.


Meeting Agendas

Meeting Notes

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

Links to Ongoing Work


Meetings

All Hyperledger meetings are run covered by the following Antitrust Policy and All are Welcome in the Hyperledger Community

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

Meeting Agendas

Please see Meeting Agendas

Meeting Notes

Please see Meeting Notes


Links to Ongoing Work

Work Products

Links to Completed Work

Smart Contracts Taxonomy Categories Ver 1.0

Links to External Resources

Please see Links to External Resources

Announcements

Links to Completed Work

Links to External Resources

Active Members

NameCompanyEmailSofia TerziCERTH-ITIsterzi@iti.grSilas DavisMonaxsilas@monax.ioSean YoungMonaxsean.young@monax.ioDan Selman Accorddan@clause.ioVipin Bharathandlt.nycvipinsun@gmail.comMohan VenkataramanChainyardmohan.venkataraman@chainyard.comPrasanna BadmanabhanPichain LTDprasanna@pichainlabs.com

Srinivasan (Murali) Muralidharan

State Streetsrinivasan.muralidharan99@gmail.comSumabala NairIBMsumapnair@us.ibm.com

John Carpenter

Global Blockchain Summit

john@globalblockchainsummit.comBobbi MuscaraLedger AcademyBobbi@LedgerAcademy.comMic BowmanIntel

Recent space activity

Recently Updated
typespage, comment, blogpost
max5
hideHeadingtrue
themesocial

Space contributors

Contributors
modelist
scopedescendants
limit5
showLastTimetrue
orderupdate