Dee talks decentralized messaging with the Waku Lead at Logos, Franck Royer. Corey and Jessie jump in for round two.You can also watch on YouTube.

Dee talks decentralized messaging with the Waku Lead at Logos, Franck Royer. Corey and Jessie jump in for round two.You can also <a href="https://youtu.be/vmx_oOb2On0" rel="nofollow" target="_blank">watch</a> on YouTube.

Franck Royer: Decentralized messaging

Todays' show focuses on Carnot Consensus.

Todays' show focuses on Carnot Consensus.

Moh Jalalzai: Carnot Consensus

This episode includes:-Crypto Security Firm Unciphered Claims Ability to Physically Hack Trezor T Wallet-Ava Labs Launches 'No-Code' Web3 Launchpad-Taproot wizards cause a stir at Bitcoin MiamiYou can also watch on YouTube.

This episode includes:-<a href="https://www.coindesk.com/tech/2023/05/24/crypto-security-firm-unciphered-claims-ability-to-physically-hack-trezor-t-wallet/" rel="nofollow" target="_blank">Crypto Security Firm Unciphered Claims Ability to Physically Hack Trezor T Wallet</a>-<a href="https://www.coindesk.com/web3/2023/05/24/ava-labs-launches-no-code-web3-launchpad-avacloud/?utm_medium=referral&amp;utm_source=rss&amp;utm_campaign=headlines" rel="nofollow" target="_blank">Ava Labs Launches 'No-Code' Web3 Launchpad</a>-<a href="https://www.litebit.eu/en/taproot-wizards-bitcoin-miami" rel="nofollow" target="_blank">Taproot wizards cause a stir at Bitcoin Miami</a>You can also <a href="https://youtu.be/SYg_LJDapmU" rel="nofollow" target="_blank">watch</a> on YouTube.

Flash Hash: 05/31/2023

Leo Bautista

This episode includes DAS and Erasure Coding.You can also watch on YouTube.

This episode includes DAS and Erasure Coding.You can also watch on <a href="https://youtu.be/Gq6lstrgSUE" rel="nofollow" target="_blank">YouTube</a>.

Leo Bautista: DAS and Erasure Coding

Logos Collective

You will find out more about the Logos Collective very soon!For now, we've got the low down on the move and how much everyone is going to love it. YOU WILL

You will find out more about the Logos Collective very soon!For now, we've got the low down on the move and how much everyone is going to love it. YOU WILL

HIO joins Logos Collective

This episode includes:-Bitcoin Lightning Network + Coinbase:https://twitter.com/Martin_jairam/status/1645494719626231809?s=20-US Regulatory Resentment: https://decrypt.co/125988/usa-losing-edge-global-crypto-leadership-andreesen-horowitz-report-Ethereum Shanghai Upgrade: https://www.cryptopolitan.com/ethereum-shanghai-upgrade-know-this/https://github.com/ethereum/execution-specs/blob/master/network-upgrades/mainnet-upgrades/shanghai.mdYou can also watch on YouTube.

This episode includes:-Bitcoin Lightning Network + Coinbase:<a href="https://twitter.com/Martin_jairam/status/1645494719626231809?s=20" rel="nofollow" target="_blank">https://twitter.com/Martin_jairam/status/1645494719626231809?s=20</a>-US Regulatory Resentment: <a href="https://decrypt.co/125988/usa-losing-edge-global-crypto-leadership-andreesen-horowitz-report" rel="nofollow" target="_blank">https://decrypt.co/125988/usa-losing-edge-global-crypto-leadership-andreesen-horowitz-report</a>-Ethereum Shanghai Upgrade: <a href="https://www.cryptopolitan.com/ethereum-shanghai-upgrade-know-this/" rel="nofollow" target="_blank">https://www.cryptopolitan.com/ethereum-shanghai-upgrade-know-this/</a><a href="" rel="nofollow" target="_blank">https://github.com/ethereum/execution-specs/blob/master/network-upgrades/mainnet-upgrades/shanghai.md</a>You can also <a href="https://youtu.be/aO3M_KAg7Yk" rel="nofollow" target="_blank">watch</a> on YouTube.

Flash Hash: 04/30/2023

In this Personals episode, Dee talks to Stephen Pair, Cofounder, President and CEO of BitPay.com.You can also watch the episode on YouTube.

In this Personals episode, Dee talks to Stephen Pair, Cofounder, President and CEO of <a href="https://bitpay.com/" rel="nofollow" target="_blank">BitPay.com</a>.You can also <a href="https://youtu.be/35NPsNumjoc" rel="nofollow" target="_blank">watch</a> the episode on YouTube.

Hashing It Out Personals: Stephen Pair

