https://mpost.io/protecting-zk-systems-with-continuous-and-automated-security/