Archive - Certora’s Newsletter

Headlines from Q4 2022 Check out our white paper outlining the technology that sets us above the rest. You’ll gain an understanding of our Certora…

Nov 18

Headlines from July 2022 Certora will release a new and improved way of configuring a verification run via our VSCode extension in August. Here is a…

Aug 4

Headlines from June 2022 Two AAVE formal verification community grant rounds have been completed! Congratulations to the winners who earned thousands of…

Jul 1

This is Certora’s Newsletter, a newsletter about Smart contract security.

May 29

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts