tl;dr: This is a “note to self” that there’s some interesting work out there on malleable NIZKs1$^,$2.
References
For cited works, see below 👇👇
-
Shorter Non-Interactive Zero-Knowledge Arguments and ZAPs for Algebraic Languages, by Geoffroy Couteau and Dominik Hartmann, in Cryptology ePrint Archive, Report 2020/286, 2020, [URL] ↩
-
Updatable Privacy-Preserving Blueprints, by Bernardo David and Felix Engelmann and Tore Frederiksen and Markulf Kohlweiss and Elena Pagnin and Mikhail Volkhov, in Cryptology {ePrint} Archive, Paper 2023/1787, 2023, [URL] ↩
PREVIOUSWitness encryption (WE)