# Patrick Collins

> A web3 dev addicted to smart contracts

## Recent Posts

- [Formal Verification & Symbolic Execution | The Security Silver Bullet?](https://paragraph.com/@patrickalphac-old/formal-verification-symbolic-execution-the-security-silver-bullet)
- [Fuzz / Invariant Tests | The New Bare Minimum For Smart Contract Security](https://paragraph.com/@patrickalphac-old/fuzz-invariant-tests-the-new-bare-minimum-for-smart-contract-security)
- [Smart Contract Audit | What it is, and what to expect](https://paragraph.com/@patrickalphac-old/smart-contract-audit-what-it-is-and-what-to-expect)
- [Top 7 Smart Contract Auditors - Patrick Collins - Medium](https://paragraph.com/@patrickalphac-old/top-7-smart-contract-auditors-patrick-collins-medium)
- [“Damn Vulnerable DeFi” Creator Teaches You How To Audit](https://paragraph.com/@patrickalphac-old/damn-vulnerable-defi-creator-teaches-you-how-to-audit)
- [Solidity vs. Vyper | EVM Smart Contract Language Comparisons](https://paragraph.com/@patrickalphac-old/solidity-vs-vyper-evm-smart-contract-language-comparisons)
- [Safe | Lily Pad Look ](https://paragraph.com/@patrickalphac-old/safe-lily-pad-look)

## Blog Information

- [Homepage](https://paragraph.com/@patrickalphac-old/): Main blog page
- [RSS Feed](https://api.paragraph.com/blogs/rss/@patrickalphac-old): Subscribe to updates

## Optional

- [All Posts](https://paragraph.com/@patrickalphac-old/): Complete post archive
- [Sitemap](https://paragraph.com/@patrickalphac-old/sitemap-index.xml): XML sitemap for crawlers