Patrick Collins
Patrick Collins
A web3 dev addicted to smart contracts
Subscribe to Patrick Collins
Receive the latest updates directly to your inbox.
Blockchain Developer | How to learn everything you need to become one
Learn Solidity, Blockchain Development, and more
Formal Verification & Symbolic Execution | The Security Silver Bullet?
Formal Verification w/ Trail Of Bits
Fuzz / Invariant Tests | The New Bare Minimum For Smart Contract Security
Shout-out to Trail of Bits and Horsefacts for all the fuzzing content.
Smart Contract Audit | What it is, and what to expect
Auditors use a combination of manual and automated tools to find these vulnerabilities.
Top 7 Smart Contract Auditors - Patrick Collins - Medium
I am a co-founder and security researcher from Cyfrin, where we do smart contract audits. This is my opinionated take on top smart contract audit firms along with Cyfrin. The only way Web3 scales is if we increase our security, so I want to ensure that other top firms get the exposure they deserve. Auditors left off this list are not necessarily poor choices, I may have just missed them.
âDamn Vulnerable DeFiâ Creator Teaches You How To Audit
We had the pleasure of interviewing Tincho on his \*\*exact \*\*audit process he uses to make web3 more secure.