Today's topics are: Account abstractionDarkFiAlgorand hackYou can also watch on YouTube.

Today's topics are: <a href="https://cointelegraph.com/news/ethereum-erc-4337-smart-accounts-launch-at-walletcon-account-abstraction-is-here " rel="nofollow" target="_blank">Account abstraction</a><a href="https://dark.fi/insights/the-status-quo.html " rel="nofollow" target="_blank">DarkFi</a><a href="https://cryptoslate.com/algorand-blasted-over-inaction-on-ongoing-wallet-drain-hack/" rel="nofollow" target="_blank">Algorand hack</a>You can also <a href="https://youtu.be/Z79NjmSLAVs" rel="nofollow" target="_blank">watch</a> on YouTube.

Flash Hash 03/15/2023

In a Bitcoin Podcast throwback, Corey and Jessie talk about their time at ETHDenver and answer questions from Christian and Dee.

In a Bitcoin Podcast throwback, Corey and Jessie talk about their time at ETHDenver and answer questions from Christian and Dee.

ETHDenver roundtable

Andy Boyan

You can also watch the episode on YouTube.Listen for the answer to this clue to collect an NFT from Infinity Keys.Clue: What did Andy say is the hardest job he has ever had? Answer

You can also <a href="https://youtu.be/en0N8eHnQpU" rel="nofollow" target="_blank">watch</a> the episode on YouTube.Listen for the answer to this clue to collect an NFT from <a href="https://www.infinitykeys.io/" rel="nofollow" target="_blank">Infinity Keys</a>.Clue: What did Andy say is the hardest job he has ever had? <a href="https://www.infinitykeys.io/puzzle/not-easy" rel="nofollow" target="_blank">Answer</a>

Hashing It Out Personals: Andy Boyan

Hashing It Out is a podcast which dives into the weeds with tech innovators in blockchain infrastructure and decentralized networks to learn more about what they build and the problems they face head on to overcome.

I appreciate the fact that these guys are explaining some of the complex processes associated with blockchain deployments.

Looking forward to more

I’ve been listening to the Bitcoin Podcast Network for a few months now and really enjoy it. They provide a number of regular programs that center on different topics in the space and most will find something there that they enjoy.

One thing that was missing (until now) is a more in-depth discussion of the development efforts and technology behind these emerging blockchain initiatives.

This podcast is excellent for any casual listener that wants to garner an appreciation or understanding of the technical details behind some of these projects. It is also excellent for anybody who is keen on developing in the space and might not be aware of the languages or utilities currently being employed to address emergent problems. 

This is easily my favorite program now. Well worth a listen!

Technical and Accessible

Hashing It Out

Dan Robinson

We have the pleasure to present one of the more entertaining speakers at SBC19, Dan Robinson. After two talks on Hash Time Locked Contracts (HTLCs), he drops a massive bomb in with a slide deck entitled, "HTLCs (And why they suck)." Lively and entertaining, we have him step through is thoughts on HTLCs and the alternate solutions to this technique that Interleger implements. Bombastic show chocked full information and analysis! LInks:  Dan's Twitter Dan's Talk Dan's Slides Interledger Protocol Spec

We have the pleasure to present one of the more entertaining speakers at SBC19, Dan Robinson. After two talks on Hash Time Locked Contracts (HTLCs), he drops a massive bomb in with a slide deck entitled, "HTLCs (And why they suck)." Lively and entertaining, we have him step through is thoughts on HTLCs and the alternate solutions to this technique that Interleger implements. Bombastic show chocked full information and analysis! LInks: <ul> <li><a href="https://twitter.com/danrobinson" rel="nofollow" target="_blank">Dan's Twitter</a></li> <li><a href="https://youtu.be/qUAyW4pdooA" rel="nofollow" target="_blank">Dan's Talk</a></li> <li><a href="https://cyber.stanford.edu/sites/g/files/sbiybj9936/f/htlcs_considered_harmful.pdf" rel="nofollow" target="_blank">Dan's Slides</a></li> <li><a href="https://interledger.org/rfcs/0027-interledger-protocol-4/" rel="nofollow" target="_blank">Interledger Protocol Spec</a></li></ul>

Hashing It Out #36: Dan Robinson - HTLCs (And why they suck)

Zaki Manian

Champion of decentralization, Zaki Manian, rejoins us for updates on Cosmos since their Mainnet launch. We dive into the design principles of Cosmos, their consensus mechanisms, incentivisation model, and how to integrate your decentralized application into the Cosmos Network. We also learn more about who is currently using Cosmos and how, what Zaki and Cosmos will be speaking on at NYC Blockchain Week events, as well as how Cosmos differentiates itself from other technologies being produced. Riveting as always! Show Links:  MIT talk about launch cosmos Zaki's Twitter

