Top stories published by Certora in 2023

Homepage

Open in app

Top Stories published by Certora in 2023

2023

February

May

October

November

December

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

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

Netanel in Certora

Jul 12, 2023

Problems in Solidity Fixed Point Libraries — Certora Bug Disclosure

Netanel in Certora

Apr 26, 2023

How to optimize your gas consumption without getting REKT

A walkthrough of the Certora Equivalence…

Jorge Navas in Certora

Aug 14, 2023

Formal Verification of SPL Token 2022

Author: Jorge A. Navas

Uri Kirstein in Certora

Aug 14, 2023

These were the top 10 stories published by Certora in 2023. You can also dive into monthly archives for 2023 by using the calendar at the top of this page.

About

Certora

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

More information

Gambit: A Solidity Mutation Testing Tool for Formal Verification

Formal Verification of Solana Smart Contracts

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

Problems in Solidity Fixed Point Libraries — Certora Bug Disclosure

How to optimize your gas consumption without getting REKT

A walkthrough of the Certora Equivalence…

Formal Verification of SPL Token 2022

Decompiling Vyper Programs for Formal Verification

How to optimize your gas consumption without getting REKT, Part 2

Formal Verification of the Confidentiality Extension of SPL Token 2022

Formal Specification with CVL: From ERC20 to Read Only Reentrancy