testnet · invariants · open-source

Secrypta

crypto security lab

Tools for working safely with crypto: learn on a real testnet and check smart contracts with invariants.

sandbox · live

An interactive trainer on a real testnet: a live wallet, real transactions and training security attacks — you learn not to lose money, safely.

Open the trainer →

audit · CLI · open-source

An open-source CLI generator of invariants and fuzzing harnesses for smart contracts — helps find property violations before an audit.

GitHub → Quickstart →

For teams

Need to train your staff against drainers, or check invariants for your contract? Get in touch — we'll figure out the format.

Contact