Smart contract audit
Smart contract review backed by emulator-driven validation and reproducible findings.
Audit Approach
Tweag combines Cardano protocol knowledge with practical engineering tools to make audit work concrete and reproducible.
For smart contract reviews, we do more than read code and write findings. We validate assumptions with emulator-driven scenarios, turn issues into executable traces, and check that fixes actually close the gap. That workflow is especially effective when paired with Cooked Validators, which we use to emulate contract behaviour and capture realistic transaction sequences.
To see all audits conducted visit Audits page.