Homepage
Open in app
Sign in
Get started
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
About us
Our website
Follow
Latest
Trending
Netanel
in
Certora
Sep 14, 2023
How to optimize your gas consumption without getting REKT, Part 2
Read more…
79
Uri Kirstein
in
Certora
Sep 12, 2023
Empowering Success: Reflecting on Our Journey with Aave
Read more…
20
Jorge Navas
in
Certora
Aug 20, 2023
Formal Verification of the Confidentiality Extension of SPL Token 2022
Read more…
8
Jorge Navas
in
Certora
Aug 14, 2023
Formal Verification of SPL Token 2022
Author: Jorge A. Navas
Read more…
11
Uri Kirstein
in
Certora
Aug 14, 2023
Decompiling Vyper Programs for Formal Verification
Read more…
32
Jorge Navas
in
Certora
Aug 8, 2023
Formal Verification of Solana Smart Contracts
Author: Jorge A. Navas
Read more…
20
Ghila Castelnuovo
in
Certora
Jul 19, 2023
Formal Specification with CVL: From ERC20 to Read Only Reentrancy
Read more…
7
Netanel
in
Certora
Jul 12, 2023
Problems in Solidity Fixed Point Libraries — Certora Bug Disclosure
Read more…
48
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
Read more…
17
1 response
Netanel
in
Certora
Apr 26, 2023
How to optimize your gas consumption without getting REKT
A walkthrough of the Certora Equivalence…
Read more…
16
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
131
Elsewhere