Versions Compared

Key

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


Page properties
label


Status

Status
colourGreen
titleVer 1.0

OutcomeSmart Contracts Taxonomy


DOC : 

PDF : 

Background

Mind map

Smart Contracts Taxonomy


Functional RequirementsComputationLaw

Privacy and Confidantiality

  • Differential Privacy
  • Secure Multiparty Computation

Smart Contract Languages

  • Turing Complete
  • Turing Incomplete
Regulation

Computational Characteristics

Virtual Machines and Runtimes

  • ABIs
  • WASM
    • External Function Calls

Statute

  • Dispute Resolution
    • Case Law

Interaction

  • Human
  • Machine-to-Machine

Formal Methods

  • Halting
Constitution

Packaging

  • Versioning
    • Upgradeable

Governance

  • Dispute Resolution
Governance

AI Driven

  • Oracles


International Treaties

Interoperability

  • Between Smart Contracts
  • Between Engines


RelatesFunctional → ComputationLaw → Dispute ResolutionComputation → Governance