arithmetic-circuits-0.2.0: Arithmetic circuits for zkSNARKs
Circuit
module Circuit.Arithmetic
module Circuit.Lang
module Circuit.Expr