Después de consultas detalladas y el sitio web oficial de la empresa muestra:

Veridise es una empresa centrada en la seguridad de la cadena de bloques, fundada en 2021 por un grupo de expertos académicos de clase mundial. La empresa se compromete a resolver los desafíos de seguridad más complejos del ecosistema Web3 a través de la investigación y la tecnología de vanguardia. La misión de Veridise es mejorar la seguridad y confiabilidad de la cadena de bloques a través de la verificación formal y la tecnología de análisis de programas.

Productos y servicios

Veridise proporciona servicios integrales de seguridad de cadena de bloques, cubriendo las siguientes áreas:

Auditoría de contratos inteligentes:

Realizar un análisis en profundidad de la seguridad de los contratos inteligentes, detectar vulnerabilidades y proporcionar recomendaciones de corrección.

Auditoría de protocolo de cadena de bloques:

Realizar un análisis de seguridad integral de los protocolos de cadena de bloques L1 y L2 para garantizar la seguridad de la arquitectura subyacente.

Auditoría de circuito de conocimiento cero:

Se centra en la evaluación de seguridad de la tecnología de prueba de conocimiento cero (ZK) para garantizar la protección de la privacidad y la corrección informática.

Auditoría de finanzas descentralizadas (DeFi):

Proporcionar servicios de auditoría de seguridad personalizados para la complejidad del protocolo DeFi.

Verificación formal:

Utilizar técnicas de verificación formales avanzadas para garantizar la corrección y seguridad del código.

Características técnicas

Verificación formal y análisis de programas:

Veridise toma la verificación formal como su tecnología central y combina métodos de análisis de programas para detectar vulnerabilidades difíciles de encontrar en las auditorías tradicionales.

Combinación académica e industrial:

El equipo de la empresa está compuesto por los mejores talentos de la academia y la industria, aplicando los últimos resultados de investigación a proyectos reales.

Herramientas especiales:

Veridise ha desarrollado una variedad de herramientas internas para detectar vulnerabilidades complejas y proporcionar un análisis de seguridad completo.

Cobertura de seguridad de pila completa:

Los servicios cubren múltiples campos como contratos inteligentes, protocolos de cadena de bloques y circuitos de conocimiento cero, proporcionando una gama completa de garantías de seguridad.

Participan las partes del proyecto Blockchain

Veridise ha proporcionado servicios de seguridad para varios proyectos de cadena de bloques conocidos, que incluyen pero no se limitan a:

Línea:

Proporciona auditorías de seguridad para contratos y protocolos inteligentes.

Manta Network:

Un proyecto de protección de privacidad centrado en tecnologías de conocimiento cero. Veridise puede haber participado en la evaluación de seguridad de su circuito ZK.

Scroll:

Una solución de escalado L2 basada en Ethereum para la que Veridise servicios de auditoría de seguridad.