1

ePrint: SNARKs for Stateful Computations on Authenticated Data(eprint.iacr.org)

posted
by
Avatar
Natanael@infosec.pub
in
Avatar
crypto@infosec.pub
0 comments
hidereport

From: https://mastodon.social/@fj/114171907451597856

Interesting paper co-authored by Airbus cryptographer Erik-Oliver Blass on using zero-knowledge proofs in flight control systems.

Sensors would authenticate their measurements, the control unit provides in each iteration control outputs together with a proof of output correctness (reducing the need in some cases for redundant computations), and actuators verify that outputs have been correctly computed

Sort:
HotTopControversialNewOld
No comments yet!

Cryptography @ Infosec.pub

!crypto@infosec.pub

Create post

Questions, answers, discussions, and literature on the theory and practice of cryptography

Rules (longer version here)

  • Stick to cryptography / infosec
  • Be a good netizen - be kind, act in good faith, maintain high quality, don’t mislead
  • Link directly to original sources
  • Don’t use us to cheat on challenges or tests!
  • Crypto review requests must show the algorithm
  • CTF / challenges and puzzles must use modern crypto
  • Avoid making duplicate posts
  • All use of AI / LLM and their prompts MUST be disclosed in your submissions and comments

##Related resources;

Community stats

  • 17

    Monthly active users

  • 49

    Posts

  • 35

    Comments

Community moderators