Statebox
Information Technology & Services - Amsterdam, North Holland, Netherlands
Statebox Employees
Statebox Senior Management
Statebox Details
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.
Statebox Technologies
Email Providers
Gmail
Tag Management
Google Tag Manager
Hosting
DigitalOcean
Other
Google Apps