Code source ouvert
8,5 % déjà bâti.
En développement. Des outils gratuits pour vérifier les contrats intelligents, à commencer par Atheron Lens. Chacun est bâti en privé et ouvre son code quand il est prêt, et son lien paraît ici le jour même.
Lu dans la copie du plan d'entreprise écrite le 10 oct. 2026, 05 h 00. Le plan en direct n'a pas encore répondu.
Livré cette semaine
Rien dans ce projet n'a été livré dans les sept derniers jours.
Calendrier
Chaque pièce datée et les dates visées par le projet, selon le plan actuel, à côté de ce que disait le plan du 7 octobre.
- Aujourd'hui, 10 octobre 2026
- En chantier
Une action d'une ligne qui vérifie chaque demande de fusion
Prévu le 13 novembre 2026, ajouté depuis le 7 octobre
- Plus tard
Des invariants prêts à l'emploi pour les contrats courants
Prévu le 29 janvier 2027, ajouté depuis le 7 octobre
- Plus tard
Un vérificateur de mises à niveau et de stockage
Prévu le 29 janvier 2027, ajouté depuis le 7 octobre
- Plus tard
Un rapport prêt pour l'audit, tiré des constats de chaque outil
Prévu le 19 février 2027, ajouté depuis le 7 octobre
- Plus tard
Un scanneur des dépendances et de la chaîne d'approvisionnement
Prévu le 26 février 2027, ajouté depuis le 7 octobre
- Plus tard
Un scanneur de fuites de secrets et de clés
Prévu le 12 mars 2027, ajouté depuis le 7 octobre
- Plus tard
Un linter pour les circuits à divulgation nulle
Prévu le 16 avril 2027, ajouté depuis le 7 octobre
- Plus tard
Un fuzzer différentiel pour les nœuds et les clients
Prévu le 28 mai 2027, ajouté depuis le 7 octobre
- Plus tard
Un vérificateur des réglages de ponts et de multisignatures
Prévu le 28 mai 2027, ajouté depuis le 7 octobre
Modules
Atheron Lens
Un analyseur statique gratuit pour les contrats intelligents, en commençant par les langages EVM.
0 livrées sur 340,0%
- L'analyseur lui-même: En développement. Le code s'ouvre au lancement.
- Une action d'une ligne qui vérifie chaque demande de fusion: En développement. Le code s'ouvre au lancement.
- Lens dans les éditeurs de code: En développement. Le code s'ouvre au lancement.
Outils de test
Des outils qui tentent de casser un contrat avant quiconque.
0 livrées sur 50,0%
- Un fuzzer de propriétés: En développement. Le code s'ouvre au lancement.
- Des invariants prêts à l'emploi pour les contrats courants: En développement. Le code s'ouvre au lancement.
- Un vérificateur de mises à niveau et de stockage: En développement. Le code s'ouvre au lancement.
- Un explorateur symbolique: En développement. Le code s'ouvre au lancement.
- Un fuzzer différentiel pour les nœuds et les clients: En développement. Le code s'ouvre au lancement.
Outils de revue
Des outils qui préparent un projet à son audit.
0 livrées sur 60,0%
- Un rapport prêt pour l'audit, tiré des constats de chaque outil: En développement. Le code s'ouvre au lancement.
- Un profileur de gaz et de frais: En développement. Le code s'ouvre au lancement.
- Un scanneur des dépendances et de la chaîne d'approvisionnement: En développement. Le code s'ouvre au lancement.
- Un scanneur de fuites de secrets et de clés: En développement. Le code s'ouvre au lancement.
- Un linter pour les circuits à divulgation nulle: En développement. Le code s'ouvre au lancement.
- Un vérificateur des réglages de ponts et de multisignatures: En développement. Le code s'ouvre au lancement.
Suivre ce projet
Notre mise à jour quotidienne sur Discord et Telegram nomme ce qui a avancé.