Summary

A low-level security protocol and framework for smart contracts

Whitepaper