Page tree

Versions Compared

Key

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

...

  - 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
  •  Smart contracts as representatives of obligations and fulfillment (i.e. 'law')

...