Securify v2.0 released! A complete re-design that builds on a number of clean PL techniques to enable precise, scalable, and efficient analysis: new IR and compiler (MLton inspierd), fully declarative, 37 vulnerabilities (from the SWC registry). Oh, and it remains fully free! https://twitter.com/chain_security/status/1220397238679166977
New versions of genSTARK and AirScript are out: https://ethresear.ch/t/airassembly-a-low-level-language-for-zk-starks/6419/5 AirScript now can be compiled into AirAssembly and supports naming of input and static registers.