Blockchain is an innovative new technology that allows distributed digital ledgers in peer-to-peer networks. The challenge is to design better blockchain core protocols that provide even stronger security guarantees, do not require enormous amounts of computational power and therefore energy, and are secure against future quantum attacks. It is important to address the challenges quickly as making changes breaks compatibility, thus requiring the entire ecosystem to upgrade simultaneously in deployed blockchains.
By formalizing new trust models for the blockchain, we can design new blockchain frameworks that allow stronger security guarantees that can be proven. Designing and applying new cryptographic primitives, such as proof-of-work and digital signatures, enable more efficient blockchain consensus algorithms that are also secure against future quantum attacks.
Our research aims to deliver new blockchain frameworks upon which blockchain applications can be built in a wide range of industries such as finance. In contrast to the current state of affairs, our research targets very strong, provable guarantees for the security of the entire blockchain, even against quantum attacks, while also aiming at efficiency and scalability.