We provide SAGE [SAGE] scripts which compute parameters for examples specified in [LyuNguPla22]:
- Proving Knowledge of a Module-LWE Secret (Section 6.2) -- proving_mlwe_sample.sage
- Verifiable Encryption (Section 6.3), parameter set I -- ver_enc_param_set_1.sage
- Verifiable Encryption (Section 6.3), parameter set II -- ver_enc_param_set_2.sage
- Group Signature (Section 6.4) -- group_signature.sage
References:
[LyuNguPla22] Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General.
Vadim Lyubashevsky, Ngoc Khanh Nguyen, Maxime Plancon. https://eprint.iacr.org/2022/284
[SAGE] https://www.sagemath.org/