Versions Compared
Key
- This line was added.
- This line was removed.
- Formatting was changed.
Panel | ||
---|---|---|
| ||
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)
|
|
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
Panel | ||||||
---|---|---|---|---|---|---|
| ||||||
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 interests 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
Upgradeability of smart contracts
- Law oriented
- Smart 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?
- 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
How to Get InvolvedMeetings
All Hyperledger meetings are run covered by the following Antitrust Policy. and All are Welcome in the Hyperledger Community
Teleconference bi-weekly on Mondays Wednesday 3 PM GMT time. See the Calendar of Public Meetings for the next meeting and dial in details.
Info |
---|
Join from PC, Mac, Linux, iOS or Android: https://zoom.us/my/hyperledger.community |
Meeting Agendas
Please see 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
Please see Meeting Notes
Links to Ongoing Work
Work Products
Links to Completed Work
Links to External Resources
Please see Links to External Resources
Announcements
Active Members
Srinivasan (Murali) Muralidharan
John Carpenter
Global Blockchain Summit
Recent space activity
Recently Updated | ||||||||
---|---|---|---|---|---|---|---|---|
|
Space contributors
Contributors | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|