May 8
Loading video player...
We’re Live - and this is a conversation worth joining. AMA Topic: Formal Verification in Web3: Building Safer Blockchain Systems Join us live with Saurabh Joshi - Director of Research & Development at Supra. Smart contracts don’t get second chances. One vulnerability can put entire systems at risk in seconds. So how do you build blockchain infrastructure people can actually trust? That’s exactly what we’re discussing right now. We’re joined by Saurabh Joshi - a researcher, technologist and problem-solver focused on making Web3 systems safer from the ground up. As Director of R&D at Supra, his work spans Smart Contracts, Virtual Machines, Formal Verification and Static Program Analysis, backed by deep research experience, patents and peer-reviewed publications. More importantly, he’s actively working on solving some of the toughest security challenges in blockchain today. In this session, we’re covering: → Why Formal Verification matters in Web3 → The limitations of traditional smart contract audits → Building blockchain systems that are secure by design → Scaling security practices for real-world Web3 ecosystems → What the future of security-first blockchain development looks like If you’re building in Web3, researching blockchain security, or simply curious about how safer decentralized systems are built - this session is for you. Drop your questions in the comments or join us live and ask them directly — we’re on right now. Hosted by Nadcab Labs - creating the next era of technology. #LiveAMA #JoinNow #AMA #AskMeAnything #LiveDiscussion #FormalVerification #Web3 #Blockchain #SmartContracts #BlockchainSecurity #NadcabLabs