Statebox

statebox is a radically different way to build smart contracts, inspired by modern physics and mathematics. instead of text-based instructions telling a smart contract how to achieve certain behaviour, statebox contracts are represented as diagrams. end-to-end correctness proofs are a fundamental design principle, not an afterthought: the core is a mathematically minimalistic structure, aimed to facilitate reasoning about its behaviour. as a result, diagrams can be composed into bigger diagrams, preserving their properties, such as termination guarantees. this way contracts become easier to understand, build and inspect.