{"id":196,"date":"2022-08-14T09:51:47","date_gmt":"2022-08-14T09:51:47","guid":{"rendered":"https:\/\/brains.dnac.org\/2022\/?page_id=196"},"modified":"2022-09-13T10:56:32","modified_gmt":"2022-09-13T10:56:32","slug":"keynotes","status":"publish","type":"page","link":"https:\/\/brains.dnac.org\/2022\/keynotes\/","title":{"rendered":"Keynotes"},"content":{"rendered":"\n

BRAINS 2022 Keynotes <\/mark><\/strong><\/h3>\n\n\n\n

Keynote #1<\/strong><\/mark><\/h4>\n\n\n\n

Title:<\/strong> Do Contracts Need Accounts?<\/strong><\/strong><\/p>\n\n\n\n

Abstract:<\/strong> Conventional wisdom in the blockchain space dictates that Ethereum\u2019s account-based ledger model is somehow better suited to supporting smart contracts than Bitcoin\u2019s UTxO ledger model. Is that really the case or is it rather a skewed perception stemming from historical development and the differing focus of the Bitcoin and Ethereum project, respectively?<\/p>\n\n\n\n

In this talk, I will discuss the difference between accounts and UTxOs when it comes to supporting smart contracts. I will argue that the main distinction is one of global versus localised state, much like the difference between imperative and functional programming. The imperative model seems tantalisingly simple, but leads to significant costs in terms of both reasoning about smart contracts and maintaining them on a distributed ledger. Finally, I will sketch an approach to modelling smart contracts as state machines that recovers simplicity, maps well to UTxO ledgers, and opens new avenues for informal and formal reasoning about smart contracts and their correctness.<\/p>\n\n\n\n

<\/p>\n\n\n\n

\"Manuel

Manuel M T Chakravarty<\/b>
(Tweag & IOG)<\/p><\/div><\/div>\n\n\n\n

<\/p>\n\n\n\n

Bio: Manuel M T Chakravarty<\/em><\/strong> currently works at the intersection of programming languages and cryptography with applications to open blockchains. His recent contributions cover smart contract and native asset support for UTxO ledgers, such as Cardano, as well as multi-party state channels. He has also published extensively on programming languages, compilers, and high-performance computing. He contributed to both the design and implementation of the Haskell programming language (most notably, type families, associated types, and the foreign function interface) as well as several Haskell tools and open source libraries. He is currently a functional programming expert at Tweag and a researcher & architect of smart contract technology at IOG (formerly, IOHK). Before that he was an Associate Professor at UNSW Sydney.<\/p>\n\n\n\n

<\/p>\n\n\n\n

\n\n\n\n

Keynote #2<\/strong><\/mark><\/p>\n\n\n\n

Title:<\/strong> A vision for decentralized computing<\/strong><\/strong><\/p>\n\n\n\n

Abstract:<\/strong> Bitcoin has the potential to revolutionize the current world’s monetary systems and other decentralized systems have the potential to revolutionize the internet \u2014 for
the good of humankind and planet Earth. In this talk we justify this standpoint and lay out a vision for the future of decentralized computing.
We start by revisiting the definition and taxonomy of decentralized systems and discuss Inclusiveness as a critical facet of decentralization. Then we briefly argue how Inclusiveness rules out some popular candidate technologies for a \u201cbase-level\u201d (or L1) blockchain consensus, namely Proof-of-Stake, from replacing Nakamoto\u2019s Proof-of-Work (PoW) as the base consensus technology of decentralized systems.<\/p>\n\n\n\n

We further discuss why the high energy consumption of Bitcoin\u2019s PoW
consensus is not wasteful and why Bitcoin should be embraced as the money
of the future. We then argue that future decentralized systems should aim at
leveraging the \u201cslow-but-very-secure\u201d PoW consensus of Bitcoin, building
systems on top of it rather than trying to replace it. Finally, we propose some
open problems for decentralized cloud computing research.<\/p>\n\n\n\n

\"Marko

Marko Vukoli\u0107<\/b>
(Consensuslab, Serbia)<\/p><\/div><\/div>\n\n\n\n

<\/p>\n\n\n\n

Bio: <\/strong>Marko Vukolic leads ConsensusLab<\/a> at Protocol Labs<\/a>, where he works on many topics including scaling decentralized consensus. Prior to this, he was a Principal Research Staff Member in IBM Research Zurich<\/a>, tenured faculty at EURECOM<\/a> (2010-2014), and a visiting professor at Systems Group @ ETH Zurich<\/a> (2014).He is one of the co-inventors of Hyperledger Fabric permissioned blockchain system, for which he received numerous technical awards.<\/p>\n\n\n\n

He obtained a Doctor of Science (PhD) degree in Distributed Systems from EPFL<\/a> in the Distributed Programming Laboratory (LPD)<\/a> in 2008, with PhD thesis on Byzantine fault-tolerant (BFT) consensus, state-machine replication and data storage<\/a>. Before PhD, he graduated from EPFL Doctoral School in Computer and Communication Sciences<\/a> in 2003 and obtained a dipl.ing. degree in Electrical Engineering (Telecommunications) from School of Electrical Engineering<\/a>, University of Belgrade<\/a>, in 2001.<\/p>\n\n\n\n

\n\n\n\n

Keynote #3<\/strong><\/mark><\/p>\n\n\n\n

Title:<\/strong> Abstractions for permissionless fault tolerant distributed systems<\/strong><\/strong><\/p>\n\n\n\n

Abstract:<\/strong> In this talk I will discuss some of the abstractions that help us to build permissionless fault tolerant distributed systems, and in particular permissionless blockchains.\u00a0I will concentrate on three fundamental abstractions: (i) communication, which permit the broadcasting of messages in the system with different reliability guarantees, (ii) node sampling,\u00a0which\u00a0 allows each node to continuously update its neighborhood with randomly chosen nodes of the system, and (iii) consensus which allows nodes to reach an agreement on some value.\u00a0\u00a0I will present properties that characterize these abstractions, and discuss\u00a0 some existing implementations by highlighting the challenges that we need to face due to the particular features\u00a0of permissionless environments.\u00a0<\/p>\n\n\n\n

<\/p>\n\n\n\n

\"Emmanuelle

Emmanuelle Anceaume<\/b>
(IRISA, France)<\/p><\/div><\/div>\n\n\n\n

<\/p>\n\n\n\n

Bio: <\/strong> Emmanuelle Anceaume<\/strong> received her PhD in Computer Science from the University Paris-Orsay (Paris-XI) for my work on dependable systems. She spent a post-doctoral year at Cornell University (NY – USA) and worked with Sam Toueg on unreliable failure detectors. She is  a CNRS researcher at IRISA-UMR6074 lab. Her current research group is the  INRIA<\/a> \/ IRISA<\/a> CIDRE research team<\/em>.  <\/p>\n\n\n\n

She investigates dependability and security issues in large scale and dynamic systems. For the last few years, she has  been working on data stream algorithms, privacy preserving reputation mechanisms, and consistency issues in large scale dynamic networks with sa deeper focus on blockchains.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

BRAINS 2022 Keynotes Keynote #1 Title: … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"yoast_head":"\nKeynotes - BRAINS 2022<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/brains.dnac.org\/2022\/keynotes\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Keynotes - BRAINS 2022\" \/>\n<meta property=\"og:description\" content=\"BRAINS 2022 Keynotes Keynote #1 Title: … Continue reading →\" \/>\n<meta property=\"og:url\" content=\"https:\/\/brains.dnac.org\/2022\/keynotes\/\" \/>\n<meta property=\"og:site_name\" content=\"BRAINS 2022\" \/>\n<meta property=\"article:modified_time\" content=\"2022-09-13T10:56:32+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@Dnac_conference\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/brains.dnac.org\/2022\/keynotes\/\",\"url\":\"https:\/\/brains.dnac.org\/2022\/keynotes\/\",\"name\":\"Keynotes - BRAINS 2022\",\"isPartOf\":{\"@id\":\"https:\/\/brains.dnac.org\/2022\/#website\"},\"datePublished\":\"2022-08-14T09:51:47+00:00\",\"dateModified\":\"2022-09-13T10:56:32+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/brains.dnac.org\/2022\/keynotes\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/brains.dnac.org\/2022\/keynotes\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/brains.dnac.org\/2022\/keynotes\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/brains.dnac.org\/2022\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Keynotes\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/brains.dnac.org\/2022\/#website\",\"url\":\"https:\/\/brains.dnac.org\/2022\/\",\"name\":\"BRAINS 2022\",\"description\":\"4th Conference on Blockchain Research & Applications for Innovative Networks and Services \",\"publisher\":{\"@id\":\"https:\/\/brains.dnac.org\/2022\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/brains.dnac.org\/2022\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/brains.dnac.org\/2022\/#organization\",\"name\":\"DNAC\",\"url\":\"https:\/\/brains.dnac.org\/2022\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/brains.dnac.org\/2022\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/brains.dnac.org\/2022\/wp-content\/uploads\/2022\/01\/Logo_DNAC_Haut_Res-300x118-1.png\",\"contentUrl\":\"https:\/\/brains.dnac.org\/2022\/wp-content\/uploads\/2022\/01\/Logo_DNAC_Haut_Res-300x118-1.png\",\"width\":300,\"height\":118,\"caption\":\"DNAC\"},\"image\":{\"@id\":\"https:\/\/brains.dnac.org\/2022\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/twitter.com\/Dnac_conference\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Keynotes - BRAINS 2022","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/brains.dnac.org\/2022\/keynotes\/","og_locale":"en_US","og_type":"article","og_title":"Keynotes - BRAINS 2022","og_description":"BRAINS 2022 Keynotes Keynote #1 Title: … Continue reading →","og_url":"https:\/\/brains.dnac.org\/2022\/keynotes\/","og_site_name":"BRAINS 2022","article_modified_time":"2022-09-13T10:56:32+00:00","twitter_card":"summary_large_image","twitter_site":"@Dnac_conference","twitter_misc":{"Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/brains.dnac.org\/2022\/keynotes\/","url":"https:\/\/brains.dnac.org\/2022\/keynotes\/","name":"Keynotes - BRAINS 2022","isPartOf":{"@id":"https:\/\/brains.dnac.org\/2022\/#website"},"datePublished":"2022-08-14T09:51:47+00:00","dateModified":"2022-09-13T10:56:32+00:00","breadcrumb":{"@id":"https:\/\/brains.dnac.org\/2022\/keynotes\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/brains.dnac.org\/2022\/keynotes\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/brains.dnac.org\/2022\/keynotes\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/brains.dnac.org\/2022\/"},{"@type":"ListItem","position":2,"name":"Keynotes"}]},{"@type":"WebSite","@id":"https:\/\/brains.dnac.org\/2022\/#website","url":"https:\/\/brains.dnac.org\/2022\/","name":"BRAINS 2022","description":"4th Conference on Blockchain Research & Applications for Innovative Networks and Services ","publisher":{"@id":"https:\/\/brains.dnac.org\/2022\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/brains.dnac.org\/2022\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/brains.dnac.org\/2022\/#organization","name":"DNAC","url":"https:\/\/brains.dnac.org\/2022\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/brains.dnac.org\/2022\/#\/schema\/logo\/image\/","url":"https:\/\/brains.dnac.org\/2022\/wp-content\/uploads\/2022\/01\/Logo_DNAC_Haut_Res-300x118-1.png","contentUrl":"https:\/\/brains.dnac.org\/2022\/wp-content\/uploads\/2022\/01\/Logo_DNAC_Haut_Res-300x118-1.png","width":300,"height":118,"caption":"DNAC"},"image":{"@id":"https:\/\/brains.dnac.org\/2022\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/twitter.com\/Dnac_conference"]}]}},"_links":{"self":[{"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/pages\/196"}],"collection":[{"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/comments?post=196"}],"version-history":[{"count":10,"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/pages\/196\/revisions"}],"predecessor-version":[{"id":303,"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/pages\/196\/revisions\/303"}],"wp:attachment":[{"href":"https:\/\/brains.dnac.org\/2022\/wp-json\/wp\/v2\/media?parent=196"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}