| layout | title |
|---|---|
default |
Compositional Diagrammatic Programming Language |
STATEBOX SUMMIT 1st Nov 2017 [link]
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.
- nll-spec binary encoding for list of lists of (signed) varints
- nll-js JS implementation of NLL
- ipfs/notes#168 proposal for binary encoding of bipartite graphs