GitHub repository: sdiehl/arithmetic-circuits
Primary language: Haskell
Description:  Arithmetic circuits for zero knowledge proof systems