keelung: DSL for creating zero-knowledge proofs

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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

[Skip to Readme]

Properties

Versions	0.8.4.0, 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	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-02-23T15:01:40Z

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

keelung-0.8.4.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

btq_ag

For package maintainers and hackage trustees

edit package information

Readme for keelung-0.8.4.0

[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.

Documentation

Check out our GitBook for more information.

Language Reference

The language reference will be available on Hackage soon.

Standard Library

The standard library is available here.