Ir al contenido
Avance

Todos los proyectos

Código abierto

8,5 % ya construido.

En desarrollo. Herramientas gratuitas para revisar contratos inteligentes, empezando por Atheron Lens. Cada una se construye en privado y abre su código cuando está lista, y su enlace aparece aquí ese mismo día.

En obra0 de 14 entregadas

Leído de la copia del plan de la empresa escrita el 10 oct 2026, 5:00. El plan en vivo aún no ha respondido.

Lanzado esta semana

Nada de este proyecto se lanzó en los últimos siete días.

Calendario

Cada pieza con fecha y las fechas a las que apunta el proyecto, según el plan actual, junto a lo que decía el plan del 7 de octubre.

  1. Hoy, 10 de octubre de 2026
    En obra

    El propio analizador

    Previsto para el 13 de noviembre de 2026, añadido después del 7 de octubre

  2. En obra

    Una acción de una línea que revisa cada solicitud de cambios

    Previsto para el 13 de noviembre de 2026, añadido después del 7 de octubre

  3. En obra

    Lens dentro de los editores de código

    Previsto para el 18 de diciembre de 2026, añadido después del 7 de octubre

  4. Siguiente

    Un fuzzer de propiedades

    Previsto para el 18 de diciembre de 2026, añadido después del 7 de octubre

  5. Más adelante

    Invariantes listas para usar en contratos comunes

    Previsto para el 29 de enero de 2027, añadido después del 7 de octubre

  6. Más adelante

    Un comprobador de actualizaciones y almacenamiento

    Previsto para el 29 de enero de 2027, añadido después del 7 de octubre

  7. Más adelante

    Un informe listo para auditoría con los hallazgos de cada herramienta

    Previsto para el 19 de febrero de 2027, añadido después del 7 de octubre

  8. Más adelante

    Un escáner de dependencias y cadena de suministro

    Previsto para el 26 de febrero de 2027, añadido después del 7 de octubre

  9. Más adelante

    Un perfilador de gas y comisiones

    Previsto para el 26 de febrero de 2027, añadido después del 7 de octubre

  10. Más adelante

    Un escáner de fugas de secretos y claves

    Previsto para el 12 de marzo de 2027, añadido después del 7 de octubre

  11. Más adelante

    Un linter para circuitos de conocimiento cero

    Previsto para el 16 de abril de 2027, añadido después del 7 de octubre

  12. Más adelante

    Un explorador simbólico

    Previsto para el 30 de abril de 2027, añadido después del 7 de octubre

  13. Más adelante

    Un comprobador de la configuración de puentes y multifirma

    Previsto para el 28 de mayo de 2027, añadido después del 7 de octubre

  14. Más adelante

    Un fuzzer diferencial para nodos y clientes

    Previsto para el 28 de mayo de 2027, añadido después del 7 de octubre

Módulos

  • Atheron Lens

    Un analizador estático gratuito para contratos inteligentes, empezando por los lenguajes EVM.

    0 de 3 entregadas40,0%

    • El propio analizador: En desarrollo. El código se abre en el lanzamiento.
    • Una acción de una línea que revisa cada solicitud de cambios: En desarrollo. El código se abre en el lanzamiento.
    • Lens dentro de los editores de código: En desarrollo. El código se abre en el lanzamiento.
    Abrir el módulo
  • Herramientas de prueba

    Herramientas que intentan romper un contrato antes que nadie.

    0 de 5 entregadas0,0%

    • Un fuzzer de propiedades: En desarrollo. El código se abre en el lanzamiento.
    • Invariantes listas para usar en contratos comunes: En desarrollo. El código se abre en el lanzamiento.
    • Un comprobador de actualizaciones y almacenamiento: En desarrollo. El código se abre en el lanzamiento.
    • Un explorador simbólico: En desarrollo. El código se abre en el lanzamiento.
    • Un fuzzer diferencial para nodos y clientes: En desarrollo. El código se abre en el lanzamiento.
    Abrir el módulo
  • Herramientas de revisión

    Herramientas que preparan un proyecto para su auditoría.

    0 de 6 entregadas0,0%

    • Un informe listo para auditoría con los hallazgos de cada herramienta: En desarrollo. El código se abre en el lanzamiento.
    • Un perfilador de gas y comisiones: En desarrollo. El código se abre en el lanzamiento.
    • Un escáner de dependencias y cadena de suministro: En desarrollo. El código se abre en el lanzamiento.
    • Un escáner de fugas de secretos y claves: En desarrollo. El código se abre en el lanzamiento.
    • Un linter para circuitos de conocimiento cero: En desarrollo. El código se abre en el lanzamiento.
    • Un comprobador de la configuración de puentes y multifirma: En desarrollo. El código se abre en el lanzamiento.
    Abrir el módulo

Seguir este proyecto

Nuestra actualización diaria en Discord y Telegram dice qué ha avanzado.

Todos los proyectos

Código abierto: progreso · Atheron Avance