All partners

Veridise

Audit firmFresh

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

Is this your company? Claim it →
About

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

Services
soroban-auditformal-verificationrust-auditzk-audit
Coverage
defiglobal
Working together
Accepting clients
Yes
Links
Website
Is this your company? Claim the profile to keep it current.