Verifereum

Proyecto

Herramienta de verificación de contratos inteligentes de Ethereum

Plataforma para desarrolladoresInfraestructuraSoluciones de seguridad

Acerca de

Verifereum es un modelo formal de Ethereum implementado en lógica de orden superior (#HOL), con el objetivo de permitir la verificación de aplicaciones y herramientas dentro del ecosistema Ethereum (#EVM), desde contratos inteligentes hasta compiladores, para prevenir hackeos y ofrecer la mayor seguridad posible de código sin vulnerabilidades. Etiquetas: Infra Dev Platform Security Solutions Ecosistema(): Ethereum Fundado:

Señales sociales

Hot—0/100

Fundado

2024 · 2 a

Puntuación de confianzaCalculando…