---
title: "#move-smart-contract articles | Hashnode"
description: "Explore 1 articles tagged #move-smart-contract on Hashnode. Tutorials, guides, and how-tos from the community."
url: "https://hashnode.com/tag/move-smart-contract"
---

Tag

# #move-smart-contract

1 posts · 0 followers

[Killua Zoldyck](https://hashnode.com/@ZKillua) · [Jan 18](https://hashnode.com/posts/formal-verification-for-move-using-certora-sui-prover/696c6edbedd7cdf7c38a3515)

### [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.

4 min read · [killuaxyz.hashnode.dev](https://killuaxyz.hashnode.dev/formal-verification-for-move-using-certora-sui-prover?utm_source=hashnode&utm_medium=feed)