Contains a library for reading serialized challenges (generated with hprotoc) and an executable used to generate, suppress, and verify RLWE and RLWR challenges using Λ ∘ λ (Lol). You can find more information about the challenges here.