Final Structured Audit of Smart Contracts + FAZIP (Formal Ample ZIP) Folder View:
This structure will help our community move forward and scale this system; I am also starting to sign this system with an .ots timestamp!
I am also starting to populate this methodology on GITHUB and see what to do next!
Thank you for supporting me, we’re moving forward, my beloved goofy kitties!
This structure will help our community move forward and scale this system; I am also starting to sign this system with an .ots timestamp!
FAZIP__.zip
│
├── README.txt
├── FAQ.md
│
├── VERIFY/
│ ├── verify_fazip.ps1
│ ├── verify_fazip.sh
│ └── README_VERIFY.txt
│
├── DELIVERABLES/
│ ├── METADATA/
│ │ └── fazip_analysis.json
│ ├── REPORTS/
│ │ ├── PROMOD/
│ │ │ ├── GLB_AUDIT_PROMOD_.pdf
│ │ │ └── GLB_AUDIT_PROMOD_.md
│ │ ├── CODE/
│ │ │ ├── GLB_AUDIT_CODE_.pdf
│ │ │ └── GLB_AUDIT_CODE_.md
│ │ ├── OSINT/
│ │ │ ├── GLB_AUDIT_OSINT_.pdf
│ │ │ └── GLB_AUDIT_OSINT_.md
│ │ └── EASYMOD/
│ │ ├── GLB_AUDIT_EASYMOD_.pdf
│ │ └── GLB_AUDIT_EASYMOD_.md
│ ├── DATA_SHEETS/
│ │ ├── GLB_AUDIT_SHEETS_.csv
│ │ └── CORRELATIONS/
│ │ ├── cross_audit_metrics.json
│ │ ├── risk_timeline_.png
│ │ └── correlation_schema.json
│ ├── SLIDES/
│ │ ├── GLB_AUDIT_SLIDES_.pdf
│ │ └── GLB_AUDIT_SLIDES_.md
│ ├── DOSSIER/
│ │ └── GLB_AUDIT_DOSSIER_.pdf
│ └── GLB_AUDIT_CHECKLIST_.md
│
├── AUDIT_EVIDENCE/
│ ├── ABOUT_RAW_LOGS.txt
│ ├── ENVIRONMENT/
│ │ ├── deps_versions.txt
│ │ ├── dockerfiles/
│ │ └── custom_scripts/
│ ├── SOURCES/
│ │ ├── source_code_original.sol
│ │ ├── bytecode_hash_deployed.txt
│ │ └── creation_tx_hash.txt
│ ├── AUTOMATED_SCANS/
│ │ ├── slither/
│ │ ├── mythril/
│ │ ├── echidna/
│ │ └── foundry_fuzz/
│ ├── ONCHAIN_FORENSICS/
│ │ ├── tx_analysis/
│ │ ├── holder_snapshots/
│ │ └── dusting_analysis/
│ ├── OSINT_INFRA/
│ │ ├── finalrecon/
│ │ ├── nmap/
│ │ └── wayback_scrape/
│ └── SCREENSHOTS/
│ ├── tx_evidence/
│ ├── ui_anomalies/
│ ├── osint_findings/
│ └── other/
│
└── VERIFICATION/
├── manifest.json
├── manifest.json.sig
├── TIMESTAMP_PROOF.ots
├── AUDITOR_PUBLIC_KEY.asc
├── HOW_TO_VERIFY.txt
├── IDENTITY/
│ ├── auditor_identity_proof.txt
│ ├── auditor_identity_proof.ots
│ └── README_IDENTITY.txt
└── STREAMS/
├── action_stream.ots
├── action_hashes.json
├── session_proofs/
│ ├── session_publish_1.png
│ └── session_publish_2.txt
├── commands_digest.txt
└── LIVE_EXPLAINER/
├── fazip_explain.py
├── live_session_log.txt
└── README_EXPLAINER.md
I am also starting to populate this methodology on GITHUB and see what to do next!
Thank you for supporting me, we’re moving forward, my beloved goofy kitties!