Statebox

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

Adres

• Hoofdkantoor

  TUSSEN DE BOGEN1013JB AmsterdamNoord-Holland, Nederland

Team per functiegebied

Gebaseerd op 2 openbare functieprofielen, stand van 2 september 2026.

• Engineering / Software Development1
• Founder / Owner1