Champion of decentralization, Zaki Manian, rejoins us for updates on Cosmos since their Mainnet launch. We dive into the design principles of Cosmos, their consensus mechanisms, incentivisation model, and how to integrate your decentralized application into the Cosmos Network. We also learn more about who is currently using Cosmos and how, what Zaki and Cosmos will be speaking on at NYC Blockchain Week events, as well as how Cosmos differentiates itself from other technologies being produced. Riveting as always! Show Links: <ul> <li><a href="https://www.youtube.com/watch?v=xqopwqXyURw" rel="nofollow" target="_blank">MIT talk about launch</a></li> <li><a href="www.cosmos.network" rel="nofollow" target="_blank">cosmos</a></li> <li><a href="https://twitter.com/zmanian" rel="nofollow" target="_blank">Zaki's Twitter</a></li></ul>

Hashing It Out #45 - Cosmos Network - Zaki Manian

Nik Kunkel

MakerDAO has built a token that is reasonably stable with the USD. We have the great pleasure of interviewing Nik Kunkel, Head of Backend Services at Maker. In this Part 1 of 2 on Maker, we talk about the cryptoeconomics behind creating a stable token pegged to the USD. It's essential to understand this before getting into the technicals found in Part 2 of 2 (next episode, #48). This is compelling work, and truly amazing how well it's standing against the throes of the fluctuating markets. Linkshttps://makerdao.com/en/https://www.reddit.com/r/MakerDAO/https://twitter.com/makerdao

MakerDAO has built a token that is reasonably stable with the USD. We have the great pleasure of interviewing Nik Kunkel, Head of Backend Services at Maker. In this Part 1 of 2 on Maker, we talk about the cryptoeconomics behind creating a stable token pegged to the USD. It's essential to understand this before getting into the technicals found in Part 2 of 2 (next episode, #48). This is compelling work, and truly amazing how well it's standing against the throes of the fluctuating markets. Links <a href="https://makerdao.com/en/" rel="nofollow" target="_blank">https://makerdao.com/en/</a> <a href="https://www.reddit.com/r/MakerDAO/" rel="nofollow" target="_blank">https://www.reddit.com/r/MakerDAO/</a> <a href="https://twitter.com/makerdao" rel="nofollow" target="_blank">https://twitter.com/makerdao</a>

Hashing It Out #47 - MakerDAO pt. 1 - Nik Kunkel

Andrew Poelstra

Blockstream

Today's episode Corey and Collin bring on Andrew Poelstra, a mathematician and Director of Research at Blockstream. The guys dive straight into ECDSA vs Schnorr signatures, its history, and their future in crypto systems.  They talk about Mimble Wimble, and how it bled into upcoming massive improvements of the Bitcoin protocol.  Lots of great stuff to sink your teeth into this episode so we go a bit longer than usual.  Enjoy the show! Links:  Monero Monitor - Mimble Wimble Blockstream Andrew's Github  Donate:  https://donate.hashingitout.stream

Today's episode Corey and Collin bring on Andrew Poelstra, a mathematician and Director of Research at Blockstream. The guys dive straight into ECDSA vs Schnorr signatures, its history, and their future in crypto systems. They talk about Mimble Wimble, and how it bled into upcoming massive improvements of the Bitcoin protocol. Lots of great stuff to sink your teeth into this episode so we go a bit longer than usual. Enjoy the show! Links: <ul> <li><a href="https://thebitcoinpodcast.com/monero-monitor-mimblewimble-with-andrew-poelstra/" rel="nofollow" target="_blank">Monero Monitor - Mimble Wimble</a></li> <li><a href="https://blockstream.com/" rel="nofollow" target="_blank">Blockstream</a></li> <li><a href="https://github.com/apoelstra" rel="nofollow" target="_blank">Andrew's Github</a></li> </ul> Donate: <ul> <li>https://donate.hashingitout.stream</li></ul>

Hashing It Out #51 - Blockstream - Andrew Poelstra

Alex Miller

Karl Kreder

Grid+ is one of the most legitimate and exciting products utilizing blockchain in the space, so we're very excited to present Alex Miller (CTO) and Karl Kreder (VP Hardware) on our program. We discuss their line of blockchain appliances, how they're built, their design philosophies, and the challenges in building hardware for blockchains. We get to hear some of their thoughts on the future of blockchain and consensus protocols, and where they see the world moving into the future as decentralization becomes and adopted norm.

