Veridise

Smart-contract security audits

Audit firm

Fresh

DeFi

Global

About Veridise

Formal verification + audits — audited Soroban core (V-SOR reports).

Smart-contract security audits + formal verification. Audited Stellar Soroban Core (the V-SOR Veridise reports).

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

Already manage Veridise? Sign in

Also tracked as a project

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

Soroban AuditFormal VerificationRust AuditZk Audit

Accepting clients

Yes

Partners teams usually bring in alongside audit firms like Veridise.

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.

Prover-based formal verification, extended to Soroban contracts.

Formal methods firm — verification tooling and audits for Soroban.