Verification & Security of Blockchain Oracle Network Effects on Smart Contracts

Bitcoin! Ethereum! Blockchain! In the past year, these words made headline news globally. The promise of blockchain, or decentralized ledger-based technologies, it has electrified the world and created an excitement for technology that was last seen in the 1990s when the internet was entering mainstream. The core premise of the technology is that blockchains are secured by cryptography and economic incentives, and that they are governed by decentralized consensus. As such, it is critical that they are based on robust and sound economic and technological principles that enable good governance and safe societal welfare. And although today they work well in environments with small numbers of enthusiasts, it remains unknown whether they work when applied at scale. This project plans to investigate the execution of programming software modules that are executed on blockchains to test their functional correctness and specification against real-life events that trigger blockchain actions. It also plans to build safeguards around the execution of those programs in a blockchain environment.

Faculty Supervisor:

Andreas Veneris;Fan Long

Student:

Partner:

Bank of Canada

Discipline:

Computer science

Sector:

Finance and Insurance; Manufacturing; Public administration

University:

University of Toronto

Program: