Useful Bitcoin Mining with a Matrix-based Puzzle
Overview
Cryptocurrency and blockchain technologies are increasingly gaining adoption since the introduction of Bitcoin, being distributed, authority-free, and secure. Proof of Work (PoW) is at the heart of blockchain’s security, asset generation, and maintenance. In most cryptocurrencies, and mainly Bitcoin, the “work” a miner must do is to solve a cryptographic puzzle: to find a random nonce that once (cryptographically) SHA-256 hashed with a perspective block header, returns a 32 Bytes number having a leading pre-defined number of zeros (called difficulty). This puzzle represents the PoW, and lives forever in the blockchain (together with the block), allowing for future verifications. The main property of this puzzle is being very hard to solve, but easy to verify. Unfortunately, solving the puzzle is a very controversial being computation-hungry process that manifests in very high energy consumption (e.g., similar to the total electricity consumption of Denmark in 2020). Although other environment-friendly solutions are being suggested, e.g., Proof of Stake, the Bitcoin community has no plans to change the mining method using cryptographic puzzle. Shutting done the Bitcoin network is not an option either because it can disrupt the global economy with a market cap of around half trillion dollars as per today. Proof of eXercise (PoX) is an alternative puzzle that is getting more acceptance in academia. PoX suggests a matrix-based puzzle, e.g., matrix product and determinant calculation, that has close security properties to the cryptographic puzzle, but has at the same time useful benefits for the community, e.g., DNA and RNA sequencing, protein structure analysis, im-age processing, data mining , computational geometry, surface matching, space model analysis, etc. While computing the matrix product is very hard (which is required by design), its verification is also hard, making it infeasible. PoX proposes a probabilistic verification protocol that challenges the miner to only give the results of selected columns x rows multiplication for verification, thus making verification easy. Since selection is random, the miner cannot guess the columns x rows apriori, and thus must have computed the matrix correctly.
Expected deliverables
The goal of the project is to experiment the feasibility of this matrix-based puzzle empirically on the Sheheen super computer at KAUST. The intern will work with RC3 experts and Shaheen engineers to realize the experiments. The objectives of the project are to present to the community evidences that the proposed PoX puzzle is a reasonable alternative to the cryptographic puzzle from the security and monetization perspectives (e.g., the miner has more incentives since it gets paid by the problem proponent as well and by getting the coins while mining). The results of the project will be published or commercialized.
Questions and Answers
Where to find answers to Frequently Asked Questions about applying to VSRP?
Contacts
Biography
Paulo Esteves-Veríssimo is a professor in the Computer Science (CS) program at KAUST. Previously, he was a professor and FNR PEARL Chair at the University of Luxembourg's (Uni.lu) Faculty of Science, Technology and Medicine (FSTM). He also led the CritiX Research Lab at the SnT Centre at Uni.lu, which achieved world-class results and established enduring research capacity in resilient computing, cybersecurity, and dependability.
He has also been a professor and a board member of the University of Lisbon (ULisboa), Portugal. At ULisboa, he created the Navigators research group and was the founding director of Laboratório de Sistemas Informáticos de Grande Escala (LaSIGE). From its founding in 1998, the computer science and engineering lab LaSIGE has carried out research in leading-edge areas backed by key indicators of excellence.
He was UNILU-SnT’s representative at the European Cyber Security Organization (ESCO) and member of its Scientific & Technical Committee (STC). He served as Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-chair of the Steering Committee of the IEEE/IFIP DSN conference. He is a Fellow of the IEEE, a Fellow of the ACM and an associate editor of IEEE Transactions on Emerging Topics in Computing (TETC).
Research Interests
Professor Esteves-Veríssimo is interested in architectures, middleware and algorithms for resilient modular and distributed computing. In addition to examining paradigms and techniques that reconcile security and dependability, he also explores novel applications of these paradigms and techniques. By doing so, he achieves system resilience in areas such as autonomous vehicles, distributed control systems, digital health and genomics, and blockchain and cryptocurrency.
Dr. Esteves-Veríssimo’s research has featured in over 200 peer-reviewed international publications and five international books. He has delivered over 70 keynote speeches and distinguished lectures at reputable venues. As a systems and engineering specialist, he has contributed to designing and engineering several advanced industrial prototypes of distributed, fault-tolerant, secure or real-time systems developed through research and development.