**Our go to market plan differs a bit from traditional products and services due to the nature of our development tooling. Our main 3 types of users are individual developers, projects that already use Soroban smart contracts and the security auditors who help keep the other two secure. Each builds upon the other and supports long term ecosystem security through our open source software.
Individual Developers**
**Automated Theorem Provers are the most powerful tools to verify code, we want to make it accessible to developers.
Some other companies build formal verification products for smart contract developers, but what we see is that their solutions are not developer friendly so these companies mostly operate like security service providers and use their products themselves. Our goal is the opposite; we want to build a language that developers will use themselves, and our team will work on improvements.**
Developers on Stellar will have access to these tools free of charge in order to help secure the chain, assets and protect users.
**Rust is a commonly used language in the Stellar ecosystem, we will present a programming language that is familiar & resembles Rust to already capable developers.
Similar to how Stellar smart contracts have several characteristics that force contracts to use only a narrow subset of the full Rust language, Inference has similar specifications to keep it secure, simple and understandable for users of Rust.
Developers will be able to run inference locally on their machines and write specifications easily with a basic understanding of C language / Rust
Because Stellar uses a WASM infrastructure, Inference will directly benefit the security of Soroban smart contracts, applications and safety of users' assets on Stellar. The use of Inference will directly enable Stellar developers to check the feasibility and vulnerabilities of their code & smart contracts.
Once the Inference compiler reaches a stable version, Stellar Soroban developers will be ready to write specifications for Soroban smart contracts themselves. We at Inferara will provide guidance through Stellar specific documentation and basic integration tutorials.
With this integration Stellar smart contract developers will be ready to write formal specifications for Soroban contracts with ease. Inference will be maintained and updated to continually align with Stellar's specifications.**
**Developer Outreach:
We will engage devs where they hang out
**
-
Access to our open source code & compiler
-
**Stellar developer discord, webinars, in person events
(Primarily in Japan but not limited to)**
-
Participate & present at weekly Stellar developer meetings (Thursdays). The time zone difference is severe for our team so bi-weekly is more likely.
-
Inference initial compiler release showcase & support
-
Provide existing documentation support & maintenance for Inference
-
Create educational content to explain complex ideas (Videos, articles etc.)
-
**Further engage with the community through discord & other relevant channels
**
**Stellar Community Projects:
This section focuses primarily on Stellar ecosystem projects, but is not limited to them.**
We understand that audit credits are provided for projects & teams that work through the SCF process through the Audit Bank**. We hope to be an additional yet, different approach to verifying the security of code written for Soroban.
**
Strategic Partnerships:
-
Re-evaluate existing projects code for pro-active bug finding
-
Identify relevant SCF projects to support
-
Identify and contact other existing stellar projects
-
Provide consultation & guidance to projects
**
Note: A correctness certificate Inference compiler generates is an unambiguous, irrefutable evidence that guarantees that formally defined properties are truly held.**
**
Security auditors can use Inference to model attack vectors and use the information to suggest changes in code**
Security Auditors:
-
Showcase the differences in our formal verification methods to auditors
-
Access to our open source code & compiler
-
Provide ecosystem reports of common issues we discover in order to educate potential users & existing auditors
