Published inCertoraHow to optimize your gas consumption without getting REKT, Part 2Author: Netanel Rubin-Blaier Editors: Uri Kirstein, Yura Sherman, David Mwihuri.Sep 14, 2023Sep 14, 2023
Published inCertoraProblems in Solidity Fixed Point Libraries — Certora Bug DisclosureJul 12, 2023Jul 12, 2023
Published inCertoraHow to optimize your gas consumption without getting REKTA walkthrough of the Certora Equivalence CheckerApr 26, 2023Apr 26, 2023
