Meet up

LDN *Virtual* Talks Jun 2021 — Concordium Takeover

FREE: Register Now

Monday, 28th June, Online Meetup

This meetup is organised by Rust London User Group Starts at 7:00 PM BST (6:00 PM UTC)

Overview

Our Takeover guests this month is Concordium.

Concordium is a software company that focuses on creating tools on top of their protocol with a privacy-preserving ID layer that is regulatory compliant by design. Concordium is built for those who want to develop scalable blockchain applications in a new paradigm of Enterprise while operating within a regulatory framework without the perils of privacy intrusion.

COBRA (Concordium Blockchain Research Centre Arhus) is the scientific research arm of Concordium. The driving goal of the research centre is to provide the basic research needed to build energy-efficient and scalable blockchain technology that is provably secure.

Rust London will be giving developers from Concordium and their research initiative COBRA the floor to share what they have built with Rust and what they aspire to do with the language in the future.

Rust London will be giving developers from Concordium and their research initiative COBRA the floor to share what they have built with Rust and what they aspire to do with the language in the future.

Learn more

  • Discord: https://discord.gg/xWmQ5tp
  • Github: https://github.com/Concordium/

Rust at Concordium

This talk will look at how we use Rust at Concordium. Three core components of our block-chain node are implemented in Rust: the peer-to-peer networking layer; our cryptographic protocols, including our distinctive identity layer; and the interpreter for our WebAssembly smart contracts. Moreover, we support Rust as our primary source language for smart contract development.

Thomas Dinsdale-Young

Thomas is a senior developer at Concordium, working on their blockchain node. Before that, he was an assistant professor at Aarhus University's Department of Computer Science.

Formal Verification of Subsets of the Rust Language

In this presentation, I will give a very brief introduction to interactive formal verification of programming languages.

I will then proceed with an overview of three projects that we are working on or contributing to in our CoBRA institute.

  • ConCert, a framework for smart contract verification. As part of this we have developed a general backend to the Coq proof assistant which allows us to generate provably correct functional rust programs.
  • hacspec, a subset of rust for the specification of high assurance cryptography.
  • fiat-crypto, a verified compiler which allows one to generate efficient, provably correct, constant time and platform independent implementations of cryptographic primitives.

Finally, I will shortly reflect on the status of formal verification in these subsets of rust.

Bas Spitters

Associate professor Computer Science at Aarhus University. He leads the formal verification and smart contract parts of the CoBRA research center. His research focuses on type theory and formal verification, especially in the context of blockchains. This includes programming languages and high assurance cryptography.

Experimenting with Faster Elliptic Curves in Rust

Diego will discuss the results of experiments improving the efficiency of constant-time cryptographic algorithms implemented in Rust, with applications to faster Elliptic Curve Cryptography of practical interest.

Diego F. Aranha

Diego F. Aranha is an Associate Professor in the Department of Computer Science at Aarhus University. He is also affiliated with the AU DIGIT Centre for Digitalisation, Big Data and Data Analytics; and with the Concordium Blockchain Research Center Aarhus (COBRA). His professional experience is in Cryptography and Computer Security, with a special interest in the efficient implementation of cryptographic algorithms and security analysis of real-world systems. He received the Google Latin America Research Award for research on privacy twice, and the MIT TechReview's Innovators Under 35 Brazil Award for his work in electronic voting.

Who's coming?

Attending Members