- Created by David Huseby, last modified by Sofia Terzi on Feb 04, 2019
You are viewing an old version of this page. View the current version.
Compare with Current View Page History
« Previous Version 7 Next »
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.
TSC Working Group Updates
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 interest are:
- Technology oriented
Models of and mechanism for computation, such as:
- Stack machines vs automata vs manipulating algebraic types embedded in a another language- Scope for less expressive languages (that may have more tractability for formal methods)
- Execution determinism, and sources of non-determinism in existing languages
- Cost models for metering computation (e.g. gas)
- 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)
- 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
- How best to expose through smart contract languages/libraries
- Sharing state back-ends across execution engines
- Conflict-free and additive data structures
- Verifiable and authenticated data structures - e.g. merkle dags, log-backed maps
Privacy
- Multi-party secure computation- Differential privacy
- Zero knowledge and practical building blocks - types of commitments and witnesses
Tooling and compilers for existing virtual machines
- WASM/eWASM- EVM
- WebIDL
Design Patterns for Smart Contracts
- Law oriented
- 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?
How to Get Involved
Meetings
All Hyperledger meetings are run covered by the following Antitrust Policy.
Teleconference bi-weekly on Mondays 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
Meeting Agendas
Meeting Notes
Communication Channels
These are the mechanisms that this working group uses to communicate.
Mailing List
smart-contracts-wg@lists.hyperledger.org
Chat Channel
Links to Ongoing Work
Links to Completed Work
Links to External Resources
Active Members
Name | Company |
---|---|
Sofia Terzi | CERTH-ITI |
Silas Davis | Monax |
Sean Young | Monax |
Dan Selman | Accord |
Vipin Bharathan | dlt.nyc |
Mohan Venkataraman | Chainyard |
Prasanna Badmanabhan | Pichain LTD |
Srinivasan (Murali) Muralidharan | State Street |
Sumabala Nair | IBM |
John Carpenter | Global Blockchain Summit |
Bobbi Muscara | Ledger Academy |
Mic Bowman | Intel |
Shawn Amundson | Bitwise.io |
Space contributors
- No labels