Hashing It Out

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.

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!

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.

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.

Dr. Corey Petty is joined by John Mardlin as co-host to interview returning guest Niran Babalola of Panvala. This show dives deep into the building of a community and using the subsidies model of Bitcoin to fund communities within the Ethereum ecosystem.

This Episode is Collin Cusce, Swan Song, as he leaves Hashing It Out to focuses on his work at AVA Labs. With Collin leaving, he passes the torch to the two new hosts Dean Eigenmann of Status and John Mardlin [Maurelian] of Consensys. Thank You, Collin, for your diligent work and excellent insight as the better half of Hashing It Out, we will miss you.

Unstoppable Domain is a crypto blockchain domain company and browser maker that connects users to .crypto domain names on the Ethereum blockchain. These human-readable domain names allow users to be able to connect any cryptocurrency address to receive payments or to establish a censorship-resistant website.

Piotr Janiuk is CEO of Golem a worldwide, decentralized supercomputer that combines the computing power of every machine on its network. In the Golem ecosystem, you can loan out your computer’s spare resources to others who need the additional power to perform complex computations and tasks.

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.

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.

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.

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!

SKALE Labs is seeking to change the world through decentralized cloud solutions. Using EVM-powered blockchains as their primary compute and storage mechanism, they seek to capture the market long-dominated by AWS, Azure, and other centralized solutions. We have Stan Kladko, CTO of SKALE on to discuss how this is supposed to work and explain their vision of a blockchain-driven future.

Althea is a system that lets routers pay each other for bandwidth. This allows people to set up decentralized ISPs in their communities. In an Althea network, instead of one ISP at the top collecting monthly payments, many different people can earn money by expanding and strengthening the network.

Michael Cordner / Yeastplume, long time Grin contributor and part of the core team, and David Burkett, long time member of the Grin community, creator of the C++ standalone implementation of Grin, proposer of the soon to be released TOR transaction building method, and lead on Litecoin's Mimblewimble Extension block project. They've both agreed to come on the show.

Akash is a cloud for serverless computing. Using the incentivization schemes enabled by the Cosmos Network, Akash empowers architects and builders of the internet with the ability to utilize un-utilized computing resources. Conversely, those with excess computing power can open their systems for auction, enabling them to recuperate value from those resources. Corey and I have the pleasure of speaking with CEO Greg Osuri about their engineering effort and how they built this service.

This episode Corey and Collin Bring on Lucas Geiger and Zaki Manian to talk about OpenLibra. OpenLibra is a technology platform and currency for financial inclusion, and it is definitely not run by Facebook. We want to figure out what their goals are and how they plan to achieve them. As always we dive in and have an interesting conversation, enjoy!

Today's episode we return from a holiday break to discuss an instant messaging proof of concept on the Lightning Network called Whatsat with Sergi Delgado from PISA Research. We talk about how it works, its limitations, what could be built from it. This then leads into specifics about the lightning network itself, and then issues with the broader ecosystem. Enjoy!

Layer 2 scaling solutions have gone through a lot of iterations and disappointing conclusions in the past few years. There is a newer solution, which is boasting some positive (and safe) results: Optimistic Rollups. John Adler, Blockchain Researcher at Consensys, speaks on the history of Layer 2 solutions and describes Optimistic Rollups and how they may help with blockchain scaling.

Thomas Jay Rush of Trueblocks comes on to speak with us about blockchain accounting.