This talk is part of the Speaker Series presented by Agoric and Protocol Labs to bring in-depth understanding on secure distributed programming practices. We will be organizing these educational events monthly, so follow us for updates on future events. Our goal is to increase secure cooperation online: to allow the trade of digital assets, make agreements, form smart contracts and interact safely.

Schedule:

6:30 pm: Doors open, networking, drinks + food

7:00 pm: Mark S. Miller from Agoric on 'Distributed Programming for a Decentralized World'

8:30 pm: Henri Stern from Protocol Labs on 'Verifiable Resource Commitments and Hybrid Models for Consensus'

9:30 pm: Wrap up

Mark S. Miller will present an overview of the Agoric platform, with tools for secure interaction at each level:

• CapTP (Capability Transport Protocol) provides a uniform, secure, execution model across multiple blockchains.

• SES (Secure EcmaScript) provides a confined execution environment for third party JavaScript.

• Jessie is a tiny subset of JavaScript designed for writing security-enforcing code including smart contracts, and for safe mobile code.

• ERTP (The Electronic Rights Transfer Protocol) is an expressive composable framework for ownership, transfer, and exercise of erights.

Using Filecoin (http://filecoin.io/) as an example, Henri Stern will explore how Proof-of-Stake consensus protocols can make use of underlying resource systems not only to improve their security, but also to offer protocol-designers the ability to tune some of their properties. This also enables part of the promise of distributed token systems (or other computational-economic machines) to incentivize real-world outcomes.

You can watch previous presentations by Agoric and Protocol Labs here: https://www.youtube.com/playlist?list=PLhuBigpl7lqth_Ow_eQWZs7NFxmeDw9W8