Artwork

Treść dostarczona przez cyfrin. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez cyfrin lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
Player FM - aplikacja do podcastów
Przejdź do trybu offline z Player FM !

Mate Soos | HEVM and Formal Verification

58:46
 
Udostępnij
 

Manage episode 408159177 series 3564007
Treść dostarczona przez cyfrin. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez cyfrin lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.

🚀 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.

  continue reading

14 odcinków

Artwork
iconUdostępnij
 
Manage episode 408159177 series 3564007
Treść dostarczona przez cyfrin. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez cyfrin lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.

🚀 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.

  continue reading

14 odcinków

Wszystkie odcinki

×
 
Loading …

Zapraszamy w Player FM

Odtwarzacz FM skanuje sieć w poszukiwaniu wysokiej jakości podcastów, abyś mógł się nią cieszyć już teraz. To najlepsza aplikacja do podcastów, działająca na Androidzie, iPhonie i Internecie. Zarejestruj się, aby zsynchronizować subskrypcje na różnych urządzeniach.

 

Skrócona instrukcja obsługi