This is the homepage for Mangiafuoco, the implementation of LWE-based zk-SNARKS from Square Span Programs [GMNO18].

A zk-SNARK is a non-interactive, succinct, zero-knowledge argument of knowledge. It allows to prove knowledge of a witness for any $\mathsf{NP}$ statement, without revealing any information about the witness itself. The proof size is constant in the security parameter. Square Span Programs are an efficient characterization of the complexity class $\mathsf{NP}$ for boolean circuits. They have been introduced by Danezis et al. [DFGK14]. are currently implemented in libraries such as libsnark.

SNARKs are nowadays deployed all over the world. For example, they ensure anonymity and soundness of ZCash [BCG + 14b]. Yet, they are based on so-called pre-quantum assumptions and, for this reason, are not expected to withstand cryptanalitic efforts over the next few decades. Here we implement an LWE scheme and benchmark the computations of prover and verifier.

The source code will be soon available for dowload (.sig). The package is not copyrighted, and released to the public domain. For bug reports and comments please use my email address.





Acknowledgments
Rosario Gennaro was supported by NSF Award no. 1565403. Michele Minelli was supported by European Union’s Horizon 2020 research and innovation programme under grant agreement no. H2020-MSCA-ITN-2014-643161 ECRYPT-NET. Anca Nitulescu was supported by the European Research Council under the European Community’s Seventh Framework Programme (FP7/2007-2013 Grant Agreement no. 339563 – CryptoCloud). Michele Orrù was supported by ERC grant 639554 (project aSCEND).