Okosszerződés threat model sablon
A sablon, amit a smart-contract audit első napján kitöltünk. STRIDE alapú, crypto-specifikus.
Markdown-sablon threat modelinghez okosszerződésekre: entitások, bizalmi határok, STRIDE kategóriák minden kontraktnál, szokásos invariáns lista. Ingyenes, MIT licenszes.
MIT TARTALMAZ
- ·STRIDE kategóriák smart-contract-specifikus példákkal
- ·Bizalmi-határ diagram sablon
- ·Leggyakoribb invariánsok · Invariánst ne törje meg semelyik hívás
- ·Reentrancy, access control, oracle, upgrade threat osztályok
- ·Post-deploy monitor mátrix
Személyre szabott verzió?
A csapatodra szabott audit vagy template 2 héten belül kész · DField Solutions, Budapest.