0800 - Smart-contract embedded ToS

Summary: Extracting and enforcing ToS rules embedded within smart contracts during consensus.

Technology: Distributed Systems, Smart Contracts, Policy Evaluation

Industry: software

Applications: contract enforcement

Topic: Smart-Contract Security & Verification

Sequence ID: 0800