Resources
Videos
What is a Smart Contract Audit?
Trail of Bits Security Engineer Interview
Trail of Bits Head of Blockchain Engineering Josselin Interview
Formal Verification & Symbolic Execution
Fuzz & Invariant Tests | The secret to finding CRITICAL vulnerabilities faster
How to Smart Contract Audit like a Pro
Learn Blockchain, Solidity, and Full Stack Web3 Development with JavaScript – 32-Hour Course
Blog Posts
7 Tips to debug anything - with AI
May 17, 2023
Cyfrin <> Solodit
May 5, 2023
How to become a blockchain developer
Apr 28, 2023
Formal Verification & Symbolic Execution
Apr 26, 2023
Fuzz & Invariant Tests
Apr 13, 2023
What is a Smart Contract Audit?
Apr 4, 2023
How to Become a Blockchain & Solidity Developer
Mar 4, 2023
Invariant Testing — Enter The Matrix
Mar 30, 2023
FAQ
How much does it cost?
Cost depends on the size and complexity of the codebase/problem we're solving.
Are audits public?
This is up to you! We are more than happy to publish reports, but we can discuss with you what makes the most sense in your scenario.
Which tech stacks does Cyfrin use?
Solidity, Vyper, Huff, Foundry, Hardhat, Brownie, Apeworx, Truffle
What's the difference between a competitive audit and a private audit?
A private audit is a time-boxed full security journey— we look at your code from it’s architecture, teach you the latest in security & testing, code reviews, etc. A competitive audit is a gamified time-boxed bug hunt where auditors across the globe participate, that pays out the auditors who find the most critical and unique bugs.
What's your typical turn-around for audits?
This largely depends on the size and complexity of the codebase.