Skip to content
TEMPLATE · MARKDOWN · 9 KB

Smart contract threat model template

The template we fill in on day one of every smart-contract audit. STRIDE-based, crypto-native.

Markdown template for smart-contract threat modelling: entities, trust boundaries, STRIDE categories per contract, standard invariant list. Free, MIT-licensed.

WHAT'S INSIDE

  • ·STRIDE categories with smart-contract-specific examples
  • ·Trust-boundary diagram template
  • ·Common invariants · never-broken statements
  • ·Reentrancy, access control, oracle, upgrade threat classes
  • ·Post-deploy monitoring matrix

Want a custom version?

A tailored audit or template delivered in 2 weeks · DField Solutions, Budapest.

Get a quote