Edgen - crypto : ethereum-foundation-funds-certora-to-boost-zk-scalability