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!
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.