keelung: DSL for creating zero-knowledge proofs

[ apache, cryptography, library ] [ Propose Tags ]

Please see the README on GitHub at https://github.com/btq-ag/keelung#readme


[Skip to Readme]

Modules

  • 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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.9.0.0, 0.9.1.0, 0.9.2
Change log ChangeLog.md
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 https://github.com/btq-ag/keelung#readme
Bug tracker https://github.com/btq-ag/keelung/issues
Source repo head: git clone https://github.com/btq-ag/keelung
Uploaded by btq_ag at 2023-03-01T08:01:15Z
Distributions
Downloads 106 total (8 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

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.

keelung5

Documentation

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.