Grid+ is one of the most legitimate and exciting products utilizing blockchain in the space, so we're very excited to present Alex Miller (CTO) and Karl Kreder (VP Hardware) on our program. We discuss their line of blockchain appliances, how they're built, their design philosophies, and the challenges in building hardware for blockchains. We get to hear some of their thoughts on the future of blockchain and consensus protocols, and where they see the world moving into the future as decentralization becomes and adopted norm.

Hashing It Out #32: Grid+ - Alex Miller & Karl Kreder

Emin Gün Sirer

Welcome back, Dr. Sirer on our 50th episode! The Avalanche consensus protocol was released last year by a pseudonymous team of researches "Team Rocket" (no relation to Pokemon, our sources say). Dr. Emin Gün Sirer has been a strong proponent of the protocol and has developed an implementation under his company AVA Labs. With test TPS of 6500 on a realistic test environment, AVA is already showing speeds rivaling VISA on Black Friday. We re-hash Avalanche for the audience and then explain how the AVA implementation works, learning more about open questions such as smart contracts on AVA. Links  https://avalabs.org/ https://twitter.com/avalabsofficial https://twitter.com/el33th4xor  Donate  https://donate.hashingitout.stream

Welcome back, Dr. Sirer on our 50th episode! The Avalanche consensus protocol was released last year by a pseudonymous team of researches "Team Rocket" (no relation to Pokemon, our sources say). Dr. Emin Gün Sirer has been a strong proponent of the protocol and has developed an implementation under his company AVA Labs. With test TPS of 6500 on a realistic test environment, AVA is already showing speeds rivaling VISA on Black Friday. We re-hash Avalanche for the audience and then explain how the AVA implementation works, learning more about open questions such as smart contracts on AVA. Links <ul> <li><a href="https://avalabs.org/" rel="nofollow" target="_blank">https://avalabs.org/</a></li> <li><a href="https://twitter.com/avalabsofficial" rel="nofollow" target="_blank">https://twitter.com/avalabsofficial</a></li> <li><a href="https://twitter.com/el33th4xor" rel="nofollow" target="_blank">https://twitter.com/el33th4xor</a></li> </ul> Donate <ul> <li>https://donate.hashingitout.stream</li></ul>

Hashing It Out #50 - AVA Labs - Emin Gün Sirer

Aaron Blankstein

Blockstack is releasing their decentralized computing platform next year, and we have Aaron Blankstein on to talk about their whitepaper and what it means for decentralized applications in the future. Using their identity management system, Blockstack ID, their file storage system, Gaia, and their formally verifiable and non-Turing Complete smart contract language, Clarity, Blockstack will make it easier to build dapps on the Bitcoin network. Links:  Blockstack.org Blockchain docs Blockstack whitepaper  Donate:  https://donate.hashingitout.stream

Blockstack is releasing their decentralized computing platform next year, and we have Aaron Blankstein on to talk about their whitepaper and what it means for decentralized applications in the future. Using their identity management system, Blockstack ID, their file storage system, Gaia, and their formally verifiable and non-Turing Complete smart contract language, Clarity, Blockstack will make it easier to build dapps on the Bitcoin network. Links: <ul> <li><a href="https://blockstack.org" rel="nofollow" target="_blank">Blockstack.org</a></li> <li><a href="https://docs.blockstack.org" rel="nofollow" target="_blank">Blockchain docs</a></li> <li><a href="https://blockstack.org/whitepaper" rel="nofollow" target="_blank">Blockstack whitepaper</a></li> </ul> Donate: <ul> <li>https://donate.hashingitout.stream</li></ul>

Hashing It Out #52 - Blockstack - Aaron Blankstein

Back with season 2 of Hashing It Out, and we have a doozy! This Episode features Trail of Bits and ChainSecurity to talk about their amazing last-minute catch of EIP-1283's impact on the Constantinople Ethereum hard fork. We go over how they found it, what recommendations they made, and how the hard fork was postponed to quickly. We also discuss the tooling behind analyzing such a vulnerability, the true impact had it been released, and how the processes around hard fork release candidates could be altered by this detection. Links: - empire hacking videos - EIP-1283 Analysis - contract upgrade anti-patterns - How contract migration works - Blockchain security contacts - securify - slither - eveem.org

Back with season 2 of Hashing It Out, and we have a doozy! This Episode features Trail of Bits and ChainSecurity to talk about their amazing last-minute catch of EIP-1283's impact on the Constantinople Ethereum hard fork. We go over how they found it, what recommendations they made, and how the hard fork was postponed to quickly. We also discuss the tooling behind analyzing such a vulnerability, the true impact had it been released, and how the processes around hard fork release candidates could be altered by this detection. Links: - <a>empire hacking videos</a> - <a>EIP-1283 Analysis</a> - <a>contract upgrade anti-patterns</a> - <a>How contract migration works</a> - <a>Blockchain security contacts</a> - <a>securify</a> - <a>slither</a> - <a href="http://eveem.org" rel="nofollow" target="_blank">eveem.org</a>

