Chengdú Lianan

Chengdú Lianan

Beosin VaaS, o Verification as a Service, es la primera plataforma de verificación formal automática del mundo que admite contratos inteligentes de EOS y Ethereum blockchain al mismo tiempo. Tiene alta eficiencia de verificación, alto grado de automatización, baja participación manual, fácil de usar, It admite una variedad de lenguajes de desarrollo de contratos y puede admitir la plataforma subyacente de blockchain de gran capacidad.

Chengdu Lianan: La parte del proyecto ApolloX fue atacada debido a una falla en el sistema de firma y perdió alrededor de 1,6 millones de dólares estadounidenses: Jinse Finance News, según los datos de seguimiento de la opinión pública de seguridad de la "Chain Bing-Blockchain Security Situational Awareness Platform" de Chengdu Lianan. ", el proyecto ApolloX sufrió El ataque, según el análisis del equipo técnico de Chengdu Lianan, encontró que el sistema de firma ApolloX tenía fallas. El atacante usó la falla del sistema de firma para generar 255 firmas y extrajo un total de 53,946,802 $ APX de el contrato, por un valor aproximado de 1,6 millones de dólares EE. UU. La cantidad robada se pasa actualmente La cadena cruzada ha ingresado a la dirección Ethereum 0x9e532b19abd155ae5ced76ca2a206a732c68f261. Anteriormente, el APX del token ApolloX cayó rápidamente de $ 0.054 a $ 0.019 alrededor de las 19:00 de hoy, una caída repentina de alrededor del 60%. [2022/6/9 4:11:35]

La herramienta de verificación formal de "un clic" de la plataforma VaaS puede ubicar con precisión las ubicaciones de los códigos de riesgo y las causas de riesgo, y verificar de manera efectiva las vulnerabilidades de seguridad convencionales, los atributos de seguridad y la corrección funcional de los contratos inteligentes o las aplicaciones de cadena de bloques, lo que mejora significativamente su nivel de seguridad. . Las herramientas automatizadas y la revisión manual se utilizan para realizar auditorías de seguridad en contratos inteligentes para garantizar la calidad y la eficiencia de la auditoría. Los resultados de investigaciones relacionadas han solicitado 5 patentes de invención de software.

Chengdu Lianan: Análisis del ataque a Li.Finance: Golden Finance News, según el monitoreo de la opinión pública de Chengdu Lianan Bing-Blockchain Security Situational Awareness Platform muestra que el protocolo de agregación DEX Li.Finance fue pirateado y perdió alrededor de 600,000 dólares estadounidenses. ataque, el equipo de Chengdu Lianan analizó y encontró que hay un ataque de inyección de llamada en la función swapAndStartBridgeTokensViaCBridge en el contrato atacado, y los parámetros de la llamada pueden controlarse mediante la construcción de datos maliciosos (_swapData). En este ataque, el atacante malintencionadamente construyó la dirección callTo como la dirección del contrato del token correspondiente y llamó a la función transferFrom del contrato del token para transferir los tokens de la dirección de la víctima. [2022/3/21 14:08:55]

Fue cofundado por dos profesores, Yang Xia y Guo Wensheng, de la Universidad de Ciencia y Tecnología Electrónica de China, y recibió inversiones de Fenbushi Capital.

Voz | Chengdu Lianan: La conciencia de seguridad insuficiente de los usuarios, el sistema de seguridad insuficiente del intercambio y otros factores han causado frecuentes incidentes de seguridad en el intercambio: las estadísticas de Chengdu Lianan muestran que los problemas de seguridad recientes han ocurrido de vez en cuando. Al resumir los incidentes de seguridad recientes de varios intercambios y los incidentes de pérdida de monedas de los usuarios, Chengdu Lianan cree que hay tres fuentes principales de incidentes de seguridad en los intercambios: 1. La conciencia de seguridad insuficiente de los usuarios conduce al acceso erróneo a sitios web de phishing y al robo de información privada. 2. El sistema de seguridad del intercambio no es perfecto y la plataforma en sí tiene lagunas de seguridad. 3. El intercambio no ha establecido un mecanismo de emergencia para factores incontrolables después de conectarse a servicios de datos externos u otros servicios. [2019/8/26]

Tags：Chengdú Lianan

oficial

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube