A universal soundness calculator across hash-based zkEVMs and security regimes - View it on GitHub