Hashing It Out #35: Constantinople Postponement - Trail of Bits & ChainSecurity

Alex Van de Sande

Alex va de Sande is a UX designer and developer for the Ethereum foundation who has come up with a new, clean way to provide universal login capability to any decentralized application. Using a combination of standards such as ERC725 identity contracts and his proposed ERC1077 and ERC1078, he has created a way to login across any application using a single login mechanism. We go over his system, his views on the challenges behind adoption that UX can solve, and the future of DApps as they begin implementing standards such as universal logins. Links https://universallogin.io/ https://twitter.com/avsa https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1078.mdhttps://github.com/ethereum/EIPs/blob/master/EIPS/eip-1077.md

Alex va de Sande is a UX designer and developer for the Ethereum foundation who has come up with a new, clean way to provide universal login capability to any decentralized application. Using a combination of standards such as ERC725 identity contracts and his proposed ERC1077 and ERC1078, he has created a way to login across any application using a single login mechanism. We go over his system, his views on the challenges behind adoption that UX can solve, and the future of DApps as they begin implementing standards such as universal logins. Links <a href="https://universallogin.io/" rel="nofollow" target="_blank">https://universallogin.io/</a> <a href="https://twitter.com/avsa" rel="nofollow" target="_blank">https://twitter.com/avsa</a> <a href="https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1078.md" rel="nofollow" target="_blank">https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1078.md</a><a href="https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1077.md" rel="nofollow" target="_blank">https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1077.md</a>

Hashing It Out #29: Universal Logins - Alex van de Sande

Georgios Konstantopoulos

Plasma is one of the strongest candidates for Layer 2 scaling solutions. Since the Plasma whitepaper was released in August 2017, there's been a multitude of Plasma implementations experimenting with the idea. On this episode we feature Georgios Kosntantoploulos, Lead Researcher at Loom Network, to talk about Plasma, the different variations, and the future of scaling through Layer 2 solutions. https://github.com/loomnetwork/plasma-paperhttps://www.gakonst.com/

Plasma is one of the strongest candidates for Layer 2 scaling solutions. Since the Plasma whitepaper was released in August 2017, there's been a multitude of Plasma implementations experimenting with the idea. On this episode we feature Georgios Kosntantoploulos, Lead Researcher at Loom Network, to talk about Plasma, the different variations, and the future of scaling through Layer 2 solutions. <a href="https://github.com/loomnetwork/plasma-paper" rel="nofollow" target="_blank">https://github.com/loomnetwork/plasma-paper</a><a href="https://www.gakonst.com/" rel="nofollow" target="_blank">https://www.gakonst.com/</a>

Hashing It Out #33: Loom Network / Plasma Cash - Georgios Konstantopoulos

Ken Sedgwick

Matt Zimmerman

Managing crypto keys is difficult enough for private holders, but when managing large portfolios of cryptocurrency assets on an institutional level, the risk surface increases tremendously. Base Zero has devised a suite of tools to manage multisignature signing over an air-gapped signing device and a sharded backup system to ensure security for large organizations. This unique approach enables these institutions to mitigate risk associated with large fund transfers without any one single person being able to compromise the system and with highly secured disaster recovery. Links  https://medium.com/base-zero/the-state-of-security-5667048d3923 Whitepaper Matt Zimmerman: https://www.linkedin.com/in/mdzin/ Ken Sedgwick: https://www.linkedin.com/in/ken-sedgwick-83541/

Managing crypto keys is difficult enough for private holders, but when managing large portfolios of cryptocurrency assets on an institutional level, the risk surface increases tremendously. Base Zero has devised a suite of tools to manage multisignature signing over an air-gapped signing device and a sharded backup system to ensure security for large organizations. This unique approach enables these institutions to mitigate risk associated with large fund transfers without any one single person being able to compromise the system and with highly secured disaster recovery. Links <ul> <li><a href="https://medium.com/base-zero/the-state-of-security-5667048d3923" rel="nofollow" target="_blank">https://medium.com/base-zero/the-state-of-security-5667048d3923</a></li> <li><a href="https://basezero.com/?utm_campaign=2019-02-whitepaper-leadgen&amp;utm_medium=article&amp;utm_source=hashingitoutpodcast&amp;utm_content=textlink&amp;utm_term=download%20the%20datasheet%20and%20security%20whitepaper" rel="nofollow" target="_blank">Whitepaper</a></li> <li>Matt Zimmerman: <a href="https://www.linkedin.com/in/mdzin/" rel="nofollow" target="_blank">https://www.linkedin.com/in/mdzin/</a></li> <li>Ken Sedgwick: <a href="https://www.linkedin.com/in/ken-sedgwick-83541/" rel="nofollow" target="_blank">https://www.linkedin.com/in/ken-sedgwick-83541/</a></li></ul>

