This library implements zero-knowledge on SNARKs.

The noisy nature of LWE encryptions makes their employment on SNARKs not as
elegant as previous implementations (so is Mangiafuoco in «Le avventure di
Pinocchio»).
Yet, this project was moved by compassion for zero-knowledge proofs, and their
survival after the advent of quantum computers.


This library does not give any guarantees about constant-time operations, memory
access patterns, or resistance to side-channel attacks.