Statemaps for Scilla


Hi there,

I’ve been reading up on Ocaml and Scilla in preparation for the launch and I really appreciate the IO-Automaton based design and how it makes reasoning about and formally describing smart contracts more fluid. I have been kicking around the idea of submitting a proposal for the next community funding round for a scilla tool that allows for the contract to be visualized as a hierarchical state machine in the same way xstate works. Does this community contribution strike anyone else as valuable?


This is definitely interesting! Thanks for the suggestion. Perhaps, you could try to sketch some diagrams for some common contracts so we can understand what kind of representation you are aiming for?

You can find all sample contracts for Scilla in the link below:

I would suggest starting off with a simpler contract like CrowdFunding.