Simple Ajtai Commitment

Re-exports the simple non-hiding Ajtai [Ajt96] commitment scheme and its correctness over the computable cyclotomic ring Rq Φ. (Binding security lives in Simple/Security.lean.)

References

• [Ajtai, M., Generating Hard Instances of Lattice Problems][Ajt96]