Status 🧪 About 🧪 Docs 🧪 FAQ

Finite State Machines for Ethereum

An experiment in Deterministic Proxy design

Status

Currently in development. Done or in progress are:

• ✅ Developer setup and tasks documentation
• ✅ Developer environment configuration template
• ✅ Working Deterministic Proxy implementation
• ✅ Deployable examples
• ✅ Clear and complete inline NatSpec docs and in-method comments
• ✅ Separation of concerns into inheritance tree for easy comprehension and maintenance
• ✅ Shared domain model for contract structures, enums, events, & constants
• ✅ Domain model expressed in JS
• ✅ Domain model unit tests
• ✅ Script modules for reuse in both deployment and testing
• ✅ Contract unit tests
• ✅ CI build and test with Github Actions
• ✅ High level architecture documentation
• ✅ API documentation
• 👉 Machine operation tests (multi-step operation of machine examples)
• 👉 Explore minimal clones for cheap deployments
• 👉 Javascript NPM package for interacting with Fismo
• 👉 "How to create and run FSMs on Fismo" doc