IoT Thrust Seminar | Efficient Verifiable Computing for Data-driven Intelligent Society

Nowadays, there is an abundance of data-driven computational intelligence in our society. Despite its promising benefits, we are also living in a “black box” society, in which our data is being harvested and dissected from IoT or online media without our knowledge, and our behavior is being managed, controlled, and nudged by opaque algorithms or hidden AI without our awareness. We are increasingly entrusting our data and decisions to third parties without knowing how the data is used and how the decisions are made. In this talk, I will present a verifiable computing approach, combining with blockchain, to mitigate black box society and to lead us to a verifiably transparent society. In particular, I will draw on our practical experiences of developing privacy-preserving blockchain-enabled applications to highlight the benefits and solutions of verifiable computing and zero-knowledge proofs. I will also give a broader perspective of integrating efficient verifiable computing into IoT-empowered smart cities and AI-assisted society.