The latest version of certora-cli-alpha-bgreenwald-constant-scratch-soundness with no known security vulnerabilities is 20230517.23.18.209263. We recommend installing version 20230517.23.18.209263.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.