The formal science underneath the product.
Our research arm works on the formal foundations that make on-chain systems provably correct — not just empirically working.
Current focus:
- Formalisms and decidability — which statements about on-chain systems can be proven, and which can’t
- Data pricing theory — finding the equilibrium where self-derived value and access-based value converge
- Governance formalisms — turning “we trust this protocol” into “this protocol satisfies property X”
If a result is useful, it becomes a product feature.