What is Statebox

Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for distributed systems, blockchains, workflow management systems, application orchestration and system architecture.

Learn more about Statebox

3rd Statebox Summit

The 3rd Statebox Summit took place in mid-September, 2019 in Germany. The event consisted of a research workshop and a hacking lab, followed by a meetup.

Ethereum Foundation Grant

Statebox is a grantee of the Ethereum Foundation Grant program, wave 6. Read more here.

Next steps