Open Source
8,5 % davon gebaut.
In Entwicklung. Kostenlose Werkzeuge zum Prüfen von Smart Contracts, beginnend mit Atheron Lens. Jedes wird intern gebaut und öffnet seinen Quellcode, wenn es fertig ist, und sein Link erscheint hier am selben Tag.
Aus der Kopie des Unternehmensplans vom 10.10.2026, 05:00 gelesen. Der aktuelle Plan hat noch nicht geantwortet.
Diese Woche ausgeliefert
In diesem Projekt wurde in den letzten sieben Tagen nichts ausgeliefert.
Zeitplan
Jedes datierte Teil und die Termine des Projekts, wie der Plan sie jetzt nennt, neben dem, was der Plan vom 7. Oktober sagte.
- Heute, 10. Oktober 2026
- Im Bau
Eine einzeilige Aktion, die jeden Pull Request prüft
Geplant für 13. November 2026, seit dem 7. Oktober hinzugefügt
- Später
Ein Prüfer für Upgrades und Speicher
Geplant für 29. Januar 2027, seit dem 7. Oktober hinzugefügt
- Später
Fertige Invarianten für gängige Verträge
Geplant für 29. Januar 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein auditfertiger Bericht aus den Befunden aller Werkzeuge
Geplant für 19. Februar 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein Profiler für Gas und Gebühren
Geplant für 26. Februar 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein Scanner für Abhängigkeiten und Lieferkette
Geplant für 26. Februar 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein Scanner für durchgesickerte Geheimnisse und Schlüssel
Geplant für 12. März 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein Linter für Zero-Knowledge-Schaltkreise
Geplant für 16. April 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein differenzieller Fuzzer für Nodes und Clients
Geplant für 28. Mai 2027, seit dem 7. Oktober hinzugefügt
- Später
Ein Prüfer für Bridge- und Multisig-Einstellungen
Geplant für 28. Mai 2027, seit dem 7. Oktober hinzugefügt
Module
Atheron Lens
Ein kostenloser statischer Analysator für Smart Contracts, zuerst für die EVM-Sprachen.
0 von 3 geliefert40,0%
- Der Analysator selbst: In Entwicklung. Der Quellcode öffnet zum Start.
- Eine einzeilige Aktion, die jeden Pull Request prüft: In Entwicklung. Der Quellcode öffnet zum Start.
- Lens in den Code-Editoren: In Entwicklung. Der Quellcode öffnet zum Start.
Testwerkzeuge
Werkzeuge, die einen Vertrag zu brechen versuchen, bevor es jemand anderes tut.
0 von 5 geliefert0,0%
- Ein Property-Fuzzer: In Entwicklung. Der Quellcode öffnet zum Start.
- Fertige Invarianten für gängige Verträge: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein Prüfer für Upgrades und Speicher: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein symbolischer Explorer: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein differenzieller Fuzzer für Nodes und Clients: In Entwicklung. Der Quellcode öffnet zum Start.
Prüfwerkzeuge
Werkzeuge, die ein Projekt auf sein Audit vorbereiten.
0 von 6 geliefert0,0%
- Ein auditfertiger Bericht aus den Befunden aller Werkzeuge: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein Profiler für Gas und Gebühren: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein Scanner für Abhängigkeiten und Lieferkette: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein Scanner für durchgesickerte Geheimnisse und Schlüssel: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein Linter für Zero-Knowledge-Schaltkreise: In Entwicklung. Der Quellcode öffnet zum Start.
- Ein Prüfer für Bridge- und Multisig-Einstellungen: In Entwicklung. Der Quellcode öffnet zum Start.
Diesem Projekt folgen
Unser tägliches Update auf Discord und Telegram nennt, was sich bewegt hat.