The Tatiana Show – Pamela Morgan, author of ‘Crypto Asset Inheritance Planning’

YouTube Video Here!

Topics include:
— Setting up a secure inheritance plan of action
— S.U.R.E analysis
— User-friendly solutions to mitigate risk
— Death and taxes

About the Guests:
Pamela Morgan is an educator, entrepreneur, author, and attorney who has been working exclusively with bitcoin & open blockchains since early 2014. Morgan is a widely respected authority on multi-signature governance and legal innovation in digital currencies. She spends much of her time traveling the world training lawyers about these technologies through her company, Empowered Law. Her book, Cryptoasset Inheritance Planning: A Simple Guide for Owners, provides a clear blueprint to inheritance planning for those holding cryptocurrency, tokens, crypto-collectibles, and other cryptoassets.

More Info:
www.TatianaMoroz.com
www.CryptoMediaHub.com
www.Vaultoro.com
www.empoweredlaw.com
bit.ly/CIPPamMorgan

Friends and Sponsors of the Show:
www.TheBitcoinCPA.com
www.CryptoCompare.com
www.FreeRoss.org
www.ThirdKey.Solutions
www.SovrynTech.com
www.SexAndScienceHour.com

Powered by WPeMatico

The Tatiana Show ‘” Rob Viglione of ZenCash & Hannah Rosenberg of Velas Commerce

YouTube Video Here!

Topics include:

— ZenCash updates on the recent 51% attack

— Upcoming forks

— Let’s Talk BitCoin events

— Upcoming events promoting cryptocurrency and blockchain tech


About the Guests:

Hannah Rosenberg is an e-commerce web developer, educator and entrepreneur with a degree in Economics from the University of Illinois at Chicago. She has a passion for monetary theory and alternative currencies, and became an early cryptocurrency adopter and enthusiast in 2012. In 2014, she was among the first to be Certified as a Bitcoin Professional by C4, the Cryptocurrency Certification Consortium. She is the founder of Velas Commerce, a Blockchain training and consultancy business, and is the organizer of the Chicago Bitcoin and Open Blockchain Meetup.

Rob Viglione is co-founder of ZenCash, a decentralized blockchain-based platform for private transactions, communication, and document publishing. He’s also a Board advisor for ETHlend and HeroEngine World. As a PhD candidate in finance, Viglione is an expert in crypto-finance, asset pricing, and crypto-related innovations, and teaches university courses about Bitcoin and blockchain applications.

More Info:

www.TatianaMoroz.com

www.CryptoMediaHub.com

www.Vaultoro.com
www.velascommerce.com
www.meetup.com/Bitcoin-Open-Blockchain-Community-Chicago
www.zencash.com

Friends and Sponsors of the Show:
www.TheBitcoinCPA.com
www.CryptoCompare.com
www.FreeRoss.org
www.ThirdKey.Solutions
www.SovrynTech.com
www.SexAndScienceHour.com

Powered by WPeMatico

#239 Grigore Rosu: The K framework – a framework to formally define all programming languages

In the past few years, we witnessed the development of multiple smart contract languages – Solidity, Viper, Michelson, Scilla etc. These languages need to enable developers to write correct, predictable behavior smart contract code. Each language development effort therefore ends up spending resources into building formal verification toolsets, compilers, debuggers and other developer tools.In this episode, we are joined by Grigore Rosu, Professor of computer science at UIUC [University of Illinois at Urbana-Champaign] for a deep dive into the K framework. The K framework is mathematic logic and language that enables language developers to formally define all programming languages; such as C, Solidity and JavaScript. Once a language is formally specified in the K framework, the framework automatically outputs a range of formal verification toolsets, compilers, debuggers and other developer tools for it. Updates to the language can be made directly in K. This technology has massive implications for smart contract programming language development, and formal verification efforts in the blockchain space.We also cover his efforts to express the Ethereum virtual machine using the K framework, and to develop a new virtual machine technology, called IELE, specifically tailored to the blockchain space. Check out the episode to understand a game changing technology in the formal verification and smart contract safety space.

Topics discussed in this episode:

  • Grigore’s background with NASA and work on formally verified correct software
  • Motivations to develop K framework
  • Basic principles behind the operation of K framework
  • How K deals with undefined behavior / ambiguities in a language definition
  • The intersection of K framework and smart contract technology
  • Runtime Verification’s collaboration with Cardano
  • KEVM and IELE, smart contract virtual machines developed by Runtime Verification
  • Broader implications of the K framework for the blockchain industry

Links mentioned in this episode:

Support the show, consider donating:

This episode is also available on :

Watch or listen, Epicenter is available wherever you get your podcasts.

Epicenter is hosted by Brian Fabian Crain, Sƒbastien Couture & Meher Roy.

Powered by WPeMatico