Secrypta
crypto security lab
Tools for working safely with crypto: learn on a real testnet and check smart contracts with invariants.
Crypto Sandbox
An interactive trainer on a real testnet: a live wallet, real transactions and training security attacks — you learn not to lose money, safely.
Invariant
An open-source CLI generator of invariants and fuzzing harnesses for smart contracts — helps find property violations before an audit.
Articles & writeups
All articles →Open-sourcing an ERC-4626 invariant harness
An MIT toolkit for ERC-4626 vaults: a catalog of invariants plus a Foundry fuzzing harness. Catches donation/inflation with zero false positives.
Read → MoreDrain-vector and signature writeups
permit signatures, address poisoning, a corpus of drain vectors — new material lands here.
All articles →For teams
Need to check invariants for your contract? Get in touch — we'll figure out the format.
Contact