Statebox

About 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.

Address

• Headquarters

  TUSSEN DE BOGEN1013JB AmsterdamNoord-Holland, Netherlands

Team by function

Based on 2 public job profiles as of 3 September 2026.

• Engineering / Software Development1
• Founder / Owner1