Episode 21 · 2 years ago
Hashing It Out #21: Mythril - Bernhard Mueller
ABOUT THIS EPISODE
The famous Bernhard Mueller joined us today to talk about the fantastic work being done to beef up his already amazing tool, Mythril. The new Mythril platform beefs up the symbolic analyzer as well as adding static analysis tools and linters (Maru), a dynamic analyzer and input fuzzer (Harvey) and an API for easy integration into a developer's processes. We dive into what brought Bernhard to write Mythril and how it's taken off as a premier auditing tool. We also get into the future of security tools and how the processes being developed today will inform best practices of the future.
In-Stream Audio SearchNEW
Search across all episodes within this podcast
Episode 27 · 2 years ago
Blockchain hipsters, we have a treat: Dr. Weyl, co-author of Radical Markets. His book quickly became a popular with us in decentralization. The book proposes new ways to create marketplaces to provide better opportunities for optimal redistribution of resources. This has especially strong implications for those designing decentralized systems and applications. We talk with him about his book, the motivations behind radical markets, and potential futures involving his schemes.
Episode 26 · 2 years ago
Great Caesar's Ghost! NuCypher has demo'd a practical fully-homomorphic encryption (FHE) scheme that leverages an Ethereum smart contract for a proof mechanism. We get to go over FHE: what it is, how it works, how it commits to the blockchain, scaling issues, and the future of encrypted computation. This will enable new privacy mechanisms on layer 2 solutions which interface with the blockchain cheaply and efficiently. Very big stuff for anyone trying to use blockchain as a resolution mechanism but wants to hide their business rules in the process!
Episode 25 · 2 years ago
Today we have the pleasure of interviewing Iuri Matias of Embark Framework. Embark is a decentralized application framework that abstracts away the implementation details of specific technologies, allowing dapp developers to focus on what really matters, the experience. We talk about the features of Embark, the design decisions of the framework, and how Embark will integrate new technologies into their systems as they develop.
Episode 24 · 2 years ago
Anonymity is dead... or so you thought. Marrying the technologies behind onion routing and Monero, the Loki network enables a private cryptocurrency and messaging service that hides information down to the network layer. This fascinating approach scales its privacy mechanism in the same way that Tor does and incentives those who run Loki service nodes through their Proof of Service mechanism. Tools like this keep your transactions and traffic private from any spying eyes and makes it increasingly difficult to leverage your network data as a means to track your activity.