Blockchain Technologies: from an art to a science

Bitcoin and blockchain techniques significantly reshape the future of financial transactions, and distributed interactions in general, and eventually bring us a much more organized and documented digital world. The design of Bitcoin system is very elegant; it utilizes light weight cryptographic tools in a smart way so that the resulting system is open, secure, and also efficient. Today, Bitcoin and blockchain techniques have gained lots of attention, and huge amount of creative ideas have been introduced by researchers, developers, and advocates in Bitcoin community.

We take the provable security approach to developing blockchain techniques. We hope we can eventually move these powerful blockchain techniques from an art to a science. Specifically, we are interested in the following research topics:

  • Developing new security analysis frameworks.
  • Designing new blockchain consensus protocols.
  • Designing new applications on top of blockchains.

Research and teaching activities:

Implementation projects:

Research papers:

Research resources:

External collaborator
Alexander Chepurnoy (Ergo Platform and IOHK Research), Lei Fan (SJTU), Jonathan Katz (UMD), Aggelos Kiayias (Edinburgh and IOHK Research), Bingsheng Zhang (Lancaster), Vassilis Zikas (Edinburgh)