Lantern: Lattice-Based Non-Interactive Zero-Knowledge Proofs

We provide SAGE [SAGE] scripts which compute parameters for examples specified in the thesis:

Proving Knowledge of a Module-LWE Secret (Section 8.1) -- proving_mlwe_sample.sage
Verifiable Encryption (Section 8.2), parameter set I -- ver_enc_param_set_1.sage
Verifiable Encryption (Section 8.2), parameter set II -- ver_enc_param_set_2.sage
Integer Addition (Section 8.3) -- integer_addition.sage
Integer Multiplication with a Carry Vector (Section 8.3) -- integer_multiplication_carry.sage
Integer Multiplication without committing to the Carry Vector (Section 8.3) -- integer_multiplication_nocarry.sage
Group Signature (Section 8.4) -- group_signature.sage
Ring Signature (Section 8.5) -- ring_signature.sage

Provide feedback

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitattributes		.gitattributes
README.md		README.md
group_signature.sage		group_signature.sage
integer_addition.sage		integer_addition.sage
integer_multiplication_carry.sage		integer_multiplication_carry.sage
integer_multiplication_nocarry.sage		integer_multiplication_nocarry.sage
proving_mlwe_sample.sage		proving_mlwe_sample.sage
ring_signature.sage		ring_signature.sage
ver_enc_param_set_1.sage		ver_enc_param_set_1.sage
ver_enc_param_set_2.sage		ver_enc_param_set_2.sage