Hashing It Out #37 - Base Zero - Matt Zimmerman and Ken Sedgwick

Russell O'Connor

We bring you another brilliant mind on the show for this episode! Russell O'Connor, developer of Blockstream's Simplicity programming language for Bitcoin, dives deep into formal verification topics. We learn about the language design principles driving Simplicity, how formal verification plays an integral role in making the language suitable for securely automating Bitcoin transactions, and the challenges in creating a smart contract script for Bitcoin. We get a glimpse into the future of blockchain automation, and he elucidates what is being done right and what could be done better in blockchain platforms to place security first in smart contract design. Links  Simplicity's Github Simplicity Publication -- PLAS 2017 Simplicity presentation -- BPASE 2018 (slides) Illustration of formal verification using Simplicity -- Scale by the Bay 2018 (slides) Enhancing Bitcoin Transactions with Covenants -- The Financial Crypography 2017 Workshop Andrew Appel's Verified Software Toolchain for formal verification of C The Coq proof assistant Mooly Sagiv's Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems

We bring you another brilliant mind on the show for this episode! Russell O'Connor, developer of Blockstream's Simplicity programming language for Bitcoin, dives deep into formal verification topics. We learn about the language design principles driving Simplicity, how formal verification plays an integral role in making the language suitable for securely automating Bitcoin transactions, and the challenges in creating a smart contract script for Bitcoin. We get a glimpse into the future of blockchain automation, and he elucidates what is being done right and what could be done better in blockchain platforms to place security first in smart contract design. Links <ul> <li><a href="https://github.com/ElementsProject/simplicity" rel="nofollow" target="_blank">Simplicity's Github</a></li> <li><a href="https://arxiv.org/abs/1711.03028" rel="nofollow" target="_blank">Simplicity Publication -- PLAS 2017</a></li> <li><a href="https://youtu.be/VOeUq3oR2fk" rel="nofollow" target="_blank">Simplicity presentation -- BPASE 2018</a> (<a href="https://cyber.stanford.edu/sites/g/files/sbiybj9936/f/slides-bpase-2018.pdf" rel="nofollow" target="_blank">slides</a>)</li> <li><a href="https://www.youtube.com/watch?v=M4XnDrRIKx8" rel="nofollow" target="_blank">Illustration of formal verification using Simplicity -- Scale by the Bay 2018</a> (<a href="https://lists.ozlabs.org/pipermail/simplicity/2018/000011.html" rel="nofollow" target="_blank">slides</a>)</li> <li><a href="https://fc17.ifca.ai/bitcoin/papers/bitcoin17-final28.pdf" rel="nofollow" target="_blank">Enhancing Bitcoin Transactions with Covenants -- The Financial Crypography 2017 Workshop</a></li> <li><a href="https://vst.cs.princeton.edu/" rel="nofollow" target="_blank">Andrew Appel's Verified Software Toolchain for formal verification of C</a></li> <li><a href="https://coq.inria.fr/" rel="nofollow" target="_blank">The Coq proof assistant</a></li> <li><a href="https://www.cs.tau.ac.il/%7Eodedp/modularity-for-decidability.pdf" rel="nofollow" target="_blank">Mooly Sagiv's Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems</a></li></ul>

