Author: Rikard Hjort
![MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fmultiversx_dark_f750dab64b.png&w=640&q=75)
MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics
by Rikard Hjort
January 5th, 2021![KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fgitcoin_logo_horizontal_light_815f7a6f61.png&w=640&q=75)
KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
by Rikard Hjort
March 26th, 2020