Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of February.
If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!
Audit updates
During the month of February, we have published a series of reports and dedicated blog posts summarizing the details of the audits, including Alchemix (Ethereum), Pact and Folks Finance(Algorand), and QuipuSwap (Tezos).
Runtime Verification at UnChained 2022
Last Saturday, Andrei Vacaru joined UnChained 2022 with a talk about formal verification and KEVM. All the talks are available on the official RazzorSec youtube channel.
Check out our new job opportunities in the technical, marketing and product department. Make sure to visit our careers page and ask any questions about the openings to our team by email or in discord.