# Royco Talks #1 - What Formal Verification Actually Means

By [Royco](https://blog.royco.org) · 2026-06-03

defi, security, formal, verification, certora, talks

---

If you've ever seen a protocol say "we did formal verification with Certora" and wondered what that actually means, this is for you.

[Armen](https://x.com/teryanarmenn) from [Certora](https://www.certora.com/) joined our engineering team to walk through it, using as few technical terms as possible so anyone can follow.

* * *

**What's the difference between an audit and formal verification?**
===================================================================

An audit is a team of experienced engineers reading through your code, hunting for bugs based on what they've seen in other protocols. It's effective, but no one catches every edge case.

Formal verification is a tool. You tell the tool what you want to be true about your code (for example: "the system can never run out of user funds"), and the tool either proves you right, or it shows you the one situation where it breaks. It's not opinion. It's math.

Armen used a simple example: if A equals B, and B equals C, then A equals C. Formal verification scales that idea up to entire smart contracts.

**At Royco:** Royco Dawn passed through both layers. Independent audits and formal verification, all with Certora. The next version, Dusk, will go through the exact same process before launch.

* * *

**What formal verification can't do**
=====================================

Here's the part most people miss: the real work happens before the tool runs.

Formal verification proves whatever you ask it to. So the strength of the proof depends on the quality of the questions. Writing those questions, what [Shiv](https://x.com/ShivaanshKapoor) called "turning the protocol into theorems", forces you to understand your own protocol even better than building it did.

He shared a moment where the team wrote a property they expected to hold, and the prover came back with the exact case where it didn't. That kind of feedback doesn't come from anywhere else.

**At Royco:** Most of the time was spent on that part. Defining the theorems with Certora before anything ran. That's how the rest of the protocol gets built on solid ground.

* * *

**Why this matters for someone depositing on Royco**
====================================================

[Ankur](https://x.com/ankurdubey521) said something worth holding on to: a protocol is only as secure as its weakest link.

Royco's accountant, the contract that handles every calculation across Senior and Junior, is the most mathematically dense part of the system. Tiny rounding choices, multiplied across thousands of operations, can compound into real problems if they're wrong.

Formal verification was applied specifically to that piece, because it's the one where being "almost right" isn't good enough. The prover went through every possible rounding direction across every operation and confirmed they all behaved the way the team expected.

For depositors, that means the balance they see and the yield they earn are exactly what the math says they should be.

**At Royco:** Security is our top priority. That's why the protocol has been formally verified and independently audited. The whole protocol has been built to the same standard.

See the full security setup at [https://dawn.royco.org/security](https://dawn.royco.org/security)

* * *

**Watch the Full Episode**
==========================

[![User Avatar](https://storage.googleapis.com/papyrus_images/f8bb26fec8b9f4e8e7d0d778b91ad4323d4c1e3754677c48798e2e15bb9080a1.jpg)](https://twitter.com/roycoprotocol)

[Royco](https://twitter.com/roycoprotocol)

[@roycoprotocol](https://twitter.com/roycoprotocol)

[](https://twitter.com/roycoprotocol/status/2057202699305681097)

Why did Royco get multiple audits and formal verification?  
  
We sat down with [@teryanarmenn](https://twitter.com/teryanarmenn) from [@Certora](https://twitter.com/Certora) to break it down. Certora completed a comprehensive audit and formal verification engagement on Royco Dawn, further fortifying its security stack.  
  
Watch it now.

![](https://pbs.twimg.com/amplify_video_thumb/2057201244930789376/img/RwXP3yZiQj6TQAuJ.jpg)

[37](https://twitter.com/roycoprotocol/status/2057202699305681097)[

8:51 PM • May 20, 2026

](https://twitter.com/roycoprotocol/status/2057202699305681097)

  

===

---

*Originally published on [Royco](https://blog.royco.org/royco-talks-1-what-formal-verification-actually-means)*