Finalizan las auditorías de Manta Atlantic
“En general, el código base de Manta Network era de muy alta calidad.
La documentación era clara y fácil de seguir,
y el conjunto de pruebas era extenso y ejercitaba todos
los flujos críticos de seguridad del sistema”.
A lo largo de 2023, Manta Network contrató a varios auditores para que realizaran auditorías a su Atlantic Network. Manta Atlantic es la L1 diseñada para la identidad y las transacciones privadas en cadena. Manta Network contrató a los cuatro auditores independientes siguientes:
- Veridise
- ABDK
- Halborn
- Secure3
Al contratar auditores independientes, Manta Network garantiza una evaluación exhaustiva y completa de los distintos componentes que alimentan Manta Atlantic.
Componentes examinados y resultados.
Dentro de Manta Atlantic, los siguientes componentes fueron auditados de forma independiente por los auditores contratados. A varios auditores se les asignaron diversos componentes, para garantizar un examen cruzado detallado con el fin de reducir la probabilidad de que se pasen por alto vulnerabilidades. Para ver una lista de los resultados de la auditoría, puede visitar este enlace de Github.
Circuitos ZK de Manta Atlantic (Manta-ZK Lib).
Los circuitos ZK de Manta Atlantic constituyen la competencia central de la red. Los circuitos ZK garantizan el correcto funcionamiento de la propuesta de valor de Atlantic: privacidad en la cadena para la identidad y las transacciones.
Get La Manta Network’s stories in your inbox
Join Medium for free to get updates from this writer.
Veridise examinó el Manta-ZK Lib de Manta Atlantic. A través de este examen, Veridise no descubrió ningún problema crítico o de alta gravedad. Puede consultar una copia completa del informe aquí.
La red blockchain de Manta Atlantic (Manta Chain).
La cadena central L1 de Manta Atlantic opera toda la red y presta sus servicios a usuarios finales de todo el mundo. Asegurar la cadena es una misión crítica; por lo tanto, la auditoría es necesaria.
Veridise examinó la red blockchain de Manta Atlantic. A través de su examen, no se detectaron problemas críticos o de alta gravedad. Puede consultarse una copia completa del informe aquí.
Componentes frontales de Manta Atlantic.
Los Componentes Frontend de Manta Atlantic comprenden todas las dapps con las que interactúan los usuarios, incluyendo MantaPay, las interfaces Bridge y Staking. Garantizar la seguridad de estos componentes mitiga el riesgo de exploits de seguridad frontend.
Secure3 analizó los diversos frontends categorizados bajo los Componentes Frontend de Manta Atlantic. A través de su análisis, no se detectaron problemas críticos o de alta gravedad. Una copia de su evaluación de vulnerabilidades puede consultarse aquí.
zkSBTs (Manta SBT).
La acuñación de zkSBTs en Manta Atlantic es un servicio central proporcionado por el protocolo L1 al ofrecer una identidad en cadena privada y sin confianza. Al utilizar la NPO de Manta Atlantic, los usuarios pueden acuñar zkSBT que verifican su identidad y actividades en la cadena. Los zkSBT acuñados pueden utilizarse para verificar otras aplicaciones que utilizan Manta, sin necesidad de un monedero.
Tanto Halborn como Veridise han auditado los servicios zkSBT de Manta. Ni Halborn ni Veridise han detectado problemas críticos o de alta gravedad en sus análisis. Puede encontrar una copia de los resultados de Halborn aquí, y una copia de los resultados de Veridise aquí.
Próximos pasos.
Los resultados de las auditorías de varios servicios y protocolos desplegados en Manta Atlantic han demostrado que la red se encuentra en una posición sólida en lo que respecta a la seguridad. Una vez completadas las verificaciones de cuatro auditores independientes, Manta Atlantic comienza a prepararse para el siguiente paso del despliegue de su red. Puedes unirte al canal de Discord para seguir las últimas noticias y los próximos pasos de la red.
