Architecture for SAFE Smart Contracts
摘要
This chapter describes an architecture that can be used as the basis for a Solidity implementation of SAFE contracts. The main features are a decomposition of behaviors into finite state machines and the use of pre-existing design patterns, including the atomic swap and controller patterns.