We’re a network of researchers, engineers, and operators working on the formal foundations of on-chain systems. We publish findings, fund what we can’t staff, and build what we can.
How to get involved:
- Have a formal problem worth solving? Submit it. We fund decidable statements.
- Have a result we should know about? Write it up. We’ll review and publish.
- Have a system that needs proving? We’ll model it.
No membership fees. No annual conferences. No “thought leadership” calls. Just work that’s public, reproducible, and useful.