Veridise

Após investigações detalhadas e o site oficial da empresa mostram:

A Veridise é uma empresa focada em segurança de blockchain, fundada em 2021 por um grupo de especialistas acadêmicos de classe mundial. A empresa está comprometida em resolver os desafios de segurança mais complexos no ecossistema Web3 por meio de pesquisa e tecnologia de ponta. A missão da Veridise é aumentar a segurança e a confiabilidade do blockchain por meio de verificação formal e tecnologia de análise de programas.

Produtos e serviços

A Veridise fornece serviços abrangentes de segurança de blockchain, cobrindo as seguintes áreas:

Auditoria de contrato inteligente:

Realizar uma análise aprofundada da segurança de contratos inteligentes, detectar vulnerabilidades e fornecer recomendações de remediação.

Auditoria do Protocolo Blockchain:

Realizar uma análise de segurança abrangente dos protocolos blockchain L1 e L2 para garantir a segurança da arquitetura subjacente.

Zero-Knowledge Circuit Audit:

Concentra-se na avaliação de segurança da tecnologia Zero-Knowledge Proof (ZK) para garantir a proteção da privacidade e a correção computacional.

Auditoria de Finanças Descentralizadas (DeFi):

Forneça serviços personalizados de auditoria de segurança para a complexidade do protocolo DeFi.

Verificação Formal:

Utilize técnicas avançadas de verificação formal para garantir a correção e segurança do código.

Características Técnicas

Verificação Formal e Análise de Programas:

A Veridise toma a verificação formal como sua tecnologia principal e combina métodos de análise de programas para detectar vulnerabilidades que são difíceis de encontrar em auditorias tradicionais.

Combinação Acadêmica e Industrial:

A equipe da empresa é composta por grandes talentos da academia e da indústria, aplicando os últimos resultados de pesquisa a projetos reais.

Ferramentas Especiais:

A Veridise desenvolveu uma variedade de ferramentas internas para detectar vulnerabilidades complexas e fornecer uma análise de segurança abrangente.

Cobertura de segurança full-stack:

Os serviços cobrem vários campos, como contratos inteligentes, protocolos blockchain e circuitos de conhecimento zero, fornecendo uma gama completa de garantias de segurança.

As partes do projeto Blockchain participam

A Veridise forneceu serviços de segurança para vários projetos de blockchain bem conhecidos, incluindo, mas não se limitando a:

Linea:

Fornece auditorias de segurança para contratos e protocolos inteligentes.

Manta Network:

Um projeto de proteção de privacidade focado em tecnologias de conhecimento zero. A Veridise pode ter participado da avaliação de segurança de seu circuito ZK.

Rolagem:

Uma solução de escalonamento L2 baseada em Ethereum para a qual a Veridise forneceu serviços de auditoria de segurança.