Verifereum

Projeto

Ferramenta de verificação de contratos inteligentes Ethereum

Plataforma de DesenvolvimentoInfraestruturaSoluções de Segurança

Sobre

Verifereum é um modelo formal do Ethereum implementado em lógica de ordem superior (#HOL), visando permitir a verificação de aplicações e ferramentas dentro do ecossistema Ethereum (#EVM), desde contratos inteligentes até compiladores, para prevenir hacks e oferecer a mais alta garantia de código livre de vulnerabilidades possível. Tags: Infra Dev Platform Security Solutions Ecosystem(): Ethereum Founded:

Sinais sociais

Hot—0/100

Fundado

2024 · 2 a

Pontuação de confiançaCalculando…