Open in app
Sign inGet started
How to optimize your gas consumption without getting REKT, Part 2

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

Author: Netanel Rubin-Blaier Editors: Uri Kirstein, Yura Sherman, David Mwihuri.
Go to the profile of Netanel
Netanel
Empowering Success: Reflecting on Our Journey with Aave

Empowering Success: Reflecting on Our Journey with Aave

Authors: Michael Morami, Mooly Sagiv
Go to the profile of Uri Kirstein
Uri Kirstein
Formal Verification of the Confidentiality Extension of SPL Token 2022

Formal Verification of the Confidentiality Extension of SPL Token 2022

Author: Jorge A. Navas
Go to the profile of Jorge Navas
Jorge Navas
Formal Verification of SPL Token 2022

Formal Verification of SPL Token 2022

Author: Jorge A. Navas
Go to the profile of Jorge Navas
Jorge Navas
Decompiling Vyper Programs for Formal Verification

Decompiling Vyper Programs for Formal Verification

Authors: John Toman, Jochen Hoenicke
Go to the profile of Uri Kirstein
Uri Kirstein
Formal Verification of Solana Smart Contracts

Formal Verification of Solana Smart Contracts

Author: Jorge A. Navas
Go to the profile of Jorge Navas
Jorge Navas
Formal Specification with CVL: From ERC20 to Read Only Reentrancy

Formal Specification with CVL: From ERC20 to Read Only Reentrancy

Formal Verification (FV) for smart contracts has never realized its potential adoption due to three prevalent misconceptions: 1. It is…
Go to the profile of Ghila Castelnuovo
Ghila Castelnuovo
About CertoraLatest StoriesArchiveAbout MediumTermsPrivacyTeams