Human Smart Contracts

Author: Zimmi
For: guld
License: CC-BY-4.0

Smart Contracts

The basic idea of smart contracts is that many kinds of contractual clauses (such as liens, bonding, delineation of property rights, etc.) can be embedded in the hardware and software we deal with - Nick Szabo

Select
Product

Pay

Dispense

Cancel

Smart Contract for
Vending Machine

Origin

Smart Contract Limitation

Within a limited amount of potential loss (the amount in the till should be less than the cost of breaching the mechanism)

- Nick Szabo

#DAOHack

Literate Programming

Instead of imagining that our

 main task is to instruct a computer what to do, let us concentrate rather on explaining to human beings what we want a computer to do.
- Donald E. Knuth

Literate Smart Contracts

  • Code block under each clause
  • Definitions first
  • Public keys for parties
  • Detached signature blocks
  • Extract Code for Source Files
    • Compile source for binaries, if necessary
  • Recommend Markdown or Tex
# Vending Machine Agreement

Agreement made 04/12/2018 (date), between isysd,
known by signing key
C7EA0E59D0660BF6848614B6441BDDD420F44729
(public key), in this agreement referred to as
seller, and buyer, known by signing key
1234567890 (public key), in this agreement
referred to as buyer.

```
date = "04/12/2018"
seller = 'isysd'
seller_key = \
  'C7EA0E59D0660BF6848614B6441BDDD420F44729'
buyer = 'buyer'
buyer_key = '1234567890'
```

### SECTION ONE: SALE OF GOODS

Seller shall sell, transfer and deliver to buyer
immediately, the following property: 1 Soda

```
property = "Soda"
quantity = 1
```

Develop & Maintain

Human
Contract

Code
Contract

Iteration 1

Iteration 2

Iteration 3

First Human (H1)

Code (C1) for (H1)

Feedback

Second Human
(H2)

Code (C2) for (H2)

Feedback

Third Human
(H3)

Code (C3) for (H3)

Signed

Additional Seasoning Required

  • Arbitration clauses
  • International Templates
    • Least Common Denominator
    • Localization Clauses
  • Contract Registry
  • Identity Registry
  • Court of P2P law

Interactive repository for the creation and maintenance of standardized cryptographically enabled digital contracts.

Through the collection and creation of international legal standards in private contract, a global common law of peer-to-peer interaction and resolution shall be established by merging law and technology under one easy and usable platform.

Raadyx

Law Internship 2018
apply at raadyx.com

Disclaimer

# Presentation Disclaimer

Agreement made between _______ hereafter known as the presenter and _______ known as the audience.

```
presenter = '_______'
audience = '_______'
```

The presenter is not a lawyer, and is presenting experimental technology.

```
assert presenter not in lawyers
assert presentation == 'experimental technology'
```

The audience forgives the presenter for any inaccurate or incomplete information.

The audience agrees to buy the presenter 1 (one) local beer with no rice, corn or other adjuntas.

```
quantity = 1
product = "local beer"

transfer(quantity, product, from=audience, to=presenter)

```

Human Smart Contracs

By isysd

Human Smart Contracs

  • 257
Loading comments...

More from isysd