Let us know how we are doing

Take the DCI Working Group's new survey!

Page tree

Versions Compared


  • 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')