Certora

Smart-contract security audits

Audit firm

Fresh

DeFi

Global

About Certora

Prover-based formal verification, extended to Soroban contracts.

Formal-verification security audits for smart contracts.

Is this your company? Claim the profile to keep it current.

Already manage Certora? Sign in

Also tracked as a project

See its repos, GitHub activity, and full project record →

Formal VerificationSoroban AuditProver Tooling

Accepting clients

Yes

Partners teams usually bring in alongside audit firms like Certora.

Smart-escrow infrastructure on Stellar — escrow-as-a-service

DeFi yield & index infrastructure on Soroban, by Palta Labs

Decentralized price oracle for Stellar Network

Aquarius is Stellar's DeFi Hub. Swap instantly, provide liquidity, earn rewards, and take part in governance.

Full-stack blockchain security — audits, pentests, advisory.

Formal methods firm — verification tooling and audits for Soroban.

Security audits across Rust chains — deep Soroban/Stellar track record.