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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Architecture for SAFE Smart Contracts

  • Ron van der Meyden,
  • Michael J. Maher

摘要

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.