Formal Verification of ZKWASM
Our implementation of ZKWASM https://github.com/DelphinusLab/zkWasm is now formally verified. More details can be found at https://www.certik.com/resources/blog/6BpCeEY8mm2HHlxsGwhhCl-advanced-formal-verification-of-zero-knowledge-proof-blockchains