---
title: "Discussion on \"Formal Verification for Move: Using Certora SUI prover\" | Hashnode"
description: "Discussion on \"Formal Verification for Move: Using Certora SUI prover\". A multi-part deep dive into mathematically proving your smart contracts are secure."
url: "https://hashnode.com/posts/formal-verification-for-move-using-certora-sui-prover/696c6edbedd7cdf7c38a3515"
---

[Feed](https://hashnode.com/feed) /

Discussion

# [Formal Verification for Move: Using Certora SUI prover](https://killuaxyz.hashnode.dev/formal-verification-for-move-using-certora-sui-prover?utm_source=hashnode&utm_medium=feed)

A multi-part deep dive into mathematically proving your smart contracts are secure.

Jan 18 · 4 min read · killuaxyz.hashnode.dev  
Read the article

-   [#move-smart-contract](https://hashnode.com/tag/move-smart-contract)
-   [#certora-prover](https://hashnode.com/tag/certora-prover)
-   [#certora](https://hashnode.com/tag/certora)
-   [#sui](https://hashnode.com/tag/sui)
-   [#auditing](https://hashnode.com/tag/auditing)
-   [#smart-contract-security-audit](https://hashnode.com/tag/smart-contract-security-audit)
-   [#formal-verification](https://hashnode.com/tag/formal-verification)
-   [#solidity](https://hashnode.com/tag/solidity)
-   [#ethereum](https://hashnode.com/tag/ethereum)

## Written by

[Killua Zoldyck](https://hashnode.com/@ZKillua)

@ZKillua · Ethereum

  
[View profile](https://hashnode.com/@ZKillua)

I'm a dev by profession, clueless otherwise!

Sick of writing Bio s everywhere.

## Responses

Markdown supported · ⌘↵ to post

No responses yet.