Verifying the Computational Integrity of Power Grid Controls with Zero-Knowledge Proof
The control of future power grids is migrating from a centralized to a distributed/decentralized scheme to enable a massive penetration of distributed energy resources with rising dependence on communication infrastructure. A common assumption made for most existing distributed/decentralized controllers is that local controllers would faithfully follow the designated controller dynamics based on the data received from communication channels. However, with increased probability of cyberattacks on Operational Technology infrastructure, such an assumption could be risky because proper execution of the controller dynamics is then built on trust in secure communication and computation. In this work, we leverage a cryptography technology known as zero-knowledge scalable transparent arguments of knowledge (zk-STARK) to verify the computational integrity of power grid control algorithms, with projected linear dynamics-based control schemes as the initial proof-of-concept test case. The method presented here converts the cybersecurity challenge of data integrity for grid control into a subset of computational integrity.
- Research Organization:
- National Renewable Energy Laboratory (NREL), Golden, CO (United States)
- Sponsoring Organization:
- USDOE National Renewable Energy Laboratory (NREL), Laboratory Directed Research and Development (LDRD) Program
- DOE Contract Number:
- AC36-08GO28308
- OSTI ID:
- 2222418
- Report Number(s):
- NREL/CP-5D00-88145; MainId:88920; UUID:7070a9a8-83b7-448e-b046-28a165c5a8d2; MainAdminID:71142
- Resource Relation:
- Conference: Presented at the the 2023 IEEE Power & Energy Society General Meeting (PESGM), 16-20 July 2023, Orlando, Florida
- Country of Publication:
- United States
- Language:
- English
Similar Records
Active High Assurance Authentication Protocol (AHAAP)