Herramientas gratuitas de código abierto para revisar el código antes del lanzamiento, primero ATON y luego EVM

De qué se compone

• Atheron Lens dentro de los editores de código que ya usasEn obra
• Atheron Lens: un analizador de código para contratos Web3, empezando por EVMEn obra
• Una sola línea para ejecutar las comprobaciones de Atheron Lens en cada pull requestListo
• Una sección de código abierto en el sitio de Labs y en el de progreso, con una página por herramientaEntregado
• Pruebas automáticas de las reglas de los contratos con millones de secuencias de transacciones aleatoriasSiguiente
• Comprobar que cada versión de Atheron trata los mismos datos de la misma maneraMás adelante
• Una herramienta que revisa la configuración de puentes y multisigs para mostrar dónde se queda cortaMás adelante
• Una herramienta que demuestra que un estado erróneo no se alcanza, o halla la entrada que lo provocaMás adelante
• Una herramienta que señala errores comunes en circuitos de conocimiento ceroMás adelante
• Consulta lo que cuesta cada función, línea a línea, con las tarifas de ATONMás adelante
• Un informe único que reúne los hallazgos de todas las herramientas, listo para auditoríasMás adelante
• Comprobaciones listas para probar tokens, bóvedas, staking, subastas y puentesMás adelante
• Actualizaciones más fiables: comprobaciones para que nada se pierda ni se rompaMás adelante