LDN *Virtual* Talks Jun 2021 — Concordium Takeover
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/
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.
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.
Attending Members
-
@lewisreay
-
@teru_hizaki
-
@saki-osive
-
@suhashegde
-
@fayce
-
and others will be coming!
Log in to see who else is coming