NetanelinCertoraHow to optimize your gas consumption without getting REKT, Part 2Author: Netanel Rubin-Blaier Editors: Uri Kirstein, Yura Sherman, David Mwihuri.10 min read·Sep 14, 2023----
NetanelinCertoraProblems in Solidity Fixed Point Libraries — Certora Bug Disclosure6 min read·Jul 12, 2023----
NetanelinCertoraHow to optimize your gas consumption without getting REKTA walkthrough of the Certora Equivalence Checker9 min read·Apr 26, 2023----