In-Stream Audio SearchNEW
Search across all episodes within this podcast
Episode 21 · 2 years ago
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.
Episode 20 · 2 years ago
In this episode, we interview Kacper Bak, Research Engineer at Quanstamp. Quantstamp has created a system for auditing smart contracts automatically, testing for known exploits. They verify the more common attack vectors, and provide a report to the user about the potential threat. We go into how their product is built, the future of their product, and how it can benefit and drive future innovation.
Episode 19 · 2 years ago
We talk with Kevin Owocki, co-founder of Gitcoin. No joke, this episode is compelling. Gitcoin is a decentralized application which incentives open source contributors with bounties for bugs and features. Kevin tells us about the creation of Gitcoin, how their incentive models work, their architecture, and their alternate funding mechanism for open source projects, CodeFund. We then take a trip to Jupiter and dream of the future of decentralization, theorycrafting what that world will look like and what we need to build to get there. Exciting topics!
Episode 18 · 2 years ago
In this episode we talk with Stan James, Lead Engineer at Origin Protocol. They are building a mechanism for completely decentralized market listings and purchasing using Ethereum smart contracts. We go over the design, the tools, and the integration pathways for Origin, the challenges faced in designing this protocol, and the layer 2 solutions which improve the service of messaging buyers and sellers in a listing.