Homepage
Open in app
Statebox
Sign in
Get started
Tagged in
Ethereum
Statebox
Formally verified process language. Find out more at
https://statebox.org
More information
Followers
366
Elsewhere
More, on Medium
Ethereum
Joshua Fitzgerald
in
Statebox
Aug 31, 2019
Elliptic Curve Pairings
I
At Statebox we are exploring using boolean circuits to model computation. One thing we’d…
Read more…
273
2 responses
wires
in
Statebox
Aug 8, 2019
Note on Mechanised Governance
Some thoughts regarding governance, simulations, semantics and…
Read more…
178
1 response
Fabrizio Romano Genovese
in
Statebox
Feb 15, 2019
Behavioral Programming with Petri Nets à la Functional Way — Smart Contracts
Read more…
309