Sui Security Hub · Powered by Certora

Build on Sui.
Ship Securely.

Your central resource for security best practices, tooling, and audit preparation when building on Sui.

Resources

Security Resources for Sui Builders

Practical materials to help you identify risks early and apply proven security patterns.

Certora Sui Prover Docs

Official documentation: setup, Move-based specification language, and Sui smart contract verification end-to-end.

Docs

CVLM — Move Verification Framework

Certora's library and Sui summaries enabling Move formal specifications. Write specs for your Sui contracts.

ToolLibrary

Formal Verification of Suilend

How Certora proved system-level safety, solvency, and liquidation correctness for Suilend — the most comprehensive FV on Sui.

ArticleCase Study

Formal Verification SUI — Practical Guide

Vault and AMM specification examples with DeFi verification patterns. Hands-on introduction to FV on Sui. Mar 2026.

Examples

What Certora offers

Certora is the leading formal verification security firm in blockchain. With deep Move expertise and a dedicated Sui practice, we help protocols ship with confidence.

✓Formal verification of Sui Move smart contracts
✓Full security audits by Move specialists
✓Architecture and threat model reviews
✓Pre-launch audit readiness assessments
✓Ongoing security retainers for live protocols

How to engage

Teams at any stage can reach out — from early architecture reviews to post-deployment monitoring. Certora has already completed formal verification work for leading Sui protocols.

→

Request a security review

Reach out to discuss scope, timeline, and approach for your project.
→

Work with Certora on Sui

Certora has completed formal verification and audit work for protocols including Suilend, covering lending and liquid staking. We bring the same rigour to your Sui contracts.

Contact Certora →

1-1 Free Sessions with Certora

Direct, no-pitch access to researchers who specialize in Sui and Move programs. Whether you're at idea stage or post-launch, you'll get actionable feedback.