Updates

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