Paris Cryptofinance Seminar

Cyril Grunspan (Léonard de Vinci, Pôle Universitaire, Research Center, Projet Moneytrack),  Ricardo Pérez-Marco (CNRS, IMJ-PRG, Labex MME-DII, Labex Réfi).

We are happy to welcome Russel O Connor (Blockstream) for the first Paris Cryptofinance Seminar of 2018.
Russel will give a talk on "Simplicity: A New Language for Blockchains" and related questions".
Abstract.
Simplicity is a typed, combinator-based, functional language without loops and recursion, designed to be used for crypto-currencies and blockchain applications. It aims to improve upon existing crypto-currency languages, such as Bitcoin Script and Ethereum's EVM, while avoiding some of the problems they face. Simplicity comes with formal denotational semantics defined in Coq, a popular, general purpose software proof assistant. Simplicity also includes operational semantics that are defined with an abstract machine that we call the Bit Machine. The Bit Machine is used as a tool for measuring the computational space and time resources needed to evaluate Simplicity programs. Owing to its Turing incompleteness, Simplicity is amenable to static analysis that can be used to derive upper bounds on the computational resources needed, prior to execution. While Turing incomplete, Simplicity can express any finitary function, which we believe is enough to build useful "smart contracts" for blockchain applications. 
In this presentation I will focus on how I foresee Simplicity being used in practice, and take a look at how the formalization of Simplicity might connect with the formalization of other languages and protocols.

Paris Cryptofinance Seminar

Plus d'événements de Cyril Grunspan (Léonard de Vinci, Pôle Universitaire, Research Center, Projet Moneytrack), Ricardo Pérez-Marco (CNRS, IMJ-PRG, Labex MME-DII, Labex Réfi).

Découvrez d'autres événements de Cyril Grunspan (Léonard de Vinci, Pôle Universitaire, Research Center, Projet Moneytrack), Ricardo Pérez-Marco (CNRS, IMJ-PRG, Labex MME-DII, Labex Réfi)., de Sciences et technologies à d'autres expériences que vous pourriez aimer.

Vous cherchez toujours le bon événement ?

Explorez tous les événements à Paris-2E-Arrondissement et filtrez par date, catégorie et plus encore pour trouver celui qui vous convient le mieux.

Paris Cryptofinance Seminar

Plus d'événements de Cyril Grunspan (Léonard de Vinci, Pôle Universitaire, Research Center, Projet Moneytrack), Ricardo Pérez-Marco (CNRS, IMJ-PRG, Labex MME-DII, Labex Réfi).

Découvrez d'autres événements de Cyril Grunspan (Léonard de Vinci, Pôle Universitaire, Research Center, Projet Moneytrack), Ricardo Pérez-Marco (CNRS, IMJ-PRG, Labex MME-DII, Labex Réfi)., de Sciences et technologies à d'autres expériences que vous pourriez aimer.

Vous pourriez aussi aimer...

Parcourez d'autres événements avec différentes dates, prix et formats pour trouver votre prochaine expérience.

Vous cherchez toujours le bon événement ?

Explorez tous les événements à Paris-2E-Arrondissement et filtrez par date, catégorie et plus encore pour trouver celui qui vous convient le mieux.