Kostenlose Open-Source-Tools zur Codeprüfung vor dem Start, zuerst für ATON, dann für EVM-Chains

Woraus es besteht

• Atheron Lens direkt in den Code-Editoren, die Sie schon nutzenIm Bau
• Atheron Lens: ein Code-Analysewerkzeug für Web3-Verträge, zuerst für EVMIm Bau
• Eine Zeile genügt, um Atheron Lens bei jedem Pull Request auszuführenBereit
• Ein Open-Source-Bereich auf der Labs-Seite und der Fortschrittsseite, mit einer Seite pro ToolGeliefert
• Automatische Tests prüfen Vertragsregeln mit Millionen zufälliger TransaktionsfolgenAls Nächstes
• Prüfen, dass jede Version von Atheron dieselben Daten auf dieselbe Weise verarbeitetSpäter
• Ein Prüfwerkzeug für die Einrichtung von Bridges und Multisigs, das zeigt, wo sie Lücken hatSpäter
• Ein Werkzeug, das zeigt, dass ein Fehlerzustand unerreichbar ist, oder die Eingabe findet, die ihn auslöstSpäter
• Ein Prüfwerkzeug, das häufige Fehler in Zero-Knowledge-Schaltkreisen meldetSpäter
• Sehen, was jede Funktion kostet, Zeile für Zeile, inklusive ATON-GebührenSpäter
• Ein Bericht, der die Ergebnisse aller Tools bündelt und für Audits bereit istSpäter
• Fertige Prüfregeln zum Testen von Tokens, Vaults, Staking, Auktionen und BridgesSpäter
• Verlässlichere Updates: Prüfungen, damit nichts verloren geht oder kaputtgehtSpäter