{"title": "Verifereum", "logoImg": "bafkreih6mvythdv2d5ywffcg6p4utlaeypb3763gvh5f7i6wxhxoufpmti", "website": "https://verifereum.org", "bannerImg": "bafkreibhm2cbynrygechzhvv7nsbcagz725aamxv2xyvk25jxipxcimyd4", "createdAt": 1741860468210, "userGithub": "xrchz", "credentials": {"github": {"type": ["VerifiableCredential"], "proof": {"type": "EthereumEip712Signature2021", "created": "2025-03-28T12:01:29.233Z", "@context": "https://w3id.org/security/suites/eip712sig-2021/v1", "proofValue": "0xfa0f30b9ad02cac60ea0f28b94b6c4a56b0d2c8ceacbfb612a128705581bd6fe637f80662d3afe0ef710d56fa852316f9fd84676ef2bccefbb473bce9f62dfc01c", "eip712Domain": {"types": {"Proof": [{"name": "@context", "type": "string"}, {"name": "created", "type": "string"}, {"name": "proofPurpose", "type": "string"}, {"name": "type", "type": "string"}, {"name": "verificationMethod", "type": "string"}], "@context": [{"name": "nullifiers", "type": "NullifiersContext"}, {"name": "provider", "type": "string"}], "Document": [{"name": "@context", "type": "string[]"}, {"name": "credentialSubject", "type": "CredentialSubject"}, {"name": "expirationDate", "type": "string"}, {"name": "issuanceDate", "type": "string"}, {"name": "issuer", "type": "string"}, {"name": "proof", "type": "Proof"}, {"name": "type", "type": "string[]"}], "EIP712Domain": [{"name": "name", "type": "string"}], "CredentialSubject": [{"name": "@context", "type": "@context"}, {"name": "nullifiers", "type": "string[]"}, {"name": "id", "type": "string"}, {"name": "provider", "type": "string"}], "NullifiersContext": [{"name": "@container", "type": "string"}, {"name": "@type", "type": "string"}]}, "domain": {"name": "VerifiableCredential"}, "primaryType": "Document"}, "proofPurpose": "assertionMethod", "verificationMethod": "did:ethr:0xd6f8d6ca86aa01e551a311d670a0d1bd8577e5fb#controller"}, "issuer": "did:ethr:0xd6f8d6ca86aa01e551a311d670a0d1bd8577e5fb", "@context": ["https://www.w3.org/2018/credentials/v1", "https://w3id.org/vc/status-list/2021/v1"], "issuanceDate": "2025-03-28T12:01:29.233Z", "expirationDate": "2025-06-26T12:01:29.233Z", "credentialSubject": {"id": "did:pkh:eip155:1:0xB0De8cB8Dcc8c5382c4b7F3E978b491140B2bC55", "@context": {"provider": "https://schema.org/Text", "nullifiers": {"@type": "https://schema.org/Text", "@container": "@list"}}, "provider": "ClearTextGithubOrg#verifereum#181254", "nullifiers": ["v0.0.0:N1Dvu+b5xwhTOAlJzy/jEXIJpY3FmcQPW/CB+ICml4c="]}}}, "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"}