Before founding what is now one of the most successful companies in the cryptocurrency industry, Eric Larchevêque and his co-founder opened La Maison du Bitcoin, a Bitcoin education center and co-working space in the second district of Paris. It was through chance encounters in this space that Leger was born in the basement of 35 rue du Caire, where the company also operated a Bitcoin exchange desk and a handful of crypto miners. Eric Larchevêque, CEO of Ledger, joins us again since his last appearance as a guest 200 episodes ago. We discuss the meteoric rise of Ledger from a ten-person team to now nearly 150 people across three continents. This fascinating discussion is a master class in product development, scaling at lightning speed, and staying true to your vision when everyone is pushing you to change course. Topics covered in this episode: Eric’s background and how he became involved in the Bitcoin space La Maison du Bitcoin and the early days of Ledger in Paris The meteoric growth of Ledger and how the company managed to scale without imploding The appointment of Pascal Gautier as President how to hire the right people when scaling fast Ledger’s various funding rounds and lessons learned from working with corporate investors The particularities of building products for the crypto community Ledger’s product lineup (Nano S, Blue, and Vault) and target clients The upcoming release of the revamped wallet app Ledger Vault as a security solution for institutional investors Ledger’s hardware technology and rock-solid approach to security Episode links: Ledger Wallet Website Ledger Corporate Website CoinHouse (formerly La Maison du Bitcoin) Announcing the new Ledger Wallet desktop and mobile applications Former CRITEO COO joins leading security player in Cryptocurrency space Ledger raises USD 75 million to secure cryptocurrency assets This episode is hosted by Brian Fabian Crain and Sébastien Couture. Show notes and listening options: epicenter.tv/241

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 covered 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 Episode links: Defining the undefinedness of C - formalisation of C using the K framework IELE - a new virtual machine for the blockchain Runtime verification - Grigore's company K Semantics of the Ethereum Virtual Machine Short video on Grigore's partnership with Cardano An overview of the K framework by Runtime Verification A detailed technical overview of the K semantic framework This episode is hosted by Meher Roy and Sunny Aggarwal. Show notes and listening options: epicenter.tv/239