This working group is dedicated to a formal analysis of money and payments. This video shows Ahto Buldas explaining the logic of why we chose bills as a transaction unit and the implications for parallel decomposability.

The goal of this working group is to research formal methods and derive provably sound algorithms, protocols and code. 

The videos show three recent presentations on foundational research. Denis Firsov analyzes Solidity smart contracts using EasyCrypt formal mathematical methods. Ekaterina discusses non-malleable commitment schemes and Dominique discusses the impact of quantum mechanics on cryptography.

This working group is focused on the design and implementation of both higher level “ledger consensus” and lower level consensus protocols, such as PBFT and Hotsuff.

The goal is to link the work from the foundations of cryptography working group and provide formally verifiable network protocols.

This working group is focused on implementing Zero Knowledge protocols within the Alphabill framework. The two main applications are transaction-level privacy.

The goal of this working group is to design models for enabling distributed computation on blockchain protocols. This includes designing a language for predicates similar to Bitcoin opcodes, as well as fully-functional smart contract languages and execution environments.