{"title": "Verifereum", "logoImg": "bafkreih6mvythdv2d5ywffcg6p4utlaeypb3763gvh5f7i6wxhxoufpmti", "website": "https://verifereum.org", "bannerImg": "bafkreibhm2cbynrygechzhvv7nsbcagz725aamxv2xyvk25jxipxcimyd4", "createdAt": 1741860468210, "userGithub": "xrchz", "credentials": {}, "description": "Verifereum is a formal model of the Ethereum Virtual Machine (EVM) in higher-order logic (HOL). The aim of the project is to enable verification of applications that run on Ethereum and other EVM chains, covering smart contracts and decentralised protocols, compilers to/from EVM bytecode, and infrastructure for proof engineering and developing formal specifications. Verifereum is developed using HOL4 (https://hol-theorem-prover.org).", "logoImgData": {}, "bannerImgData": {}, "projectGithub": "verifereum", "projectTwitter": "verifereum"}