Stellar Security & Audits

Loto Punto

Self-service kiosk network enabling affordable cross-border transactions and stablecoin purchases in Latin America via Stellar.

Komunitin

Komunitin provides a payments system and marketplace for existing local currency exchange communities.

JS-Capacitor Passkey Kit

The JS-Capacitor Passkey Kit helps JavaScript developers to implement Soroban Smart Wallets by providing access to native passkey functionality on iOS, Android devices and hardware tokens, such as YubiKey, for example.

idOS

idOS is a decentralized identity and data-storage layer providing reusable KYC for Stellar. Users complete KYC/identity verification once, store encrypted credentials self-custodially, and grant apps consent-based access via zero-knowledge proofs — enabling compliant onboarding, verifiable credentials, and portable digital identity across Stellar apps without repeated KYC.

HOT Protocol

Chain signature protocol enabling secure multi-chain cryptocurrency operations through decentralized MPC wallets.

Extractor

Extractor is a Post Deployment security solution that provides multi-level asset protection in smart contracts against exploitation.

DFNS

Dfns is an MPC wallet-as-a-service and key-management platform with native Stellar and Soroban support. It distributes private key shares across a multi-party computation network so banks, fintechs, and tokenization platforms can create and manage XLM wallets, enforce policy controls, and sign transactions via API for institutional custody.

CyVers

Cyvers is a ML & AI based security solution that proactively mitigates and prevents asset-loss related exploits in real-time.

Coinspect

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

ChainPatrol

Real-time Web3 security platform that detects, blocks, and takes down phishing sites and scam content targeting blockchain ecosystems including Stellar.

Chaincerts

Chaincerts issues verifiable credentials and decentralized identity (DID) on Stellar using Soroban smart contracts. It mints non-transferable soulbound credential tokens governed by on-chain issuance/revocation contracts, with encrypted data and self-sovereign identity — a building block for KYC, certifications, and proof-of-credential on Stellar. SCF-funded, by kommitters.

Bevor

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.

AnChain.AI

The AnChain.AI Catalog is an open-source catalog of audited smart contracts designed to help companies build web3 projects faster.

Almanax

Almanax is an automated security auditor that leverages AI to find and fix vulnerabilities in smart contracts.

Web3 Antivirus

Web3 Antivirus is an open-source security browser extension that detects crypto scams and warns users before they sign anything.

Certora

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

Cantina

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

Webacy Inc.

Decisioning and risk data scoring for digital assets and wallets.

Teken

Teken’s mission: an easy-to-use multi-signature app for Stellar, enhancing security and collaboration via Soroban smart contracts.

StellarGuard

StellarAuth simplifies Stellar integration for apps by offering secure, user-friendly authentication and transaction management, enabling seamless blockchain interactions.

Solarkraft

Runtime monitoring of Soroban smart contracts to aid developers and auditors in finding critical bugs before and in production.

Scorechain

Scorechain brings enterprise crypto compliance to Stellar: KYT (Know-Your-Transaction), AML, risk scoring, and sanctions screening integrated with the Stellar blockchain. A RegTech platform (FATF/OFAC/EU AMLD-aligned) covering 15+ chains, it gives Stellar anchors and institutions the transaction-monitoring and compliance tooling that complements KYC/identity onboarding. SCF-funded.

SAW

A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).

Sanctum

Lib Sanctum ZK+MPC tech enables smart contracts to compute on secret state, thus bringing privacy to the Stellar apps.