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.
Voir la description complète du projetAndreas Veneris;Fan Long
Bank of Canada
Computer science
Finance and Insurance; Manufacturing; Public administration
University of Toronto
Accelerate
