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
ChatGPT fails to find simple, but critical smart contract bugs
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.
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.