Hashing It Out #44 - Blockstream - Russell O'Connor

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! SponsorshipThanks 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:  Slither, their open-source static analyzer Empire Hacking's December event How to safely store cryptocurrency Their new product being launched in a few weeks, Crytic -- it's all of their security tools integrated with Github and using a private database of checks. For a low monthly fee you get every commit and PR reviewed. They'll be adding formal verification to it soon too!  Show Links  MyCrypto.com  Harry's twitter Pyramid of Pain etherscamdb 

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 <a href="http://GiveCrypto.io" rel="nofollow" target="_blank">GiveCrypto.io</a> for sponsoring this week's episode! <a href="http://GiveCrypto.io" rel="nofollow" target="_blank">GiveCrypto.io</a> 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 <a href="http://givecrypto.io" rel="nofollow" target="_blank">http://givecrypto.io</a> to send crypto today! Trail of Bits has some exciting projects we'd like to mention here: <ul> <li><a href="https://github.com/trailofbits/slither/releases/tag/0.6.0" rel="nofollow" target="_blank">Slither, their open-source static analyzer</a></li> <li><a href="https://blog.trailofbits.com/2019/01/18/empire-hacking-ethereum-edition-2/" rel="nofollow" target="_blank">Empire Hacking's December event</a></li> <li><a href="https://blog.trailofbits.com/2018/11/27/10-rules-for-the-secure-use-of-cryptocurrency-hardware-wallets/" rel="nofollow" target="_blank">How to safely store cryptocurrency</a></li> <li>Their new product being launched in a few weeks, Crytic -- it's all of their security tools integrated with Github and using a private database of checks. For a low monthly fee you get every commit and PR reviewed. They'll be adding formal verification to it soon too!</li> </ul> Show Links <ul> <li><a href="https://mycrypto.com" rel="nofollow" target="_blank">MyCrypto.com </a></li> <li><a href="https://twitter.com/sniko_" rel="nofollow" target="_blank">Harry's twitter</a></li> <li><a href="http://detect-respond.blogspot.com/2013/03/the-pyramid-of-pain.html" rel="nofollow" target="_blank">Pyramid of Pain</a></li> <li><a href="https://etherscamdb.info" rel="nofollow" target="_blank">etherscamdb</a></li> </ul>

Hashing It Out #41 - MyCrypto - Harry Denley

Shawn Wilkinson

File storage has long been known as a centralized solution. Storj seeks to change this with their decentralized file storage and retrieval architecture. We'll go over their design, engineering goals, and challenges. We dive deep into how erasure codes can be used to mitigate replication requirements, how trust is managed on their decentralized platform, and how one can be incentivized to donate their storage space and bandwidth to the world through their network. **Links** https://storj.io/ https://github.com/Storj/

File storage has long been known as a centralized solution. Storj seeks to change this with their decentralized file storage and retrieval architecture. We'll go over their design, engineering goals, and challenges. We dive deep into how erasure codes can be used to mitigate replication requirements, how trust is managed on their decentralized platform, and how one can be incentivized to donate their storage space and bandwidth to the world through their network. **Links** <a href="https://storj.io/" rel="nofollow" target="_blank">https://storj.io/</a> <a href="https://github.com/Storj/" rel="nofollow" target="_blank">https://github.com/Storj/</a>

Hashing It Out #34: Storj - Shawn Wilkinson & JT Olio

Liam Horne

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/

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 <ul> <li><a href="http://twitter.com/liamihorne" rel="nofollow" target="_blank">http://twitter.com/liamihorne</a></li> <li><a href="https://playground.counterfactual.com/" rel="nofollow" target="_blank">https://playground.counterfactual.com/</a></li> <li><a href="https://twitter.com/l4ventures" rel="nofollow" target="_blank">https://twitter.com/l4ventures</a></li> <li>https://l4.ventures/</li> <li><a href="https://lihorne.com/" rel="nofollow" target="_blank">https://lihorne.com/</a></li></ul>

Hashing It Out #40 - Liam Horne - L4

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.

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 <ul> <li><a href="https://www.getmonero.org/resources/research-lab/" rel="nofollow" target="_blank">https://www.getmonero.org/resources/research-lab/</a></li> <li><a href="https://github.com/b-g-goodell" rel="nofollow" target="_blank">https://github.com/b-g-goodell</a></li> <li><a href="https://monerokon.com/" rel="nofollow" target="_blank">https://monerokon.com/</a></li> </ul> Sponsorship: Thanks again to <a href="trailofbits.com" rel="nofollow" target="_blank">Trail of Bits</a> for sponsoring this week's episode. Go check out their great article on <a href="https://blog.trailofbits.com/2018/11/27/10-rules-for-the-secure-use-of-cryptocurrency-hardware-wallets/" rel="nofollow" target="_blank">how to safely store cryptocurrency</a> and while you're there, check out all their content on the blog! Stay safe out there.

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

Omer Shlomovits

We have the great pleasure of speaking with Omer Shlomovits. Omer is a multi-party computation and cryptography expert with KZen. He speaks to us about KZen, his research on threshold signatures for building simpler and more secured wallets, key recovery schemes, and the future of multi-party computation. Fantastic episode choked full of deep knowledge! LinksL  https://www.kzencorp.com/ https://github.com/KZen-networks https://twitter.com/KzenCorp https://www.youtube.com/watch?v=veIXYIZrSC8 https://www.facebook.com/groups/800441673459620/

