Cyfrin Audits Podcast
This podcast is an audio archive of YouTube livestream recording with Patrick Collins and professionals in the web3 smart contract development field.
Episodes
🎙️ Check out our latest interview with @txFusion_io 🚀
They're here to discuss a bunch of tools and products to improve the way you develop projects on the ZK ecosystem
🔗 Learn more about Defender at https://www.txfusion.io/
💻 And don't forget to visit our webpage too: https://www.cyfrin.io/
For more exciting content and updates!
🌐 Subscribe, like, and hit that notification bell so you never miss an update from us! 📢
In this episode of the Cyfrin Podcast, @PatrickAlphaC will be interviewing the peeps at GhostLogs.xyz.
GhostLogs in-Browser editor allows the injection of gasless events on existing smart contracts. Basically, it means adding an edit mode on already deployed contracts.
🌏 Check them out on their webpage: https://ghostlogs.xyz
Hey there! 🚀 Welcome back to Cyfrin Interviews, where we chat with the brightest minds in blockchain. This time, our CEO Patrick Collins is hanging out with the smart contract audit wizard, @devdacian. They're diving into crucial topics of Fuzzing and Heuristics in smart contract auditing.
Join us live as Patrick Collins interviews Chandrakana Nandi from Certora, a pioneer in smart contract security. Dive into the world of advanced smart contract auditing with insights from Certora's cutting-edge technologies. Discover how Certora is revolutionizing blockchain security with its innovative tools and methodologies. Don't miss this exclusive session for an in-depth look at the future of smart contract verification and s...
Get ready for a real talk on cracking the code of live vulnerabilities! This Monday at 2PM Eastern, we're chilling with Michael Lewellen from OpenZeppelin for a no-filter chat on what to do if you spot a sneaky bug in your code.
🔗 Check us out:
Cyfrin: Click https://www.cyfrin.io/
OpenZeppelin:https://www.openzeppelin.com/
📌 Don't be a stranger—drop in for a chat that'll upgrade your security skills and maybe save your next pro...
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
In this live, we'll be diving into Arbitrum Stylus, an upgrade to Arbitrum Nitro chains allowing developers to create smart contracts in Rust, C, C++, or any WASM languages.
Take part in our $350,000+ Smart Contract auditing competitions:
Kickstart your web3 development journey completely for free:
SUBSCRIBE OR YOUR CONTRACTS WILL BE HACKED
follow all of these or you’re missi...
Hey web3 enthusiasts! We're back with another banger of a live stream. This time, we're diving deep into Zero Trust tech with Mind Network! Our very own Patrick, CEO of Cyfrin and Chainlink advisor, will be in the interviewer's seat chatting it up with Christian, Mind Network's Head of DB & Marketing.
Get ready for an enlightening live session as Patrick Collins interviews Palina Tolmach from Runtime Verification. This deep dive into the world of formal verification will explore how Runtime Verification is advancing smart contract security and reliability. Palina Tolmach brings expert insights into the sophisticated techniques and tools used in formal verification. Don't miss this opportunity to learn about the cutting-edge meth...
🚀 Live Stream Alert: Exploring Formal Verification with HEVM
🎙️ Host: Patrick Collins, CEO of Cyfrin
🌟 Special Guest: Mate Soos, Ethereum Foundation
📅 Date & Time: 11th January 2024, 11 AM UTC
🔗 Tune in to Discover the Future of Smart Contract Security!
🔍 About This Session:
Join us for an in-depth discussion on formal verification using the HEVM tool. Patrick Collins will be interviewing Mate Soos from the Ethereum Fou...
🎙️ Check out our latest interview with Raza Rython from the Scroll team!
🚀 They're here to discuss their L2 Solution for the Ethereum ecosystem, and you won't want to miss it!
🔗 Learn more about Scroll at:
💻 And don't forget to visit our webpage too:
For more exciting content and updates!
🌐 Subscribe, like, and hit that notification bell so you never miss an update from us!
📢
...
We go over:
- Testing methodologies
- Fuzzing
-Static Analysis
With Trail of Bits Security Engineer, Troy!
🐦 Troy: https://twitter.com/0xalpharush
📝 Secure Contracts: https://secure-contracts.com/
🔵 Properties: https://github.com/crytic/properties
🦅 Manticore: https://github.com/trailofbits/manticore
🐍 Slither: https://github.com/crytic/slither
🦔 Echidna: https://github.com/crytic/echidna
⛨ Book a smart contract aud...
We go over:
- Formal Verification
- Symbolic Execution
- Fuzzing
- Static Analysis
With Trail of Bits Head of Engineering, Josselin Feist!
🐦 Josselin: https://twitter.com/Montyly
📝 Secure Contracts: https://secure-contracts.com/
🔵 Properties: https://github.com/crytic/properties
🦅 Manticore: https://github.com/trailofbits/manticore
🐍 Slither: https://github.com/crytic/slither
🦔 Echidna: https://github.com/crytic/echidna...
Popular Podcasts
If you've ever wanted to know about champagne, satanism, the Stonewall Uprising, chaos theory, LSD, El Nino, true crime and Rosa Parks, then look no further. Josh and Chuck have you covered.
The official podcast of comedian Joe Rogan.
The latest news in 4 minutes updated every hour, every day.
The World's Most Dangerous Morning Show, The Breakfast Club, With DJ Envy And Charlamagne Tha God!
Current and classic episodes, featuring compelling true-crime mysteries, powerful documentaries and in-depth investigations. Follow now to get the latest episodes of Dateline NBC completely free, or subscribe to Dateline Premium for ad-free listening and exclusive bonus content: DatelinePremium.com