We do research in formal methods
for protecting #Web3 digital assets
and its citizens. Our goal is to make Web3 safe and secure environment for everyone
with our experience in science and engineering.
for protecting #Web3 digital assets
and its citizens. Our goal is to make Web3 safe and secure environment for everyone
with our experience in science and engineering.
We know what engineers and developers do every day, because we daily write code ourselves; thus, we understand what tools and methods would work.
- Our specializations are automated theorem proving and model checking: Coq and TLA+.
- We frontrunning academic-style research before writing any new line of code.
We are very welcome to everyone who wants to share their comments, suggestions, and thoughts. We are the #Web3 ecosystem altogether, so please do not hesitate to reach out to us and discuss the future of #Web3 security.
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.