Hashing It Out #6: Stuart Popejoy

ABOUT THIS EPISODE

This week's episode features Stuart Popejoy, founder of the Kadena, creator of the Pact smart contract language, and engineer/designer of the Chainweb blockchain protocol. We go in-depth on design decisions for Pact, how language simplicity impacts the security and adoption of second generation blockchains, how formal verification can be used to improve certainty in smart contracts, and the over-emphasis of Turing completeness for a very domain-specific language such as smart contracts. We go into the design behind Chainweb, an unboundedly scalable Proof of Work blockchain architecture, which expects to reach a whopping 10,000 tx/sec (864,000,000 tx/day) on its first year of release.

In-Stream Audio Search

NEW

Search across all episodes within this podcast

Episodes (99)

Episode 43 · 1 year ago

Hashing It Out #43 - Kadena - Stuart Popejoy and Emily Pillmore

We are excited to have the Kadena team back on with an update. The erudite Stuart Popejoy and brilliant Emily Pillmore speak more on Pact, the smart contract language with built-in formal verification used in the Kadena Chainweb. We learn more about formal verification: what it means, how it works, and a bit of its limitations. They also give us an update on Chainweb itself and talk us through some of the challenges since we last spoke... AND their innovated solutions to those challenges!

Links:

Sponsorship:

We'd like to thank our sponsor for this episode Trail of Bits for supporting us. Now go sign up for automatic github-integrated smart contract security at www.crytic.io !

Episode 42 · 1 year ago

Hashing It Out #42 - Monero Research Lab - Brandon Goodell

We shouldn't pick favorites, but this is definitely one of our favorite episodes so far. We have the extreme pleasure of learning from Brandon Goodell, Research Associate at Monero Research Lab, about Monero, how it's designed, privacy in Monero and how it compares to other coins like ZCash, scalability, and consensus mechanisms in general. This is exactly the kinda conversations we built this show for, and there were more than one eye opening moments. Definitely scope this one out!

Links

  • https://www.getmonero.org/resources/research-lab/
  • https://github.com/b-g-goodell
  • https://monerokon.com/

Sponsorship:

Thanks again to Trail of Bits for sponsoring this week's episode. Go check out their great article on how to safely store cryptocurrency and while you're there, check out all their content on the blog! Stay safe out there.

Episode 41 · 1 year ago

Hashing It Out #41 - MyCrypto - Harry Denley

Ahoy-hoy! Today we have Director of Security at MyCrypto, Harry . We talk about phishing attacks! No, not assaults at jam band concerts, the kind where you lose your money. We go over the process of finding these attacks, reacting to them, and staying ahead of the scammers. We talk about the tools used to intercept and analyze these attacks, and the processes surrounding gathering the evidence against the attackers. Harry is doing amazing work, and he's really putting effort into keeping us all safe. Thanks, Harry!

Sponsorship

Thanks to Trail of Bits and GiveCrypto.io for sponsoring this week's episode!

GiveCrypto.io is the best way to share cryptocurrency with newcomers to the space who want to lear and own cryptocurrency. With only an email, you can give cryptocurrency to your coworkers, friends, and family. You can reach them at http://givecrypto.io to send crypto today!

Trail of Bits has some exciting projects we'd like to mention here:

Show Links

Episode 40 · 1 year ago

Hashing It Out #40 - Liam Horne - L4

Liam Horne is a developer, decentralization expert, and an open source entrepreneur with a focus on state channels. L4 and Counterfactual have released a new development playground that lets software engineers learn and play with state channels right from their browser. Liam gives us insights on what it's taken to get to this point, where the state of state channel development is right now, and where we're going with layer 2 solutions for scaling blockchains.

Links

  • http://twitter.com/liamihorne
  • https://playground.counterfactual.com/
  • https://twitter.com/l4ventures
  • https://l4.ventures/
  • https://lihorne.com/