Archive - Certora’s Newsletter

Certora Community Update - November 2022

Headlines from Q4 2022

Nov 18, 2022 •

August 2022

Certora Community Update - August 2022

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, 2022 •

Certora

1

July 2022

Certora Community Update - July 2022

Headlines from June 2022

Jul 1, 2022 •

Certora

3

May 2022

Coming soon

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

May 29, 2022 •

Certora

#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