Dean and John interview the CEO of Informal Systems Ethan Buchman. Informal Systems is a company seeking to bring a formal verification process for TLA to the Cosmos/Tendermint network.

Links:Informal Systems

• Website
• Twitter
• Github

The Bitcoin Podcast Network

• Slack
• Donate to Hashing It Out
• Discuss

Today we bring on the main brainchild behind Ethereum, Vitalik Buterin. In this episode, Corey Petty and Dean Eigenmann discuss a wide landscape of issues involving potential regrets of the initial Ethereum launch, where we are at today, how the ETH2.0 project is learning from the past, and what is blockchain even good for? This is sure to be a good one worth listening to multiple times, so strap in with a pen and pad, and enjoy!

Links:
- Vitalik's blog
- Vitalik's "The Dawn of Hybrid Layer 2 Protocols"

Sponsorships:
- Avalanche Discord
- Avalanche info
- Panvala Staking Pool Instructions

The Bitcoin Podcast Network Social Media

Join Our Slack: Here 

In this episode, we explore the incentives of both consensus systems and defi with Tarun Chitra is the Founder & CEO of Gauntlet. Tarun is applying his experience of AI and financial simulation to blockchains. Using ‘agent-based simulation’ he helps protocol designers to discover unexpected strategies to extract more than their share of value.

Links:Gauntlet.Network

• Website
• Twitter
• Twitter-Tarun Chitra

The Bitcoin Podcast Network Social Media

• Slack

Donate to Hashing It Out

Discuss

Kevin and Stephen of Ava Labs return to the show to give updates on the progress happening with Ava Labs. Join our Slack and continue the discussion about Ava Labs. 

Links For AVA Labs:

• Website
• Twitter
• Telegram
• Discord

The Bitcoin Podcast Network

• Slack
• Donate to Hashing It Out
• Discuss