Formal verification is key to scaling secure zkVMs. We’re proud to share our latest Ethereum Foundation grant work, exploring how Verus can make zkVM correctness proofs more practical while significantly reducing proof complexity. Great work by the team.👏(CertiK)