Blockchain assurance
Reviewing what is actually deployed, not what the repository says.
Public chains publish bytecode, not source. We build the tools that close that gap, and we maintain them in the open so the people relying on them can read how they work.
Audit history
Public
What we build and maintain
Stellar Security Portal
The reference point for security work on Stellar's Soroban platform: audit history, tooling, and the reviewers who have put Soroban projects through their paces. We built it and we maintain it.
View on GitHubSoroban decompiler
soroban-ret takes the compiled WebAssembly that is actually deployed and recovers readable Rust, so a reviewer can analyse what is running on the network rather than what the repository claims.
View on GitHubPolkadot pallet_balances verification
We specified and verified properties of Polkadot's balances pallet with Inference, and published the work in full, including the parts that did not go to plan.
View on GitHubWhy this is the evidence, not a third promise
Verification claims are cheap to make and expensive to demonstrate. This is where ours are demonstrated: a live ecosystem, shipped tools other people use, and findings published under our own name.
Talk to us about a review
Public chains publish bytecode, not source. We build the tools that close that gap, and we maintain them in the open so the people relying on them can read how they work.