Every project
building on Stellar.

B

BevorDeveloper Tooling

SCF

AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across development and DevOps lifecycles, with Rust/Soroban support.

C

CantinaInfrastructure & Services

Web3 security platform providing smart contract audits, bug bounties, security competitions, and managed detection services.

C

CertoraInfrastructure & Services

Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.

C

Code4renaInfrastructure & Services

Top auditors compete to keep high severity bugs out of production. Start a public or private audit within 48 hours.

C

CoinspectInfrastructure & Services

Since 2014 protecting critical decentralized systems: L1 nodes, smart contracts audits, wallets, web3 dApps, exchanges, bridges.

H

HalbornInfrastructure & Services

Blockchain security firm offering smart contract audits, penetration testing, and advisory services for digital assets.

A public transparency and accountability platform bringing Providencia Island's (Colombia) sponsor-funded conservation investments on-chain via the Stellar Disbursement Platform. A joint venture between VIIO (payment infrastructure) and Climate Future (field operations), the platform features a live transparency dashboard, track attribution registry, and reconciliation proof pack — linking every disbursement to its on-chain Stellar transaction hash so sponsors, auditors, and community members can independently verify where each peso went.

Q

QuarkslabInfrastructure & Services

Cybersecurity firm providing offensive and defensive security solutions, research, and software to protect applications and infrastructure.

V

VeridiseInfrastructure & Services

Smart contract audits and blockchain security tools using formal methods and automated analysis.