Paper 2025/404

SNARKs for Stateful Computations on Authenticated Data

Johannes Reinhart, University of Stuttgart
Erik-Oliver Blass, Airbus
Bjoern Annighoefer, University of Stuttgart
Abstract

We present a new generalization of (zk-)SNARKs specifically designed for the application domain of safety-critical control systems. These need to be protected against adversarial tampering as well as non-malicious but unintended system failures due to random faults in components. Our SNARKs combine two additional features at the same time. Besides the verification of correct computation, they also allow, first, the verification of input data authenticity. Specifically, a verifier can confirm that the input to the computation originated from a trusted source. Second, our SNARKs support verification of stateful computations across multiple rounds, ensuring that the output of the current round correctly depends on the internal state of the previous round. Our focus is on concrete practicality, so we abstain from arithmetizing hash functions or signatures in our SNARKs. Rather, we modify the internals of an existing SNARK to extend its functionality. We implement and benchmark our new SNARKs in a sample scenario of a real-time high-integrity flight control system. With our construction, prover runtime improves significantly over the baseline by a factor of 90. Verification time increases by 36%, but is less than comparable approaches that do not arithmetize hash functions or signatures.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Preprint.
Keywords
SNARKAuthenticationStateControl System
Contact author(s)
johannes reinhart @ ils uni-stuttgart de
erik-oliver blass @ airbus com
bjoern annighoefer @ ils uni-stuttgart de
History
2025-04-22: last of 2 revisions
2025-03-03: received
See all versions
Short URL
https://ia.cr/2025/404
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2025/404,
      author = {Johannes Reinhart and Erik-Oliver Blass and Bjoern Annighoefer},
      title = {{SNARKs} for Stateful Computations on Authenticated Data},
      howpublished = {Cryptology {ePrint} Archive, Paper 2025/404},
      year = {2025},
      url = {https://eprint.iacr.org/2025/404}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.