TAPE Proofs in HFHE and LPN ZK Proofs can be post quantum primitives (and most likely will be)
https://eprint.iacr.org/2012/513.pdf
https://link.springer.com/chapter/10.1007/978-3-031-68400-5_10
https://eprint.iacr.org/2012/513.pdf
https://link.springer.com/chapter/10.1007/978-3-031-68400-5_10
SpringerLink
Non-interactive Zero-Knowledge from LPN and MQ
We give the first construction of non-interactive zero-knowledge (NIZK) arguments from post-quantum assumptions other than Learning with Errors. In particular, we achieve NIZK under the polynomial hardness of the Learning Parity with Noise (LPN) assumption…
❤5
List.fold_left
https://x.com/octra/status/2029327287309479997?s=46
octra will rewrite the actor scheme on Elixir, math and consensus will be on OCaml
❤11😁1