An exploration of MiMC, Poseidon, and Vision/Rescue, along with a deep dive into SNARK and STARK complexity
How Zellic found and fixed a critical vulnerability that broke Move
We see these bugs over and over. Are they in your Move contracts too?
Explore 175 million lines of code in our open-source dataset
A breakdown of the mathematical principles behind Tornado Cash
The SafeMoon liquidity pool exploit explained in simple terms.
ChatGPT fails to find simple, but critical smart contract bugs
How a single exploit transaction generated 110 million USD
A developer's guide to building secure applications on Cosmos
Exploring the security pitfalls of the Move language in Sui compared to Aptos
Proving the safety of the Wrapped ETH smart contract, using the Z3 Theorem Prover
Tracking unaudited code can reveal latent, deadly bugs, including the one used to hack Nomad
Painless smart contract CTF challenges using Paradigm's CTF framework
The first audit firm to stake ETH behind the effectiveness of an audit.
The Binance Bridge Hack explained in simple terms
Exploring the security pitfalls of the Move language (Aptos)
Anchor is no silver bullet for avoiding mistakes in Solana code
A framework for DeFi developers and auditors to identify deadly economic flaws
A developer's guide to writing secure smart contracts under The Merge.
Crash course on smart contract auditing for vulnerability researchers
