keelung: DSL for creating zero-knowledge proofs

[ apache, cryptography, library ] [ Propose Tags ]

Please see the README on GitHub at

[Skip to Readme]


  • Keelung
    • Constraint
      • Keelung.Constraint.R1C
      • Keelung.Constraint.R1CS
    • Data
      • Keelung.Data.BinRep
      • Keelung.Data.Bits
      • Keelung.Data.N
      • Keelung.Data.Polynomial
      • Keelung.Data.Struct
    • Keelung.Error
    • Keelung.Field
    • Keelung.Heap
    • Keelung.Monad
    • Keelung.Prof
    • Keelung.Syntax
      • Keelung.Syntax.Counters
      • Keelung.Syntax.Encode
        • Keelung.Syntax.Encode.Syntax


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],, 0.9.2
Change log
Dependencies array, base (>=4.7 && <5), bytestring, cereal, containers, deepseq, directory, galois-field, groups, mtl, process, QuickCheck, random, semirings, vector, wl-pprint-text [details]
License Apache-2.0
Copyright 2022-2023 BTQ AG
Author BTQ AG
Maintainer BTQ AG
Category Cryptography
Home page
Bug tracker
Source repo head: git clone
Uploaded by btq_ag at 2023-03-01T08:01:15Z
Downloads 136 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2023-03-01 [all 2 reports]

Readme for keelung-0.9.2

[back to package description]


Keelung is a domain-specific language (DSL) embedded in Haskell that is designed for creating zero-knowledge proofs (ZKPs). With Keelung, developers can create high-quality and reliable ZKPs with ease, even without expertise in cryptography.



Check out our GitBook for more information.

Language Reference

The language reference is now available on Hackage.

Standard Library

The standard library is available here.