Player FM - Internet Radio Done Right
Checked 10M ago
تمت الإضافة منذ fifty أسبوع
المحتوى المقدم من cyfrin. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة cyfrin أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.
Player FM - تطبيق بودكاست
انتقل إلى وضع عدم الاتصال باستخدام تطبيق Player FM !
انتقل إلى وضع عدم الاتصال باستخدام تطبيق Player FM !
المدونة الصوتية تستحق الاستماع
برعاية
Last summer, something monumental happened. One of Uncuffed's founding producers, Greg Eskridge, came home after more than 30 years in prison. In this episode we’ll bring you back to that emotional day last summer when he walked out of the San Quentin gates, free at last. Our work in prisons is supported by the California Arts Council, the California Department of Corrections and Rehabilitation, independent foundations, and donations from listeners like you. Learn more, sign up for Uncuffed news, and support the program at www.weareuncuffed.org Follow us @WeAreUncuffed on Instagram and Facebook Transcripts are available within a week of the episode coming out at www.kalw.org/podcast/uncuffed…
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
Manage episode 408636582 series 3564007
المحتوى المقدم من cyfrin. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة cyfrin أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 حلقات
Manage episode 408636582 series 3564007
المحتوى المقدم من cyfrin. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة cyfrin أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 حلقات
كل الحلقات
×
1 TxFusion - Tools and Products to improve your ZK experience | PatrickAlphaC 42:49
42:49
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب42:49
🎙️ 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! 📢…

1 Edit mode for Smart Contracts with GhostLogs | PatrickAlphaC 43:07
43:07
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب43:07
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…

1 Fuzzing and Heuristics interview with @devdacian 54:50
54:50
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب54:50
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.

1 Smart Contract Security Using Certora Prover with Chandrakana Nandi 54:11
54:11
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب54:11
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 security…

1 Live Vulnerability Management: Expert Talk with Michael Lewellen from OpenZeppelin | PatrickAlphaC 1:00:47
1:00:47
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب1:00:47
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 project from disaster. Subscribe and hit that reminder so you won't miss out!"…

1 Formal Verification on Halmos, a Python FV tool! | With Karma from a16z 55:50
55:50
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب55:50
We speak about the Halmos tool, how Karma got into formal verification, and more. And some gym tips!

1 Rust smart contracts? Arbitrum Stylus interview with Rachel Bousfield 1:02:37
1:02:37
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب1:02:37
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: https://www.codehawks.com/ Kickstart your web3 development journey completely for free: https://updraft.cyfrin.io SUBSCRIBE OR YOUR CONTRACTS WILL BE HACKED follow all of these or you’re missing out: • Cyfrin Twitter - https://twitter.com/CyfrinAudits • LinkedIn -https://www.linkedin.com/company/cyfrin/ • Discord - discord.gg/cyfrin • Request an audit! - https://cyfrin.io…

1 What is MindNetwork? /w Christian Head of DB & Marketing at Mind Network 1:02:31
1:02:31
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب1:02:31
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.…

1 Deep Dive into Formal Verification with Palina Tolmach 52:13
52:13
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب52:13
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 methods that are crucial for the integrity and security of blockchain technologies. Tune in to this live interview for a comprehensive understanding of how Runtime Verification is shaping the landscape of smart contract verification.…

1 Mate Soos | HEVM and Formal Verification 58:46
58:46
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب58:46
🚀 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 Foundation, delving into the world of the Ethereum Virtual Machine (EVM) and its application in symbolic execution, unit testing, and debugging of smart contracts. Learn how HEVM, initially part of the dapptools project, now plays a crucial role in enhancing the reliability and security of smart contracts. 👨💻 Meet Our Guest Mate Soos: https://twitter.com/SoosMate 🔧 Learn More About HEVM on GitHub: https://github.com/ethereum/hevm 🌐 Cyfrin's World of Crypto Security and Education: 🎓 Enhance your blockchain knowledge with Updraft, our educational platform: https://updraft.cyfrin.io/ 🔒 Need a smart contract audit? Visit Cyfrin, our main page: https://www.cyfrin.io/ 🏆 Check out CodeHawks, our competitive audits platform: https://www.codehawks.com/ 💡 Stay informed about the latest in smart contract security with Solodit: https://solodit.xyz/ 📢 Mark Your Calendars! Set a reminder and join us for this crucial conversation about the advancement of smart contract technology and its implications for blockchain security. 🔔 Subscribe for More! Stay in the loop with Cyfrin's latest events and content by subscribing to our channel.…

1 Bug huntooor obront.eth live interview | Vyper Competitive Audit 1:00:05
1:00:05
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب1:00:05
Vyper competitive audit - Interview with Zach Obront https://twitter.com/zachobront

1 Unleashing the Power of L2's with Scroll | Interview with Raza Rython | Cyfrin 1:02:04
1:02:04
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب1:02:04
🎙️ 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: https://scroll.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! 📢 #ethereum #L2Solution #BlockchainInnovators…

1 Solidity Fuzzing & Web3 Testing | Trail of Bits Security Engineer 43:25
43:25
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب43:25
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 audit here! 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 https://cyfrin.io ☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️ Follow Cyfrin: Twitter: https://twitter.com/CyfrinAudits LinkedIn: https://www.linkedin.com/company/cyfrin/? YouTube: https://www.youtube.com/@UCwlGG-aBeR95seT49XetR8A Website: https://www.cyfrin.io/…

1 Symbolic Execution & Formal Verification | Trail Of Bits Head of Blockchain Engineering 44:40
44:40
التشغيل لاحقا
التشغيل لاحقا
قوائم
إعجاب
احب44:40
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 ⛨ Book a smart contract audit here! 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 👇 https://cyfrin.io ☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️☝️ Follow Cyfrin: Twitter: https://twitter.com/CyfrinAudits LinkedIn: https://www.linkedin.com/company/cyfrin/? YouTube: https://www.youtube.com/@UCwlGG-aBeR95seT49XetR8A Website: https://www.cyfrin.io/…
مرحبًا بك في مشغل أف ام!
يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.