Archive of stories published by Certora

Homepage

Open in app

All

2021

2022

2023

Chandrakana Nandi in Certora

Oct 7, 2022

Certora Technology White Paper

Authors: Daniel Jackson, Chandrakana Nandi, Mooly Sagiv
Editors: Sameer Arora, Uri Kirstein

Securing Protocols During Development- From a High Level Invariant to a Pool-Draining Vulnerability in SushiSwap’s…

2 responses

John Toman in Certora

Jun 15, 2022

Overly Optimistic Optimizer — Certora Bug Disclosure

John Toman, VP of R&D at Certora, discovered a previously unknown optimization bug in the Solidity compiler (version 8.14 and lower). This bug causes the optimizer to consider some memory operations in inline assembly as being "dead" and…

Chandrakana Nandi in Certora

Mar 29, 2023

Gambit: A Solidity Mutation Testing Tool for Formal Verification

Jorge Navas in Certora

Aug 8, 2023

Formal Verification of Solana Smart Contracts

Author: Jorge A. Navas

Uri Kirstein in Certora

Jan 17, 2022

Post-Mortem Analysis of the Notional Finance Vulnerability — A Tautological Invariant

Uri Kirstein in Certora

Jun 6, 2023

Silo Finance - Post Mortem

On May 10th, 2023 the Silo team informed us about a critical vulnerability that had been fixed a few days before

Executive Summary

1 response

Uri Kirstein in Certora

May 19, 2022

Stopping DeFi Bugs at Scale

Certora empowers smart contract developers to detect and prevent billion-dollar mistakes before deploying code…

3 responses

Uri Kirstein in Certora

Jun 29, 2022

Detecting Corner Cases in Compound V3 with Formal Specifications

We describe an interesting…

1 response

Netanel in Certora

Jul 12, 2023

Problems in Solidity Fixed Point Libraries — Certora Bug Disclosure

These were the top 10 stories published by Certora; you can also dive into yearly archives: 2021, 2022, and 2023.

About

Certora

Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts

More information