We build new Web3 technologies that protect digital assets and the people who use them.
Our mission is to create a safer, more secure Web3 through rigorous science and engineering.
We are hands-on developers ourselves, so we understand the real-world challenges that engineers and builders face every day.
Our specializations are
- Automated theorem proving
- Programming languages and compiler development
Our projects are open source because we contribute to public goods. If you have any ideas or inquiries, please contact us reach out to us .
The first developer-friendly formal specification language designed for Web3.
Inference is a formal specification programming language based on Inferara's research into non-deterministic abstract machine execution.
For more details on the non-deterministic computation model, please see our paper.
It will be released soon, so stay tuned.