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 79 · 6 months ago

Hashing It Out #79- Alex Masmejean Rocket NFT/MetaCartel

Alex is part of MetaCartel, a group of developers seeking to make Dapps decentralize as possible, beginning with their developers. Alex is also part of Rocket NFT, a company that aims to create Defi loans using NTFs as collateral.

Links:

Sponsor

AD Music: Chad Crouch- Algorithms

AD Music: Pictures of the Floating- World Bumbling

Donate to Hashing It Out

Episode 77 · 6 months ago

Hashing It Out #78- Certora - Mooly Sagiv

Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.

Links:

Sponsor

AD Music Rod Hamilton Enchanted Forest

Donate to Hashing It Out

Discuss

Episode 76 · 6 months ago

Hashing It Out #77-Tendermint & Cosmos w/ Brent, Chjango , and Sunny

Sunny, Brent, and Chjango of Tendermint breakdown the components of the Cosmos Network from the IBC, Cosmos SDK, and the Cosmos Hub. Sunny covers what the future of Cosmos will be within the coming year. Chjango talks about Cosmos test network named Game of Zones which launches May 1 2020.

Links:

Donate to Hashing It Out

Episode 75 · 6 months ago

Hashing It Out #75-Truman Esmond- VP of AAIS

On today's episode, Corey and Collin talk with Truman Esmond, VP of Solutions and Partnerships at the American Association of Insurance Services (AAIS). Why are we talking to insurance folks, you ask? Because they've partnered with IBM to launch the openIDL platform to help aggregate company data while maintaining privacy and compliance. We ask how it works, why they used Hyperledger, and many more details, enjoy!

Links:

Sponsor

AD Music: Chad Crouch- Algorithms

Donate to Hashing It Out

Discuss