We have the great pleasure of speaking with Omer Shlomovits. Omer is a multi-party computation and cryptography expert with KZen. He speaks to us about KZen, his research on threshold signatures for building simpler and more secured wallets, key recovery schemes, and the future of multi-party computation. Fantastic episode choked full of deep knowledge! LinksL <ul> <li><a href="https://www.kzencorp.com/" rel="nofollow" target="_blank">https://www.kzencorp.com/</a></li> <li><a href="https://github.com/KZen-networks" rel="nofollow" target="_blank">https://github.com/KZen-networks</a></li> <li><a href="https://twitter.com/KzenCorp" rel="nofollow" target="_blank">https://twitter.com/KzenCorp</a></li> <li><a href="https://www.youtube.com/watch?v=veIXYIZrSC8" rel="nofollow" target="_blank">https://www.youtube.com/watch?v=veIXYIZrSC8</a></li> <li><a href="https://www.facebook.com/groups/800441673459620/" rel="nofollow" target="_blank">https://www.facebook.com/groups/800441673459620/</a></li></ul>

Hashing It Out #38 - KZen - Omer Shlomovits

Niran Babalola

So you have a decentralize app you want to use... how do you know its smart contracts are safe? That's where Panvala comes in! Using their system you can certify the security and authenticity of your smart contracts and obtain a mark in proof of this certification. On this episode we talk with its co-founder, Niran Babalola, about their smart contract registry and certification system. We learn of its process, development, and larger implications. We learn what it takes to get from zero to one in a project that requires community participation to improve the certification process. Links https://www.panvala.com/ https://twitter.com/niran

So you have a decentralize app you want to use... how do you know its smart contracts are safe? That's where Panvala comes in! Using their system you can certify the security and authenticity of your smart contracts and obtain a mark in proof of this certification. On this episode we talk with its co-founder, Niran Babalola, about their smart contract registry and certification system. We learn of its process, development, and larger implications. We learn what it takes to get from zero to one in a project that requires community participation to improve the certification process. Links <a href="https://www.panvala.com/" rel="nofollow" target="_blank">https://www.panvala.com/</a> <a href="https://twitter.com/niran" rel="nofollow" target="_blank">https://twitter.com/niran</a>

Hashing It Out #28: Panvala - Niran Babalola

Michael O'Rourke

This episode features Michael O'Rourke (CEO) and Luis C. de Leon (CTO) of Pocket. Pocket is a chain-agnostic decentralized AWS for blockchain full nodes. In a world where full nodes become more expensive to run, Pokt aims to have people host their nodes in their network by registering it with their Proof of Stake blockchain. Using Pokt tokens, someone can rent usage of the full node, using the node's stake as a guarantee of availability, removing the concern of maintaining one's own hardware (virtual or otherwise) to create a decentralized application.

This episode features Michael O'Rourke (CEO) and Luis C. de Leon (CTO) of Pocket. Pocket is a chain-agnostic decentralized AWS for blockchain full nodes. In a world where full nodes become more expensive to run, Pokt aims to have people host their nodes in their network by registering it with their Proof of Stake blockchain. Using Pokt tokens, someone can rent usage of the full node, using the node's stake as a guarantee of availability, removing the concern of maintaining one's own hardware (virtual or otherwise) to create a decentralized application.

Hashing It Out #31: Pokt Network - Michael O'Rourke & Luis C. de Leon

Patrick McCorry

We have the great honor of speaking with Dr. Patrick McCorry, lecturer at King's College London and expert in cryptocurrency research. This conversation focuses on state channel research. We go over the latest and greatest in that field, what advancements have achieved, and what is yet to be done. It's exciting to learn from someone with such an extremely deep knowledge on the subject of state channels! Links:  https://twitter.com/paddykcl https://nms.kcl.ac.uk/patrick.mccorry/

We have the great honor of speaking with Dr. Patrick McCorry, lecturer at King's College London and expert in cryptocurrency research. This conversation focuses on state channel research. We go over the latest and greatest in that field, what advancements have achieved, and what is yet to be done. It's exciting to learn from someone with such an extremely deep knowledge on the subject of state channels! Links: <ul> <li><a href="https://twitter.com/paddykcl" rel="nofollow" target="_blank">https://twitter.com/paddykcl</a></li> <li><a href="https://nms.kcl.ac.uk/patrick.mccorry/" rel="nofollow" target="_blank">https://nms.kcl.ac.uk/patrick.mccorry/</a></li></ul>

Hashing It Out #39 - Patrick McCorry - State Channels

The Best Multi-Part Documentaries, with documentaries on Obama, Federer vs Nadal, the making of Star Wars, Netflix vs Blockbuster and more. Add episodes you're interested into your queue below!

Best Multi-Part Documentaries

The best podcast episodes on romantic relationships. Episodes talk about the 5 love languages, intimacy, and the taboo topics of sexual desires and infidelity. This topic is a deep dive into the science and complexities that face us in our relationships with others. Add episodes you're interested into your queue below!