Authenticated, Partial Data Structures for Blockchain Scalability, Sustainability and Security
Mark Moir, Architect
Oracle Labs, New Zealand – USA
Abstract
Using our Haskell Authenticated Modular Maps (HAMM) framework, we can specify various implementations of authenticated modular maps that enable verifying and using _partial_ map (key-value store) data structures. I will present an overview of HAMM and results we have achieved with it. I will also discuss our motivation for building HAMM, which is to enable blockchain participants to quickly receive and verify part of a map representing a blockchain “world state”. This is important for addressing several practical concerns related to Blockchain Scalability, Sustainability and Security.
Thursday 14 February 2019 – 1:30 pm – 2:05 pm – Schedule
Bio
Dr. Mark Moir – Architect at Oracle Labs, New Zealand – USA.
Mark Moir received the B.Sc.(Hons.) degree in Computer Science from Victoria University of Wellington, New Zealand in 1988, and the Ph.D. degree in Computer Science from the University of North Carolina at Chapel Hill, USA in 1996. From August 1996 until June 2000, he was an assistant professor in the Department of Computer Science at the University of Pittsburgh. In June 2000, he joined Sun Labs. Moir is now the Principal Investigator of the Scalable Synchronization Research Group in Oracle Labs, due to Oracle acquiring Sun in 2010.
Dr. Moir was named as a Sun Microsystems Distinguished Engineer in 2009 and an Architect at Oracle in 2016. His traditional research interests concern practical and theoretical aspects of concurrent, distributed, and real-time computing, with a particular focus on hardware and software mechanisms for making it easier to develop scalable, efficient, and correct concurrent programs for shared-memory multiprocessors.
Mark is giving a talk in every Multicore World since its creation. (MW12-13-14-15-16-17).